Abstract :
The following topics are discussed: temporal representation and reasoning; computational complexity and decidability; spatio-temporal data management; tree-like structures; query processing and data mining; proof systems; planning; and infinite-state system verification.
Keywords :
computational complexity; data mining; database management systems; decidability; formal verification; knowledge representation; planning; query processing; temporal reasoning; theorem proving; trees (mathematics); computational complexity; data mining; decidability; infinite-state system verification; planning; proof systems; query processing; spatiotemporal data management; temporal reasoning; temporal representation; tree-like structures;
Conference_Titel :
Temporal Representation and Reasoning, 2008. TIME '08. 15th International Symposium on
Conference_Location :
Montreal, QC
Print_ISBN :
978-0-7695-3181-6
DOI :
10.1109/TIME.2008.33
