10. TIME 2003: Cairns, Queensland, Australia
- 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, Australia. IEEE Computer Society 2003, ISBN 0-7695-1912-1
Invited Lectures
- Gerard Ligozat:
Qualitative spatial and temporal reasoning: exploiting the connections to algebra and topology. 6
Research Papers
- Bernhard Heinemann:
An Application of Monodic First Order Temporal Logic to Reasoning about Knowledge. 10-16 - Paolo Terenziani, Luca Anselma:
Towards a Temporal Reasoning Approach Dealing with Instance-of, Part-of and Periodicity. 37-46 - Amir M. Anvar:
Intelligent Navigation Process for Autonomous Underwater Vehicles (AUVs) Using Time-based Fuzzy Temporal Reasoning. 56-61 - Clare Dixon, Cláudia Nalon, Michael Fisher:
Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning. 62-71 - Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt:
Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. 72-82 - Till Mossakowski, Michael Drouineaud, Karsten Sohr:
A temporal-logic extension of role-based access control covering dynamic separation of duties. 83-90 - Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. 91-98 - Abraham Otero, Paulo Félix, Carlos V. Regueiro, Miguel A. Rodríguez, Senén Barro:
A model to perform knowledge-based temporal abstraction over multiple signals. 128-136 - Aidan Harding, Mark Ryan, Pierre-Yves Schobbens:
Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL. 137-146 - Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff:
Hybrid Logics on Linear Structures: Expressivity and Complexity. 166-173 - Bela Stantic, John Thornton, Abdul Sattar:
A Novel Approach to Model NOW in Temporal Databases. 174-180 - Howard J. Hamilton, Liqiang Geng, Leah Findlater, Dee Jay Randall:
Spatio-Temporal Data Mining with Expected Distribution Domain Generalization Graphs. 181-191 - Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco:
Definability and decidability of binary predicates for time granularity. 192-202 - Philippe Balbiani, Jean-François Condotta, Gérard Ligozat:
On the Consistency Problem for the INDU Calculus. 203-211