An invitation to model-theoretic Galois theory.
Alice MedvedevRamin Takloo-BighashPublished in: Bull. Symb. Log. (2010)
Keyphrases
- model theoretic
- proof theoretic
- deductive databases
- description logics
- operational semantics
- logic programs
- decision procedures
- presburger arithmetic
- fixpoint
- default reasoning
- proof theory
- probabilistic reasoning
- database systems
- intelligent agents
- nonmonotonic reasoning
- query evaluation
- linear logic
- data management
- programming language
- databases