1 Search Results for "Lefèvre, Claire"

Document
DOI: 10.4230/OASIcs.ICLP.2016.6
Justifications and Blocking Sets in a Rule-Based Answer Set Computation

Authors: Christopher Béatrix, Claire Lefèvre, Laurent Garcia, and Igor Stéphan

Published in: OASIcs, Volume 52, Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)

Abstract
Notions of justifications for logic programs under answer set semantics have been recently studied for atom-based approaches or argumentation approaches. The paper addresses the question in a rule-based answer set computation: the search algorithm does not guess on the truth or falsity of an atom but on the application or non application of a non monotonic rule. In this view, justifications are sets of ground rules with particular properties. Properties of these justifications are established; in particular the notion of blocking set (a reason incompatible with an answer set) is defined, that permits to explain computation failures. Backjumping, learning, debugging and explanations are possible applications.
Cite as

Christopher Béatrix, Claire Lefèvre, Laurent Garcia, and Igor Stéphan. Justifications and Blocking Sets in a Rule-Based Answer Set Computation. In Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016). Open Access Series in Informatics (OASIcs), Volume 52, pp. 6:1-6:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@InProceedings{beatrix_et_al:OASIcs.ICLP.2016.6,
  author =	{B\'{e}atrix, Christopher and Lef\`{e}vre, Claire and Garcia, Laurent and St\'{e}phan, Igor},
  title =	{{Justifications and Blocking Sets in a Rule-Based Answer Set Computation}},
  booktitle =	{Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)},
  pages =	{6:1--6:15},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-007-1},
  ISSN =	{2190-6807},
  year =	{2016},
  volume =	{52},
  editor =	{Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.6},
  URN =		{urn:nbn:de:0030-drops-67310},
  doi =		{10.4230/OASIcs.ICLP.2016.6},
  annote =	{Keywords: Answer Set Programming, Justification, Rule-based Computation}
}
  • Refine by Author
  • 1 Béatrix, Christopher
  • 1 Garcia, Laurent
  • 1 Lefèvre, Claire
  • 1 Stéphan, Igor

  • Refine by Classification

  • Refine by Keyword
  • 1 Answer Set Programming
  • 1 Justification
  • 1 Rule-based Computation

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2016

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact