A model-theoretic view on qualitative constraint reasoning
Research output: Contribution to journal › Research article › Contributed › peer-review
Contributors
Abstract
Qualitative reasoning formalisms are an active research topic in artificial intelligence. In this survey we present a model-theoretic perspective on qualitative constraint reasoning and explain some of the basic concepts and results in an accessible way. In particular, we discuss the significance of ω-categoricity for qualitative reasoning, of primitive positive interpretations for complexity analysis, and of Datalog as a unifying language for describing local consistency algorithms.
Details
Original language | English |
---|---|
Pages (from-to) | 339-385 |
Number of pages | 47 |
Journal | Journal of Artificial Intelligence Research |
Volume | 58 |
Publication status | Published - 1 Feb 2017 |
Peer-reviewed | Yes |