Abstract :
The following topics are dealt with: temporal logics; real-time systems; spatial and temporal reasoning; temporal representation; planning and control; and databases.
Keywords :
database management systems; planning (artificial intelligence); real-time systems; spatial reasoning; temporal logic; temporal reasoning; control; database; planning; real time system; spatial reasoning; temporal logics; temporal reasoning; temporal representation;
Conference_Titel :
Temporal Representation and Reasoning (TIME), 2010 17th International Symposium on
Conference_Location :
Paris
Print_ISBN :
978-1-4244-8014-2
DOI :
10.1109/TIME.2010.1
