Login / Signup
Efficient Automation of Temporal Reasoning.
E. Allen Emerson
Published in:
CONCUR (1995)
Keyphrases
</>
temporal reasoning
temporal constraints
temporal information
qualitative and quantitative
uncertainty management
spatial reasoning
reasoning tasks
event calculus
constraint networks
series parallel
temporal knowledge
metadata
low level
temporal relations
path consistency
consistency checking