Bounded ACh Unification.

Ajay Kumar Eeralla Christopher Lynch

Published in: CoRR (2018)

Keyphrases

theorem proving
data sets
higher order
real time
machine learning
information retrieval
social networks
multi agent
relational databases