One-context Unification with STG-Compressed Terms is in NP.

Carles Creus Adrià Gascón Guillem Godoy

Published in: RTA (2012)

Keyphrases

contextual information
context sensitive
information systems
computational complexity
co occurrence
higher order
context aware
database
real time
real world
decision trees
np hard
background knowledge
first order logic