TIME 2016



23rd International Symposium on Temporal Representation and Reasoning

October 17-19, 2016, Technical University of Denmark

TIME 2016 Home
Accepted Papers
Call for papers
Committees
Important Dates
Submission
Invited Speakers
Programme
- Monday
- Tuesday
- Wednesday
Registration
Accommodation

Venue

Background of TIME

Wonderful Copenhagen

Wednesday, October 19, 2016

Temporal Databases
Session Chair - Paolo Terenziani
9:00 - 9:30 Zouhaier Brahmia, Fabio Grandi and Rafik Bouaziz
tauXUF: A Temporal Extension of the XQuery Update Facility Language for the tauXSchema Framework
9:30 - 10:00 Jan Chomicki and Jef Wijsen
Consistent Query Answering for Atemporal Constraints over Temporal Databases
10:00 - 10:30 Curtis Dyreson and Venkata A. Rani
Translating Temporal SQL to Nested SQL

Coffee Break

Invited Presentation
Chair - Curtis Dyreson
11:00 - 12:00 Paolo Terenziani
The Impact of the Telic\Atelic Dichotomy on Temporal Databases

Lunch in the Glass Hall in the main canteen

Logics
Session Chair - Angelo Montanari
13:00 - 13:30 David Jakobsen and Peter Øhrstrøm
Conceptual and Metaphysical Origins and Relevance of Temporal Logic
13:30 - 14:00: Valentin Goranko and Louwe B. Kuijer
On the length and depth of temporal formulae distinguishing non-bisimilar transition systems
14:00 - 14:30 Davide Bresolin, Emilio Muñoz-Velasco and Guido Sciavicco
On the Complexity of Fragments of Horn Modal Logics
14:30 - 15:00 Mattias Tiger and Fredrik Heintz
Stream Reasoning using Temporal Logic and Predictive Probabilistic State Models

                    time2016.compute.dtu.dk | email: time2016(at)compute.dtu.dk | DTU Compute, 2016