Using the Probabilistic Logic Programming Language P-log for Causal and Counterfactual Reasoning and Non-Naive Conditioning.
Chitta BaralMatt HunsakerPublished in: IJCAI (2007)
Keyphrases
- logic programming language
- causal reasoning
- causal networks
- logic programming
- inference rules
- logical framework
- constraint logic programming
- bayesian networks
- assumption based truth maintenance
- probabilistic reasoning
- possibility theory
- probabilistic logic
- reasoning tasks
- declarative semantics
- probability theory
- causal knowledge
- knowledge representation
- situation calculus
- default logic
- causal models
- knowledge representation and reasoning
- logic programs
- knowledge base
- nonmonotonic reasoning
- probabilistic model
- machine learning
- database
- database systems
- special case
- constraint solving
- state space