Model theoretic dynamics in Galois fashion.
Daniel Max HoffmannPublished in: Ann. Pure Appl. Log. (2019)
Keyphrases
- model theoretic
- deductive databases
- description logics
- operational semantics
- decision procedures
- proof theoretic
- fixpoint
- logic programs
- default reasoning
- dynamical systems
- probabilistic reasoning
- presburger arithmetic
- automated reasoning
- knowledge representation
- logic programming
- integrity constraints
- knowledge base
- modal logic
- np hard