A Proof-Theoretic Semantics for Adjectival Modification.
Nissim FrancezPublished in: J. Log. Lang. Inf. (2017)
Keyphrases
- proof theoretic
- model theoretic
- proof theory
- nonmonotonic reasoning
- default reasoning
- linear logic
- fixpoint
- constraint logic programming
- description logics
- operational semantics
- deductive databases
- decision procedures
- logic programs
- belief revision
- fixed point
- search space
- reasoning problems
- graphical models
- cut elimination
- data model