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
- 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
- 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
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team