Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs.
Abhik RoychoudhuryK. Narayan KumarC. R. RamakrishnanI. V. RamakrishnanPublished in: ASIAN (1999)
Keyphrases
- propositional logic
- normal logic programs
- answer set semantics
- belief revision
- default reasoning
- logic programs
- stable models
- answer sets
- logic programming
- semantics for logic programs
- knowledge representation and reasoning
- fixpoint
- deductive databases
- answer set programming
- stable model semantics
- general purpose
- general logic programs