Asymmetric Unification and Disunification.

Veena Ravishankar Kimberly A. Gero Paliath Narendran

Published in: CoRR (2017)

Keyphrases

horn clauses
function symbols
inference rules
first order logic
theorem proving
theorem prover
higher order
equational theories
knuth bendix
logic programs
inductive logic programming
database queries
data sets
data structure
face recognition
three dimensional
automated theorem proving
data mining
real world