Login / Signup
Inter-procedural Two-Variable Herbrand Equalities.
Stefan Schulze Frielinghaus
Michael Petter
Helmut Seidl
Published in:
CoRR (2014)
Keyphrases
</>
logic programs
function symbols
logic programming
first order logic
neural network
horn clauses
real time
object oriented
data sets
learning algorithm
inference rules