Enablers and Inhibitors in Causal Justifications of Logic Programs.
Pedro CabalarJorge FandinnoPublished in: CoRR (2016)
Keyphrases
- logic programs
- answer sets
- answer set programming
- causal theories
- logic programming
- answer set semantics
- fixpoint
- stable models
- computational properties
- normal logic programs
- background knowledge
- bayesian networks
- inductive logic programming
- prolog programs
- strong equivalence
- partial deduction
- logic program updates
- causal models
- abductive reasoning
- stable model semantics
- recursive programs