Login / Signup
Symbolic evaluation graphs and term rewriting: a general methodology for analyzing logic programs.
Jürgen Giesl
Thomas Ströder
Peter Schneider-Kamp
Fabian Emmes
Carsten Fuhs
Published 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