A Sound and Complete Semantics for a Version of Negation as Failure.
John C. ShepherdsonPublished in: Theor. Comput. Sci. (1989)
Keyphrases
- logic programming
- closed world
- compositional semantics
- stable model semantics
- open world
- logic programs
- failure rate
- derivation rules
- failure prediction
- stable models
- conceptual model
- semantic information
- databases
- data sets
- logic programming language
- normal logic programs
- incomplete information
- belief revision
- containment of conjunctive queries