One Context Unification Problems Solvable in Polynomial Time.

Adrià Gascón Ashish Tiwari Manfred Schmidt-Schauß

Published in: LICS (2015)

Keyphrases

np complete
machine learning
problems involving
higher order
related problems
benchmark problems
context aware
special case
information systems
search engine
learning environment
database
optimization problems
multi agent
multiscale
application domains
solving problems
real time