Reasoning about Durations in Metric Temporal Logic.

Yassine Lakhnech Jozef Hooman

Published in: FTRTFT (1994)

Keyphrases

metric temporal logic
spatial reasoning
qualitative reasoning
data mining
reinforcement learning
cooperative
relational databases
multiresolution
special case
causal reasoning