A Proof System for Temporal Reasoning with Sequential Information.

Norihiro Kamide

Published in: SBIA (2010)

Keyphrases

temporal reasoning
temporal information
domain knowledge
qualitative and quantitative
spatial information
temporal constraints
computer vision
relational databases
hidden markov models
low level
temporal knowledge