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
|
|