Manuel Bodirsky and Peter Jonsson (2017) "A Model-Theoretic View on Qualitative Constraint Reasoning", Volume 58, pages 339-385

PDF | doi:10.1613/jair.5260

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