On the Relationship Between Circumscription and Negation as Failure.
Michael GelfondHalina PrzymusinskaTeodor C. PrzymusinskiPublished in: Artif. Intell. (1989)
Keyphrases
- logic programs
- logic programming
- stable model semantics
- answer sets
- extended logic programs
- default logic
- stable models
- deductive databases
- default reasoning
- situation calculus
- fixpoint
- nonmonotonic reasoning
- answer set programming
- closed world assumption
- normal logic programs
- compositional semantics
- loop formulas
- event calculus
- programming language
- nonmonotonic logics
- integrity constraints
- minimal models
- general logic programs
- root cause
- classical logic
- failure prediction
- artificial intelligence
- databases
- semantics for logic programs
- semantics of logic programs
- data sets