Proof-theoretic semantics | Non-lexical vocables in music | Lexical functional grammar | Journal of Web Semantics | Institute of General Semantics | Denotational semantics of the Actor model#Clinger's Model | Algorithms for Recovery and Isolation Exploiting Semantics |
His expertise includes theoretical and computational modeling of language, specifically: Computational linguistics, Lexical semantics, Knowledge representation, temporal and spatial reasoning and Extraction.