DocumentCode
3441295
Title
Table of contents
fYear
2012
fDate
12-14 Sept. 2012
Abstract
The following topics are dealt with: temporal representation; temporal reasoning; undecidability; point-based temporal logics; symmetric temporal theorem proving; interval temporal logics; timed automata; metric temporal logics; temporal constraints; natural language; machine learning; databases; and data streams.
Keywords
automata theory; database management systems; learning (artificial intelligence); natural languages; temporal logic; temporal reasoning; theorem proving; data streams; databases; interval temporal logics; machine learning; metric temporal logics; natural language; point-based temporal logics; symmetric temporal theorem proving; temporal constraints; temporal reasoning; temporal representation; timed automata; undecidability;
fLanguage
English
Publisher
ieee
Conference_Titel
Temporal Representation and Reasoning (TIME), 2012 19th International Symposium on
Conference_Location
Leicester
ISSN
1530-1311
Print_ISBN
978-1-4673-2659-9
Type
conf
DOI
10.1109/TIME.2012.8
Filename
6311106
Link To Document