A Generalizable Semantics for an Inheritance Reasoner. - VOGEL, CARL (CSLI: Stanford University, 1998)
The Tbilisi Symposium on Logic, Language and Computation: Selected Papers
PUBLISHED
Stanford
Keywords: Computational linguistics; Formal Semantics; Mathematical logic, set theory, combinatorics, semantics