Login / Signup
A New Procedural Interpretation of Horn Clauses with Equality.
Anatoli Degtyarev
Andrei Voronkov
Published in:
ICLP (1995)
Keyphrases
</>
horn clauses
fixpoint
function symbols
first order logic
inference rules
logic programs
conceptual clustering
inductive logic programming
image interpretation
database queries
object oriented
data mining
machine learning
text mining
text classification