The Logic of Causal Explanation An Axiomatization.
Robert Charles KoonsPublished in: Stud Logica (2004)
Keyphrases
- knowledge representation
- causal explanation
- logic programming
- automated reasoning
- causal knowledge
- knowledge base
- first order logic
- complete axiomatization
- classical logic
- modal logic
- situation calculus
- proof theory
- predicate logic
- multi valued
- logical framework
- inference rules
- model checking
- graphical models
- bayesian networks