Correctness of Logic Program Transformations Based on Existential Termination.
Kung-Kiu LauMario OrnaghiAlberto PettorossiMaurizio ProiettiPublished in: ILPS (1995)
Keyphrases
- logic programs
- existentially quantified
- logic programming
- stable models
- answer sets
- normal logic programs
- answer set programming
- fixpoint
- prolog programs
- background knowledge
- logic program updates
- inductive logic programming
- general logic programs
- inside outside algorithm
- stable model semantics
- computational properties
- universally quantified
- query answering
- fixpoint semantics
- autoepistemic logic
- model theoretic
- extended logic programs
- counter examples
- deductive databases
- knowledge base