Model-Theoretic Conservative Extension for Definitional Theories.
Arve GengelbachTjark WeberPublished in: LSFA (2017)
Keyphrases
- model theoretic
- proof theoretic
- description logics
- deductive databases
- operational semantics
- decision procedures
- action theories
- logic programs
- default reasoning
- proof theory
- fixpoint
- probabilistic reasoning
- knowledge base
- artificial intelligence
- linear logic
- nonmonotonic reasoning
- constraint logic programming
- databases
- modal logic
- integrity constraints
- machine learning