Extending Negation As Failure by Abduction: A Three-Valued Stable Model Semantics.
Laura GiordanoAlberto MartelliMaria Luisa SapinoPublished in: J. Log. Program. (1996)
Keyphrases
- stable model semantics
- logic programming
- logic programs
- answer set programming
- stable models
- background knowledge
- answer sets
- normal logic programs
- nonmonotonic reasoning
- closed world
- derivation rules
- reasoning tasks
- deductive databases
- fixpoint
- nonmonotonic logics
- belief revision
- default logic
- programming language
- inference rules
- inductive logic programming
- rdf graphs
- knowledge base
- databases
- modulo theories
- knowledge representation
- artificial intelligence