A Model-Theoretic View on Qualitative Constraint Reasoning.
Manuel BodirskyPeter JonssonPublished in: J. Artif. Intell. Res. (2017)
Keyphrases
- constraint reasoning
- model theoretic
- constraint propagation
- deductive databases
- description logics
- probabilistic reasoning
- proof theoretic
- operational semantics
- logic programs
- temporal reasoning
- decision procedures
- default reasoning
- temporal constraints
- fixpoint
- qualitative and quantitative
- constraint satisfaction
- constraint satisfaction problems
- databases
- bayesian networks
- formal semantics
- relational databases
- arc consistency
- graphical models
- linear programming
- database systems
- knowledge base
- first order logic