Logic Programs and Causal Proofs.
Pedro CabalarPublished in: AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Keyphrases
- logic programs
- logic programming
- answer set programming
- causal theories
- fixpoint
- answer sets
- background knowledge
- inductive logic programming
- stable models
- partial deduction
- theorem proving
- computational properties
- causal models
- stable model semantics
- normal logic programs
- prolog programs
- bayesian networks
- theorem prover
- term rewriting systems
- horn clauses
- answer set semantics
- decision procedures
- loop formulas
- autoepistemic logic
- abductive reasoning
- function symbols
- minimal models