Login / Signup
Instantaneous Reaction-Time in Dynamic-Consistency Checking of Conditional Simple Temporal Networks.
Massimo Cairo
Carlo Comin
Romeo Rizzi
Published in:
TIME (2016)
Keyphrases
</>
consistency checking
simple temporal
temporal constraints
temporal reasoning
query answering
constraint propagation
path consistency
databases
state space
qualitative and quantitative