CP-logic: A language of causal probabilistic events and its relation to logic programming

DOI10.1017/S1471068409003767zbMath1179.68025MaRDI QIDQ3393227

Joost Vennekens, Maurice Bruynooghe, Marc Denecker

Publication date: 19 August 2009

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

formal semantics; probabilistic causal laws

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68N17: Logic programming

Related Items

Structure learning of probabilistic logic programs by searching the clause space, Inference and learning in probabilistic logic programs using weighted Boolean formulas, CP-logic, The distribution semantics for normal programs with function symbols, A general framework for defining and extending actual causation using CP-logic, \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs, Negative probabilities in probabilistic logic programs, Probabilistic (logic) programming concepts, A new probabilistic constraint logic programming language based on a generalised distribution semantics, An OpenCL implementation of a forward sampling algorithm for CP-logic, Causal inference in cplint, Logic–based decision support for strategic environmental assessment

Uses Software

• ProbLog

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Answering queries from context-sensitive probabilistic knowledge bases
• Probabilistic logic programming
• Probabilistic Horn abduction and Bayesian networks
• An alternative approach to the semantics of disjunctive logic programs and deductive databases
• The independent choice logic for modelling multiple agents under uncertainty
• Representing Causal Information About a Probabilistic Process
• Representing action and change by logic programs
• The well-founded semantics for general logic programs
• On the relation between situation calculus and event calculus
• Hybrid probabilistic programs
• A logic of nonmonotone inductive definitions
• Abductive Logic Programming
• Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions
• Towards Learning Non-recursive LPADs by Transforming Them into Bayesian Networks