A model-theoretic view on qualitative constraint reasoning
Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Beitragende
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
Originalsprache | Englisch |
---|---|
Seiten (von - bis) | 339-385 |
Seitenumfang | 47 |
Fachzeitschrift | Journal of Artificial Intelligence Research |
Jahrgang | 58 |
Publikationsstatus | Veröffentlicht - 1 Feb. 2017 |
Peer-Review-Status | Ja |
Externe IDs
ORCID | /0000-0001-8228-3611/work/142241094 |
---|