A Proof-Theoretic Semantics for Exclusion.
Nissim FrancezMichael KaminskiPublished in: Logica Universalis (2017)
Keyphrases
- proof theoretic
- model theoretic
- proof theory
- default reasoning
- linear logic
- nonmonotonic reasoning
- fixpoint
- constraint logic programming
- decision procedures
- description logics
- belief revision
- deductive databases
- logic programs
- operational semantics
- modal logic
- cut elimination
- probabilistic reasoning
- bayesian networks
- expert systems
- knowledge representation
- reasoning problems
- automated reasoning
- artificial intelligence
- belief networks
- query answering