A Model-Theoretic Reconstruction of Type-Theoretic Semantics for Anaphora.
Matthew GothamPublished in: FG (2017)
Keyphrases
- model theoretic
- deductive databases
- operational semantics
- description logics
- decision procedures
- proof theoretic
- logic programs
- reasoning mechanism
- fixpoint
- fixpoint semantics
- default reasoning
- probabilistic reasoning
- formal semantics
- autoepistemic logic
- integrity constraints
- logic programming
- bayesian networks
- modal logic
- search algorithm