Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs.
Jürgen GieslThomas StröderPeter Schneider-KampFabian EmmesCarsten FuhsPublished in: PPDP (2012)
Keyphrases
- logic programs
- term rewriting
- logic programming
- answer sets
- answer set programming
- background knowledge
- recursive programs
- fixpoint
- stable models
- term rewriting systems
- counter examples
- stable model semantics
- normal logic programs
- prolog programs
- partial deduction
- loop formulas
- logic program updates
- refinement operators
- computational properties
- inductive logic programming
- functional programs
- strong equivalence
- graphical models
- theorem proving
- integrity constraints
- machine learning