Title: On the equivalence between CP-logic and LPADs
Authors: Vennekens, Joost
Denecker, Marc
Bruynooghe, Maurice
Issue Date: Apr-2008
Publisher: Department of Computer Science, K.U.Leuven
Series Title: CW Reports vol:CW436
Abstract: Conditional Probabilistic Event Logic is a probabilistic modeling language, which allows explicit representations of causal processes. Syntactically, this logic bears a strong resemblance to the probabilistic logic programming language of Logic Programming with Annotated Disjunctions. In this paper, we investigate the relation between the semantics of these two languages and prove an equivalence result for a certain class of theories. This result exposes an interesting relation between the well-founded semantics for logic programs and causal reasoning.
Publication status: published
KU Leuven publication type: IR
Appears in Collections:Informatics Section
Technologiecluster Computerwetenschappen
Computer Science Technology TC, Technology Campus De Nayer Sint-Katelijne-Waver

Files in This Item:
File Description Status SizeFormat
CW436.pdfDocument Published 198KbAdobe PDFView/Open


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