Rigid E-Unifiability is DEXPTIME-Complete

Published in: LICS (1994)

Keyphrases

three dimensional
data sets
databases
neural network
machine learning
artificial intelligence
knowledge base
image processing
object recognition
computer science
special case