A model-theoretic view on qualitative constraint reasoning

Research output: Contribution to journalResearch articleContributedpeer-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 languageEnglish
Pages (from-to)339-385
Number of pages47
JournalJournal of Artificial Intelligence Research
Volume58
Publication statusPublished - 1 Feb 2017
Peer-reviewedYes

Keywords

DFG Classification of Subject Areas according to Review Boards

    ASJC Scopus subject areas