Interprocedural Herbrand Equalities.

Markus Müller-Olm Helmut Seidl Bernhard Steffen

Published in: ESOP (2005)

Keyphrases

function symbols
logic programs
logic programming
first order logic
answer set programming
horn clauses
normal form
statistical relational learning
reasoning tasks
linear inequalities
declarative semantics
relational data
consistency checking
constraint programming
linear program
xml documents
search algorithm