Faster Dynamic-Consistency Checking for Conditional Simple Temporal Networks.

Luke Hunsberger Roberto Posenato

Published in: ICAPS (2020)

Keyphrases

consistency checking
simple temporal
temporal constraints
temporal reasoning
dynamic environments
query answering
temporal information
image sequences
mobile devices
domain independent
constraint propagation