Inter-procedural Two-Variable Herbrand Equalities.

Stefan Schulze Frielinghaus Michael Petter Helmut Seidl

Published in: ESOP (2015)

Keyphrases

logic programs
function symbols
logic programming
first order logic
horn clauses
real world
data mining
machine learning
conceptual knowledge
neural network
search engine
feature selection
answer set programming
linear inequalities