Semantics for Disjunctive Logic Programs with Explicit and Default Negation.
Jack MinkerCarolina RuizPublished in: Fundam. Informaticae (1994)
Keyphrases
- disjunctive logic programs
- logic programming
- logic programs
- stable model semantics
- answer set programming
- stable models
- disjunctive logic programming
- answer set semantics
- answer sets
- deductive databases
- default logic
- fixpoint
- polynomial hierarchy
- minimal models
- nonmonotonic reasoning
- knowledge representation
- knowledge base
- reasoning tasks
- classical logic
- general purpose
- knowledge representation and reasoning
- programming language
- probabilistic reasoning
- high level