-equational theory of context unification is undecidable.

Sergei G. Vorobyov

Published in: Theor. Comput. Sci. (2002)

Keyphrases

equational theories
theorem proving
contextual information
context sensitive
theorem prover
real time
machine learning
theoretical framework
belief functions
computer vision
knowledge base
database systems
higher order
sufficient conditions
computational model
conceptual framework