Manuel Bodirsky and Peter Jonsson (2017) "A Model-Theoretic View on Qualitative Constraint Reasoning", Volume 58, pages 339-385
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 omega-categoricity for qualitative reasoning, of primitive positive interpretations for complexity analysis, and of Datalog as a unifying language for describing local consistency algorithms.
Click here to return to Volume 58 contents list