Open AccessChecking the Consistency of Combined Qualitative Constraint Networks
Author(s) -
Quentin Cohen-Solal,
Maroua Bouzid,
Alexandre Niveau
Publication year - 2017
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v31i1.10692
Subject(s) - rotation formalisms in three dimensions , consistency (knowledge bases) , constraint (computer aided design) , local consistency , model checking , computer science , theoretical computer science , causal consistency , consistency model , data consistency , constraint satisfaction problem , sequential consistency , mathematics , distributed computing , artificial intelligence , geometry , probabilistic logic