A model-theoretic view on qualitative constraint reasoning

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung

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

OriginalspracheEnglisch
Seiten (von - bis)339-385
Seitenumfang47
FachzeitschriftJournal of Artificial Intelligence Research
Jahrgang58
PublikationsstatusVeröffentlicht - 1 Feb. 2017
Peer-Review-StatusJa

Externe IDs

ORCID /0000-0001-8228-3611/work/142241094

Schlagworte

ASJC Scopus Sachgebiete