Skip navigation
Skip navigation

Restarts and Nogood Recording in Qualitative Constraint-based Reasoning

Westphal, Matthias; Wolfl, Stefan; Li, Jason

Description

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.

CollectionsANU Research Publications
Date published: 2010
Type: Conference paper
URI: http://hdl.handle.net/1885/66748
Source: Proceedings of the European Conference on Artificial Intelligence (ECAI-2010)
DOI: 10.3233/978-1-60750-606-5-1093

Download

File Description SizeFormat Image
01_Westphal_Restarts_and_Nogood_Recording_2010.pdf166.77 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  12 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator