A formalism for causal explanations with an Answer Set Programming translation
Yves MoinardPublished in: CoRR (2010)
Keyphrases
- answer set programming
- causal theories
- answer set semantics
- answer sets
- knowledge representation
- logic programs
- declarative programming
- logic programming
- action language
- causal reasoning
- reasoning tasks
- causal models
- answer set programs
- constraint logic programming
- stable model semantics
- probabilistic reasoning
- stable models
- haplotype inference
- programming language
- software engineering
- bayesian networks