Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Probabilistic logic programming
Information and Computation
Temporal reasoning in logic programming: a case for the situation calculus
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Probabilistic Horn abduction and Bayesian networks
Artificial Intelligence
Probabilistic deductive databases
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Answering queries from context-sensitive probabilistic knowledge bases
Selected papers from the international workshop on Uncertainty in databases and deductive systems
The independent choice logic for modelling multiple agents under uncertainty
Artificial Intelligence - Special issue on economic principles of multi-agent systems
Causality in commonsense reasoning about actions
Causality in commonsense reasoning about actions
An action language based on causal explanation: preliminary report
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Causality: models, reasoning, and inference
Causality: models, reasoning, and inference
The Art of Causal Conjecture
Stochastic Logic Programs: Sampling, Inference and Applications
UAI '00 Proceedings of the 16th Conference on Uncertainty in Artificial Intelligence
Causes and Explanations: A Structural-Model Approach: Part 1: Causes
UAI '01 Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence
Learning Dynamic Bayesian Networks
Adaptive Processing of Sequences and Data Structures, International Summer School on Neural Networks, "E.R. Caianiello"-Tutorial Lectures
Reasoning about actions in a probabilistic setting
Eighteenth national conference on Artificial intelligence
A logic of nonmonotone inductive definitions
ACM Transactions on Computational Logic (TOCL)
Probabilistic reasoning with answer sets
Theory and Practice of Logic Programming
Encoding probabilistic causal model in probabilistic action language
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
PRISM: a language for symbolic-statistical modeling
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
ProbLog: a probabilistic prolog and its application in link discovery
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Causes and explanations: a structural-model approach-part II: explanations
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Well-founded semantics and the algebraic theory of non-monotone inductive definitions
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Causal theories of action and change
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
UAI'97 Proceedings of the Thirteenth conference on Uncertainty in artificial intelligence
Representing causal information about a probabilistic process
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Structure-based causes and explanations in the independent choice logic
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
CLP(BN): constraint logic programming for probabilistic knowledge
UAI'03 Proceedings of the Nineteenth conference on Uncertainty in Artificial Intelligence
Logical bayesian networks and their relation to other probabilistic logical models
ILP'05 Proceedings of the 15th international conference on Inductive Logic Programming
Logic–based decision support for strategic environmental assessment
Theory and Practice of Logic Programming
Towards (Probabilistic) Argumentation for Jury-based Dispute Resolution
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Embracing events in causal modelling: interventions and counterfactuals in CP-ogic
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
Towards proactive event-driven computing
Proceedings of the 5th ACM international conference on Distributed event-based system
Learning the structure of probabilistic logic programs
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Inference in probabilistic logic programs with continuous random variables
Theory and Practice of Logic Programming
Model checking with probabilistic tabled logic programming
Theory and Practice of Logic Programming
Sequences of mechanisms for causal reasoning in artificial intelligence
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Inference for a new probabilistic constraint logic
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Describing disease processes using a probabilistic logic of qualitative time
Artificial Intelligence in Medicine
MCINTYRE: A Monte Carlo System for Probabilistic Logic Programming
Fundamenta Informaticae - Special Issue on the Italian Conference on Computational Logic: CILC 2011
Expectation maximization over binary decision diagrams for probabilistic logic programs
Intelligent Data Analysis
Hi-index | 0.00 |
This paper develops a logical language for representing probabilistic causal laws. Our interest in such a language is two-fold. First, it can be motivated as a fundamental study of the representation of causal knowledge. Causality has an inherent dynamic aspect, which has been studied at the semantical level by Shafer in his framework of probability trees. In such a dynamic context, where the evolution of a domain over time is considered, the idea of a causal law as something which guides this evolution is quite natural. In our formalization, a set of probabilistic causal laws can be used to represent a class of probability trees in a concise, flexible and modular way. In this way, our work extends Shafer's by offering a convenient logical representation for his semantical objects. Second, this language also has relevance for the area of probabilistic logic programming. In particular, we prove that the formal semantics of a theory in our language can be equivalently defined as a probability distribution over the well-founded models of certain logic programs, rendering it formally quite similar to existing languages such as ICL or PRISM. Because we can motivate and explain our language in a completely self-contained way as a representation of probabilistic causal laws, this provides a new way of explaining the intuitions behind such probabilistic logic programs: we can say precisely which knowledge such a program expresses, in terms that are equally understandable by a non-logician. Moreover, we also obtain an additional piece of knowledge representation methodology for probabilistic logic programs, by showing how they can express probabilistic causal laws.