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;
Conference_Titel :
Temporal Representation and Reasoning (TIME), 2012 19th International Symposium on
Conference_Location :
Leicester
Print_ISBN :
978-1-4673-2659-9
DOI :
10.1109/TIME.2012.1
