Restarts and Nogood Recording in Qualitative Constraint-based Reasoning
Date
2010
Authors
Westphal, Matthias
Wolfl, Stefan
Li, Jason
Journal Title
Journal ISSN
Volume Title
Publisher
IOS Press
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.
Description
Keywords
Citation
Collections
Source
Proceedings of the European Conference on Artificial Intelligence (ECAI-2010)
Type
Conference paper
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31