Restarts and nogood recording in qualitative constraint-based reasoning

Matthias Westphal; Stefan Wölfl; Jason Jingshi Li

doi:10.3233/978-1-60750-606-5-1093

Restarts and nogood recording in qualitative constraint-based reasoning

Matthias Westphal^*, Stefan Wölfl, Jason Jingshi Li

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Citations (Scopus)

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.

Original language	English
Title of host publication	ECAI 2010
Publisher	IOS Press
Pages	1093-1094
Number of pages	2
ISBN (Print)	9781607506058
DOIs	https://doi.org/10.3233/978-1-60750-606-5-1093
Publication status	Published - 2010
Event	2nd Workshop on Knowledge Representation for Health Care, KR4HC 2010, held in conjunction with the 19th European Conference in Artificial Intelligence, ECAI 2010 - Lisbon, Portugal Duration: 17 Aug 2010 → 17 Aug 2010

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Volume	215
ISSN (Print)	0922-6389
ISSN (Electronic)	1879-8314

Conference

Conference	2nd Workshop on Knowledge Representation for Health Care, KR4HC 2010, held in conjunction with the 19th European Conference in Artificial Intelligence, ECAI 2010
Country/Territory	Portugal
City	Lisbon
Period	17/08/10 → 17/08/10

Access to Document

10.3233/978-1-60750-606-5-1093

Cite this

@inproceedings{25f77221398647ef928949b6bf888ec9,

title = "Restarts and nogood recording in qualitative constraint-based reasoning",

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.",

author = "Matthias Westphal and Stefan W{\"o}lfl and Li, {Jason Jingshi}",

year = "2010",

doi = "10.3233/978-1-60750-606-5-1093",

language = "English",

isbn = "9781607506058",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press",

pages = "1093--1094",

booktitle = "ECAI 2010",

address = "United States",

note = "2nd Workshop on Knowledge Representation for Health Care, KR4HC 2010, held in conjunction with the 19th European Conference in Artificial Intelligence, ECAI 2010 ; Conference date: 17-08-2010 Through 17-08-2010",

}

Westphal, M, Wölfl, S & Li, JJ 2010, Restarts and nogood recording in qualitative constraint-based reasoning. in ECAI 2010. Frontiers in Artificial Intelligence and Applications, vol. 215, IOS Press, pp. 1093-1094, 2nd Workshop on Knowledge Representation for Health Care, KR4HC 2010, held in conjunction with the 19th European Conference in Artificial Intelligence, ECAI 2010, Lisbon, Portugal, 17/08/10. https://doi.org/10.3233/978-1-60750-606-5-1093

TY - GEN

T1 - Restarts and nogood recording in qualitative constraint-based reasoning

AU - Westphal, Matthias

AU - Wölfl, Stefan

AU - Li, Jason Jingshi

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=77956035607&partnerID=8YFLogxK

U2 - 10.3233/978-1-60750-606-5-1093

DO - 10.3233/978-1-60750-606-5-1093

M3 - Conference contribution

SN - 9781607506058

T3 - Frontiers in Artificial Intelligence and Applications

SP - 1093

EP - 1094

BT - ECAI 2010

PB - IOS Press

T2 - 2nd Workshop on Knowledge Representation for Health Care, KR4HC 2010, held in conjunction with the 19th European Conference in Artificial Intelligence, ECAI 2010

Y2 - 17 August 2010 through 17 August 2010

ER -

Restarts and nogood recording in qualitative constraint-based reasoning

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this