Title :
Table of contents
Abstract :
The following topics are dealt with: temporal representation and reasoning; temporal constraint networks; temporal planning and deduction systems; temporal logics; satisfiability and model checking; and transition systems and spatiotemporal databases.
Keywords :
computability; constraint handling; database theory; formal verification; planning (artificial intelligence); temporal logic; temporal reasoning; model checking; satisfiability; spatiotemporal databases; temporal constraint networks; temporal deduction systems; temporal logics; temporal planning; temporal reasoning; temporal representation; transition systems;
Conference_Titel :
Temporal Representation and Reasoning (TIME), 2013 20th International Symposium on
Conference_Location :
Pensacola, FL
Print_ISBN :
978-1-4799-2240-6
DOI :
10.1109/TIME.2013.4
