1 Search Results for "Riguzzi, Fabrizio"


Document
Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions

Authors: Fabrizio Riguzzi and Terrance Swift

Published in: LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010)


Abstract
The paper presents the algorithm "Probabilistic Inference with Tabling and Answer subsumption" (PITA) for computing the probability of queries from Logic Programs with Annotated Disjunctions. PITA is based on a program transformation techniques that adds an extra argument to every atom. PITA uses tabling for saving intermediate results and answer subsumption for combining different answers for the same subgoal. PITA has been implemented in XSB and compared with the ProbLog, cplint and CVE systems. The results show that in almost all cases, PITA is able to solve larger problems and is faster than competing algorithms.

Cite as

Fabrizio Riguzzi and Terrance Swift. Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 162-171, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


Copy BibTex To Clipboard

@InProceedings{riguzzi_et_al:LIPIcs.ICLP.2010.162,
  author =	{Riguzzi, Fabrizio and Swift, Terrance},
  title =	{{Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions}},
  booktitle =	{Technical Communications of the 26th International Conference on Logic Programming},
  pages =	{162--171},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-17-0},
  ISSN =	{1868-8969},
  year =	{2010},
  volume =	{7},
  editor =	{Hermenegildo, Manuel and Schaub, Torsten},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.162},
  URN =		{urn:nbn:de:0030-drops-25948},
  doi =		{10.4230/LIPIcs.ICLP.2010.162},
  annote =	{Keywords: Probabilistic Logic Programming, Tabling, Answer Subsumption, Logic Programs with Annotated Disjunction, Program Transformation}
}
  • Refine by Author
  • 1 Riguzzi, Fabrizio
  • 1 Swift, Terrance

  • Refine by Classification

  • Refine by Keyword
  • 1 Answer Subsumption
  • 1 Logic Programs with Annotated Disjunction
  • 1 Probabilistic Logic Programming
  • 1 Program Transformation
  • 1 Tabling

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2010

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