A Model-Theoretic View on Qualitative Constraint Reasoning | Zendy

Manuel Bodirsky | Zendy; Peter Jönsson | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Model-Theoretic View on Qualitative Constraint Reasoning

Author(s) -

Manuel Bodirsky,

Peter Jönsson

Publication year - 2017

Publication title -

journal of artificial intelligence research

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.79

H-Index - 123

eISSN - 1943-5037

pISSN - 1076-9757

DOI - 10.1613/jair.5260

Subject(s) - rotation formalisms in three dimensions , datalog , qualitative reasoning , computer science , constraint (computer aided design) , perspective (graphical) , consistency (knowledge bases) , deductive reasoning , artificial intelligence , theoretical computer science , spatial intelligence , cognitive science , mathematics , psychology , geometry

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research