The Unification Type of ACUI w.r.t. the Unrestricted Instantiation Preorder is not Finitary.

Franz Baader Pierre Ludmann

Published in: UNIF (2016)

Keyphrases

higher order
real time
image processing
finite state
databases
neural network
social networks
computer vision
information systems
feature selection
decision making
object recognition
special case
theorem prover
multiple types