Extending the Semantics of Logic Programs to Disjunctive Logic Programs.
Jorge LoboJack MinkerArcot RajasekarPublished in: ICLP (1989)
Keyphrases
- semantics of logic programs
- logic programs
- logic programming
- answer sets
- answer set programming
- disjunctive logic programming
- answer set semantics
- fixpoint
- deductive databases
- stable model semantics
- stable models
- polynomial hierarchy
- default logic
- minimal models
- knowledge representation and reasoning
- truth values
- databases
- desirable properties
- conceptual model
- general purpose
- relational databases