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)

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

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, Online event recognition over noisy data streams, 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, Abduction with probabilistic logic programming under the distribution semantics, Probabilistic causes in Markov chains, A semantics for hybrid probabilistic logic programs with function symbols, Probabilistic abstract argumentation frameworks, a possible world view, P-log: refinement and a new coherency condition, Forgetting auxiliary atoms in forks, 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