Context unification is in PSPACE.

Published in: CoRR (2013)

Keyphrases

artificial intelligence
multiscale
database
neural network
information systems
decision making
image processing
digital libraries
theorem prover
context awareness
decision procedures