Restarts and Nogood Recording in Qualitative Constraint-based Reasoning

Authors:
Matthias Westphal;Stefan Wölfl;Jason Jingshi Li
Affiliations:
University of Freiburg, Germany, {westpham, woelfl}@informatik.unifreiburg.de;University of Freiburg, Germany, {westpham, woelfl}@informatik.unifreiburg.de;Australian National University, Canberra, jason.li@anu.edu.au
Venue:
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Year:
2010

Citing 2
Cited 1

Generalized nogoods in CSPs

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Qualitative CSP, finite CSP, and SAT: comparing methods for qualitative constraint-based reasoning

IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence

Nogoods in qualitative constraint-based reasoning

KI'12 Proceedings of the 35th Annual German conference on Advances in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces restart and nogood recording techniques in the domain of qualitative spatial and temporal reasoning. Nogoods and restarts can be applied orthogonally to usual methods for solving qualitative constraint satisfaction problems. In particular, we propose a more general definition of nogoods that allows for exploiting information about nogoods and tractable subclasses during backtracking search. First evaluations of the proposed techniques show promising results.