First-Order Unification on Compressed Terms.

Adrià Gascón Sebastian Maneth Lander Ramos

Published in: RTA (2011)

Keyphrases

higher order
real time
artificial intelligence
first order logic
e learning
knowledge base
image processing
image sequences
similarity measure
bayesian networks
information extraction
theorem proving
term rewriting