Constraint-based correctness proofs for logic program transformations.
Alberto PettorossiMaurizio ProiettiValerio SenniPublished in: Formal Aspects Comput. (2012)
Keyphrases
- logic programs
- logic programming
- fixpoint
- stable models
- answer sets
- normal logic programs
- answer set programming
- inductive logic programming
- inside outside algorithm
- background knowledge
- stochastic logic programs
- general logic programs
- deductive databases
- computational properties
- theorem proving
- prolog programs
- fixpoint semantics
- stable model semantics
- logic program updates
- constraint satisfaction
- horn clauses
- extended logic programs
- model theoretic
- loop formulas
- existentially quantified
- nonmonotonic reasoning
- theorem prover