10. TIME 2003: Cairns, Queensland, Australia

@proceedings{DBLP:conf/time/2003,
  title     = {10th International Symposium on Temporal Representation and Reasoning
               / 4th International Conference on Temporal Logic (TIME-ICTL 2003),
               8-10 July 2003, Cairns, Queensland, Australia},
  booktitle = {TIME},
  publisher = {IEEE Computer Society},
  year      = {2003},
  isbn      = {0-7695-1912-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

• Claudio Bettini:
  Web services for time granularity reasoning. 2-4
  
• Ron van der Meyden:
  Modal Logics of Knowledge and Tim. 5
  
• Gerard Ligozat:
  Qualitative spatial and temporal reasoning: exploiting the connections to algebra and topology. 6
  
• Edmund M. Clarke:
  Counterexample-Guided Abstraction Refinement. 7
  

Research Papers

• Bernhard Heinemann:
  An Application of Monodic First Order Temporal Logic to Reasoning about Knowledge. 10-16
  
• Maroua Bouzid:
  On-line transportation Scheduling using Spatio-Temporal Reasoning. 17-25
  
• Jatindra Kumar Deka:
  Reasoning about Extremal Properties of Events. 26-36
  
• Paolo Terenziani, Luca Anselma:
  Towards a Temporal Reasoning Approach Dealing with Instance-of, Part-of and Periodicity. 37-46
  
• Fusheng Wang, Carlo Zaniolo:
  Temporal Queries in XML Document Archives and Web Warehouses. 47-55
  
• 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
  
• David Toman:
  On Incompleteness of Multi-dimensional First-order Temporal Logics. 99-106
  
• Alexander Bolotov:
  A Clausal Resolution Method for Extended Computation Tree Logic ECTL. 107-117
  
• Peter Z. Revesz, Yi Chen:
  Efficient Aggregation over Moving Objects. 118-127
  
• Abraham Otero, Paulo Félix, Carlos V. Regueiro, Miguel 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
  
• Isabel Navarrete, Abdul Sattar, Roque Marín:
  Deciding consistency of a point-duration network with metric constraints. 147-154
  
• Tim French:
  Quantified Propositional Temporal Logic with Repeating States. 155-165
  
• 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
  
• Lin Xu, Berthe Y. Choueiry:
  A New Efficient Algorithm for Solving the Simple Temporal Problem. 212-