Eliminating Negation from Normal Logic Programs.
Kanchana KanchanasutPeter J. StuckeyPublished in: ALP (1990)
Keyphrases
- normal logic programs
- logic programs
- stable models
- logic programming
- answer sets
- default reasoning
- answer set semantics
- stable model semantics
- hybrid probabilistic logic programs
- semantics for logic programs
- answer set programming
- fixpoint
- deductive databases
- knowledge representation and reasoning
- extended logic programs
- knowledge base
- inductive logic programming
- nonmonotonic reasoning
- databases