Stratified Context Unification Is in PSPACE.

Manfred Schmidt-Schauß

Published in: CSL (2001)

Keyphrases

contextual information
data sets
neural network
relational databases
context aware
real time
machine learning
learning algorithm
theorem prover