Proof-Theoretic Semantics for Intensional Transitive Verbs.
Nissim FrancezPublished in: J. Semant. (2016)
Keyphrases
- proof theoretic
- model theoretic
- proof theory
- default reasoning
- nonmonotonic reasoning
- linear logic
- constraint logic programming
- fixpoint
- deductive databases
- decision procedures
- description logics
- logic programming
- logic programs
- cut elimination
- wordnet
- horn clauses
- preference relations
- probabilistic reasoning
- belief revision
- relational databases