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

DOI10.1017/S1471068409003767zbMath1179.68025OpenAlexW2052451171MaRDI 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)

Full work available at URL: https://doi.org/10.1017/s1471068409003767

zbMATH Keywords

formal semanticsprobabilistic causal laws

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic programming (68N17)

Related Items (19)

The distribution semantics for normal programs with function symbols ⋮ A general framework for defining and extending actual causation using CP-logic ⋮ Probabilistic causes in Markov chains ⋮ \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs ⋮ Causal inference in cplint ⋮ Structure learning of probabilistic logic programs by searching the clause space ⋮ Inference and learning in probabilistic logic programs using weighted Boolean formulas ⋮ 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 ⋮ Online event recognition over noisy data streams ⋮ A semantics for hybrid probabilistic logic programs with function symbols ⋮ Negative probabilities in probabilistic logic programs ⋮ Logic–based decision support for strategic environmental assessment ⋮ Probabilistic abstract argumentation frameworks, a possible world view ⋮ CP-logic ⋮ P-log: refinement and a new coherency condition ⋮ Forgetting auxiliary atoms in forks ⋮ Abduction with probabilistic logic programming under the distribution semantics

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

This page was built for publication: CP-logic: A language of causal probabilistic events and its relation to logic programming