@inbook{0166cb6bbc5f4c1bbe842bb1d270b2fd,
title = "Extending the notion of preferred explanations for quantified constraint satisfaction problems",
abstract = "The Quantified Constraint Satisfaction Problem (QCSP) is a generalization of classical constraint satisfaction problem in which some variables can be universally quantified. This additional expressiveness can help model problems in which a subset of the variables take value assignments that are outside the control of the decision maker. Typical examples of such domains are game-playing, conformant planning and reasoning under uncertainty. In these domains decision makers need explanations when a QCSP does not admit a winning strategy.We extend our previous approach to defining preferences amongst the requirements of a QCSP by considering more general relaxation schemes. We also present key complexity results on the hardness of finding preferred conflicts of QCSPs under this extension of the notion of preference. This paper unifies work from the fields of constraint satisfaction, explanation generation, and reasoning under preferences and uncertainty.",
author = "Deepak Mehta and Barry O{\textquoteright}Sullivan and Luis Quesada",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015 ; Conference date: 29-10-2015 Through 31-10-2015",
year = "2015",
doi = "10.1007/978-3-319-25150-9\_19",
language = "English",
isbn = "9783319251493",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "309--327",
editor = "Camilo Rueda and Valencia, \{Frank D.\} and Valencia, \{Frank D.\} and Martin Leucker",
booktitle = "Theoretical Aspects of Computing – ICTAC 2015 - 12th International Colloquium, Proceedings",
address = "Germany",
}