Well-Nested Context Unification.

Jordi Levy Joachim Niehren Mateu Villaret

Published in: CADE (2005)

Keyphrases

contextual information
case study
preprocessing
lower bound
context aware
context sensitive
databases
neural network
real world
genetic algorithm
computer vision
decision making
website
theorem prover
theorem proving
knowledge retrieval