Representing first-order causal theories by logic programs.
Paolo FerrarisJoohyung LeeYuliya LierlerVladimir LifschitzFangkai YangPublished in: Theory Pract. Log. Program. (2012)
Keyphrases
- general logic programs
- logic programs
- causal theories
- answer set programming
- logic programming
- answer sets
- answer set programs
- fixpoint
- answer set semantics
- stable models
- horn clauses
- computational properties
- normal logic programs
- model theoretic
- strong equivalence
- fixpoint semantics
- inductive logic programming
- stable model semantics
- propositional theories
- deductive databases
- reasoning tasks
- autoepistemic logic
- nonmonotonic reasoning