Extensions of unification modulo ACUI.

Franz Baader Pavlos Marantidis Antoine Mottet Alexander Okhotin

Published in: Math. Struct. Comput. Sci. (2020)

Keyphrases

higher order
machine learning
information retrieval
efficient implementation
theorem proving
default logic
equational theories
real time
case study
support vector