Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics

Distribution semantics is one of the most prominent approaches for the combination of logic programming and probability theory. Many languages follow this semantics, such as Independent Choice Logic, PRISM, pD, Logic Programs with Annotated Disjunctions (LPADs), and ProbLog. When a program contains...

Full description

Bibliographic Details

Published in:	Theory and practice of logic programming Vol. 13; no. 2; pp. 279 - 302
Main Authors:	RIGUZZI, FABRIZIO, SWIFT, TERRANCE
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.03.2013
Subjects:	Logic programming Mathematical analysis Mathematical models Probabilistic methods Probability theory Query processing Regular Papers Semantics Symbols Logic programs with annotated disjunction Tabling Answer subsumption Probabilistic logic programming Program transformation
ISSN:	1471-0684, 1475-3081
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!