Competing for the AC-Unification Race.

Alexandre Boudet

Published in: J. Autom. Reason. (1993)

Keyphrases

higher order
databases
arc consistency algorithm
artificial intelligence
information systems
database systems
search algorithm
theorem prover
theorem proving
equational theories
data mining
genetic algorithm
knowledge base
association rules
general purpose
first order logic