A Proof Theoretic Interpretation of Model Theoretic Hiding.
Mihai CodescuFeryal Fulya HorozalMichael KohlhaseTill MossakowskiFlorian RabePublished in: WADT (2010)
Keyphrases
- proof theoretic
- model theoretic
- deductive databases
- description logics
- default reasoning
- operational semantics
- fixpoint
- nonmonotonic reasoning
- logic programs
- decision procedures
- linear logic
- proof theory
- constraint logic programming
- probabilistic reasoning
- databases
- integrity constraints
- logic programming
- artificial intelligence
- theorem proving
- modal logic
- belief revision
- natural language