Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs.
Abhik RoychoudhuryK. Narayan KumarC. R. RamakrishnanI. V. RamakrishnanPublished in: Int. J. Found. Comput. Sci. (2002)
Keyphrases
- normal logic programs
- logic programs
- stable models
- answer sets
- default reasoning
- logic programming
- answer set semantics
- answer set programming
- stable model semantics
- deductive databases
- fixpoint
- knowledge representation and reasoning
- semantics for logic programs
- information systems
- inductive logic programming
- orders of magnitude
- database systems