Dominance constraints in stratified context unification.

Katrin Erk Joachim Niehren

Published in: Inf. Process. Lett. (2007)

Keyphrases

higher order
constraint satisfaction
data sets
neural network
real world
contextual information
context sensitive
theorem proving
context awareness
context aware
conceptual model
constraint programming
context dependent
linear constraints