Login / Signup
Disunification: A Survey.
Hubert Comon
Published in:
Computational Logic - Essays in Honor of Alan Robinson (1991)
Keyphrases
</>
horn clauses
inference rules
first order logic
logic programs
inductive logic programming
database queries
database
logic programming
low level
natural language
software engineering
data points
domain knowledge
object oriented
knowledge representation
prior knowledge
probability distribution