1 Search Results for "Mantadelis, Theofrastos"

Dedicated Tabling for a Probabilistic Setting

Authors: Theofrastos Mantadelis and Gerda Janssens

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

ProbLog is a probabilistic framework that extends Prolog with probabilistic facts. To compute the probability of a query, the complete SLD proof tree of the query is collected as a sum of products. ProbLog applies advanced techniques to make this feasible and to assess the correct probability. Tabling is a well-known technique to avoid repeated subcomputations and to terminate loops. We investigate how tabling can be used in ProbLog. The challenge is that we have to reconcile tabling with the advanced ProbLog techniques. While standard tabling collects only the answers for the calls, we do need the SLD proof tree. Finally we discuss how to deal with loops in our probabilistic framework. By avoiding repeated subcomputations, our tabling approach not only improves the execution time of ProbLog programs, but also decreases accordingly the memory consumption. We obtain promising results for ProbLog programs using exact probability inference.

Cite as

Theofrastos Mantadelis and Gerda Janssens. Dedicated Tabling for a Probabilistic Setting. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 124-133, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

  author =	{Mantadelis, Theofrastos and Janssens, Gerda},
  title =	{{Dedicated Tabling for a Probabilistic Setting}},
  booktitle =	{Technical Communications of the 26th International Conference on Logic Programming},
  pages =	{124--133},
  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.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.124},
  URN =		{urn:nbn:de:0030-drops-25903},
  doi =		{10.4230/LIPIcs.ICLP.2010.124},
  annote =	{Keywords: Tabling, Loop Detection, Probabilistic Logical Programming, ProbLog}
  • Refine by Author
  • 1 Janssens, Gerda
  • 1 Mantadelis, Theofrastos

  • Refine by Classification

  • Refine by Keyword
  • 1 Loop Detection
  • 1 ProbLog
  • 1 Probabilistic Logical Programming
  • 1 Tabling

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2010

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail