TIME 2014

21st International Symposium on Temporal Representation and Reasoning - Verona, Italy

Special tracks

The symposium will encompass two special tracks on Interval Temporal Logics and on Temporal Networks, respectively.

Submissions for special tracks follow the same rules as all other TIME 2014 papers. See the “Submissions” page for more details.

Special Track on Interval Temporal Logics

This year TIME is planning a special track on Interval Temporal Logics, organized by Davide Bresolin (University of Verona) and Guido Sciavicco (University of Murcia). Submissions for this special track will be primarily managed by them, though the final decision on acceptance will be taken by the whole PC. This track is intended to be a follow-up of the First Workshop on Interval Temporal Logics and Duration Calculi held at ESSLLI 2003 summer school (Wien, Austria), and of the special track on Interval Temporal Logics of TIME 2011 (Lubeck, Germany).

Time representation and reasoning with intervals is a challenging research field of Computer Science, with a recognized impact in AI, Databases and Formal Verification. Interval-based languages are involved at many levels in different applications, such as planning and management of medical information, verification of hardware circuits, model-checking and requirement analysis of hybrid systems.

Non-trivial problems rise at every level: expressive power of the languages, decidability and un-decidability of logics at the first-order and at the modal levels, computational complexity of automatic and semi-automatic deduction techniques, and axiomatic systems.

High quality contributions for this special track are welcome in, but are not limited to, any of the following topics:

  • expressiveness and decidability of ITLs
  • proof systems (tableaux-based, SMT-based, etc.) for ITLs
  • model-checking of ITLs
  • modeling of system requirements in terms of time intervals
  • intervals versus time points in temporal modeling
  • Duration Calculus and other extensions and variants of ITLs
  • ITLs for timed automata, hybrid automata, and other models of real time sytems
  • interval algebras and (spatio-)temporal reasoning
  • case studies, applications and tool support for interval-based reasoning

Special Track on Temporal Networks

This year TIME is planning a special track on Temporal Networks, organized by Brent Venable (Tulane University and IHMC) and Luke Hunsberger (Vassar College). Submissions for this special track will be primarily managed by them, though the final decision on acceptance will be taken by the whole PC. For over twenty years, various kinds of temporal networks have been proposed in the literature including: temporal constraint networks (TCNs), simple temporal networks (STNs), disjunctive temporal networks (DTNs), conditional temporal networks (CTNs), STNs with uncertainty, STNs with preferences, STNs with probabilities, and so on. For each kind of network, different notions of consistency/controllability have been defined; and algorithms for determining whether networks have the desired property have been presented. Some algorithms have been proven to be polynomial, others are exponential. Algorithms for managing the execution of various kinds of temporal networks have also been proposed.

This track aims to further progress on the theoretical foundations of temporal networks, the development of new algorithms for processing such networks, and the application of temporal networks to interesting domains.

High quality contributions for this special track are welcome in, but are not limited to, any of the following topics:

  • temporal networks
  • uncertainty in simple temporal networks
  • preferences in simple temporal networks
  • resources in temporal networks
  • consistency notions
  • controllability notions
  • execution algorithms
  • connections between temporal networks and other temporal formalisms (e.g., Allen’s interval algebra, point algebra, timed game automata, etc.)
TIME 2014 © 2014 Frontier Theme