CP-logic: A language of causal probabilistic events and its relation to logic programming
From MaRDI portal
(Redirected from Publication:3393227)
Recommendations
- Representing Causal Information About a Probabilistic Process
- CP-logic theory inference with contextual variable elimination and comparison to BDD based inference methods
- Probabilistic logic programming
- Embracing events in causal modelling: interventions and counterfactuals in CP-logic
- Causal and probabilistic reasoning in P-log
Cites work
- scientific article; zbMATH DE number 48812 (Why is no real title available?)
- scientific article; zbMATH DE number 1493045 (Why is no real title available?)
- scientific article; zbMATH DE number 918134 (Why is no real title available?)
- A logic of nonmonotone inductive definitions
- Abductive Logic Programming
- An alternative approach to the semantics of disjunctive logic programs and deductive databases
- Answering queries from context-sensitive probabilistic knowledge bases
- Hybrid probabilistic programs
- On the relation between situation calculus and event calculus
- Probabilistic Horn abduction and Bayesian networks
- Probabilistic logic programming
- Representing Causal Information About a Probabilistic Process
- Representing action and change by logic programs
- The independent choice logic for modelling multiple agents under uncertainty
- The well-founded semantics for general logic programs
- Towards Learning Non-recursive LPADs by Transforming Them into Bayesian Networks
- Well-Founded Semantics and the Algebraic Theory of Non-monotone Inductive Definitions
Cited in
(38)- P-log: refinement and a new coherency condition
- Actual causation in CP-logic
- Aspmc: new frontiers of algebraic answer set counting
- Causal Logic Programming
- Probabilistic causes in Markov chains
- A semantics for hybrid probabilistic logic programs with function symbols
- Probabilistic abstract argumentation frameworks, a possible world view
- Inference and learning in probabilistic logic programs using weighted Boolean formulas
- Languages for probabilistic modeling over structured and relational domains
- \textsc{sm}ProbLog: stable model semantics in ProbLog for probabilistic argumentation
- ``What if? in probabilistic logic programming
- Swift Markov logic for probabilistic reasoning on knowledge graphs
- A general framework for defining and extending actual causation using CP-logic
- The distribution semantics for normal programs with function symbols
- \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs
- Logic-based decision support for strategic environmental assessment
- CP-logic
- From verification to causality-based explications (invited talk)
- A new probabilistic constraint logic programming language based on a generalised distribution semantics
- Probabilistic (logic) programming concepts
- How artificial intelligence leads to knowledge why: an inquiry inspired by Aristotle's posterior analytics
- Forgetting auxiliary atoms in forks
- An OpenCL implementation of a forward sampling algorithm for CP-logic
- Learning ground GP-logic theories by leveraging Bayesian network learnng techniques
- CP-logic theory inference with contextual variable elimination and comparison to BDD based inference methods
- Syntactic requirements for well-defined hybrid probabilistic logic programs
- RankPL: a qualitative probabilistic programming language
- Probabilistic programming languages: independent choices and deterministic systems
- Embracing events in causal modelling: interventions and counterfactuals in CP-logic
- Structure learning of probabilistic logic programs by searching the clause space
- Monads for measurable queries in probabilistic databases
- Representing Causal Information About a Probabilistic Process
- Abduction with probabilistic logic programming under the distribution semantics
- Online event recognition over noisy data streams
- Causal and probabilistic reasoning in P-log
- Causal inference in cplint
- Negative probabilities in probabilistic logic programs
- Generative Datalog and answer set programming (extended abstract)
This page was built for publication: CP-logic: A language of causal probabilistic events and its relation to logic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3393227)