Restarts and nogood recording in qualitative constraint-based reasoning

Frontiers in Artificial Intelligence and Applications

Volumn 215, Issue , 2010, Pages 1093-1094

  Westphal, Matthias ^a   Wölfl, Stefan ^a   Li, Jason Jingshi ^b  

^a UNIVERSITY OF FREIBURG   (Germany)

^b AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

BACKTRACKING SEARCH; CONSTRAINT-BASED REASONING; QUALITATIVE CONSTRAINTS; QUALITATIVE CONSTRAINTS SATISFACTION PROBLEMS; QUALITATIVE SPATIAL AND TEMPORAL REASONING;

CONSTRAINT SATISFACTION PROBLEMS;

EID: 77956035607     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-60750-606-5-1093     Document Type: Conference Paper

References (5)

1. Zeno Gantner, Matthias Westphal, and Stefan Wölfl, 'GQR - A fast reasoner for binary qualitative constraint calculi', in Proceedings of the AAAI'08 Workshop on Spatial and Temporal Reasoning, (2008).
2. George Katsirelos and Fahiem Bacchus, 'Generalized nogoods in CSPs', in AAAI'05, pp. 390-396, (2005).
3. Christophe Lecoutre, Lakhdar Sais, Śebastien Tabary, and Vincent Vidal, 'Recording and minimizing nogoods from restarts', JSAT, 1(3-4), 147-167, (2007).
4. Bernhard Nebel, 'Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-horn class', Constraints, 1(3), 175-190, (1997).
5. Matthias Westphal and Stefan Wölfl, 'Qualitative CSP, finite CSP, and SAT: Comparing methods for qualitative constraint-based reasoning', in IJCAI, ed., Craig Boutilier, pp. 628-633, (2009).