Title: Logic programs with annotated disjunctions
Authors: Vennekens, Joost ×
Verbaeten, Sofie
Bruynooghe, Maurice #
Issue Date: 2004
Publisher: Springer
Series Title: Lecture Notes in Computer Science vol:3132 pages:431-445
Conference: International conference on logic programming (ICLP) edition:20 location:Saint-Malo, France date:6-10 September 2004
Abstract: Current literature offers a number of different approaches to what could generally be called "probabilistic logic programming". These are usually based on Horn clauses. Here, we introduce a new formalism, Logic Programs with Annotated Disjunctions, based on disjunctive logic programs. In this formalism, each of the disjuncts in the head of a clause is annotated with a probability. Viewing such a set of probabilistic disjunctive clauses as a probabilistic disjunction of normal logic programs allows us to derive a possible world semantics, more precisely, a probability distribution on the set of all Herbrand interpretations. We demonstrate the strength of this formalism by some examples and compare it to related work.
ISSN: 0302-9743
Publication status: published
KU Leuven publication type: IT
Appears in Collections:Informatics Section
Technologiecluster Computerwetenschappen
Computer Science Technology TC, Technology Campus De Nayer Sint-Katelijne-Waver
× corresponding author
# (joint) last author

Files in This Item:
File Description Status SizeFormat
41199.pdf Published 210KbAdobe PDFView/Open


All items in Lirias are protected by copyright, with all rights reserved.

© Web of science