DocumentCode
1831662
Title
Table of contents
fYear
2013
fDate
26-28 Sept. 2013
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Temporal Representation and Reasoning (TIME), 2013 20th International Symposium on
Conference_Location
Pensacola, FL
ISSN
1530-1311
Print_ISBN
978-1-4799-2240-6
Type
conf
DOI
10.1109/TIME.2013.4
Filename
6786783
Link To Document