On the Complexity of Temporal Equilibrium Logic.

Laura Bozzelli David Pearce

Published in: LICS (2015)

Keyphrases

space time
temporal reasoning
worst case
spatial and temporal
temporal constraints
database
databases
computer vision
multimedia
search algorithm
expert systems
spatio temporal
decision problems
temporal relations
temporal evolution
temporal consistency