Abducing through negation as failure: stable models within the independent choice logic.
David PoolePublished in: J. Log. Program. (2000)
Keyphrases
- stable models
- logic programs
- logic programming
- reasoning about actions
- normal logic programs
- stable model semantics
- fixpoint
- deductive databases
- answer set programming
- general theory
- semantics for logic programs
- loop formulas
- logical framework
- logic programs with negation
- databases
- reasoning tasks
- nonmonotonic reasoning
- answer sets
- datalog programs
- strong equivalence
- derivation rules
- artificial intelligence
- integrity constraints