| 2003 | 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, Australia |
| 2003 | A Clausal Resolution Method for Extended Computation Tree Logic ECTL. Alexander Bolotov |
| 2003 | A New Efficient Algorithm for Solving the Simple Temporal Problem. Lin Xu, Berthe Y. Choueiry |
| 2003 | A Novel Approach to Model NOW in Temporal Databases. Bela Stantic, John Thornton, Abdul Sattar |
| 2003 | A model to perform knowledge-based temporal abstraction over multiple signals. Abraham Otero, Paulo Félix, Carlos Vázquez Regueiro, Miguel A. Rodríguez, Senén Barro |
| 2003 | A temporal-logic extension of role-based access control covering dynamic separation of duties. Till Mossakowski, Michael Drouineaud, Karsten Sohr |
| 2003 | An Application of Monodic First Order Temporal Logic to Reasoning about Knowledge. Bernhard Heinemann |
| 2003 | Counterexample-Guided Abstraction Refinement. Edmund M. Clarke |
| 2003 | Deciding consistency of a point-duration network with metric constraints. Isabel Navarrete, Abdul Sattar, Roque Marín |
| 2003 | Definability and decidability of binary predicates for time granularity. Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco |
| 2003 | Efficient Aggregation over Moving Objects. Peter Z. Revesz, Yi Chen |
| 2003 | Hybrid Logics on Linear Structures: Expressivity and Complexity. Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff |
| 2003 | Intelligent Navigation Process for Autonomous Underwater Vehicles (AUVs) Using Time-based Fuzzy Temporal Reasoning. Amir M. Anvar |
| 2003 | Modal Logics of Knowledge and Tim. Ron van der Meyden |
| 2003 | On Incompleteness of Multi-dimensional First-order Temporal Logics. David Toman |
| 2003 | On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev |
| 2003 | On the Consistency Problem for the INDU Calculus. Philippe Balbiani, Jean-François Condotta, Gérard Ligozat |
| 2003 | On-line transportation Scheduling using Spatio-Temporal Reasoning. Maroua Bouzid |
| 2003 | Qualitative spatial and temporal reasoning: exploiting the connections to algebra and topology. Gerard Ligozat |
| 2003 | Quantified Propositional Temporal Logic with Repeating States. Tim French |
| 2003 | Reasoning about Extremal Properties of Events. Jatindra Kumar Deka |
| 2003 | Spatio-Temporal Data Mining with Expected Distribution Domain Generalization Graphs. Howard J. Hamilton, Liqiang Geng, Leah Findlater, Dee Jay Randall |
| 2003 | Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning. Clare Dixon, Cláudia Nalon, Michael Fisher |
| 2003 | Temporal Queries in XML Document Archives and Web Warehouses. Fusheng Wang, Carlo Zaniolo |
| 2003 | Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL. Aidan Harding, Mark Ryan, Pierre-Yves Schobbens |
| 2003 | Towards a Temporal Reasoning Approach Dealing with Instance-of, Part-of and Periodicity. Paolo Terenziani, Luca Anselma |
| 2003 | Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher, Ullrich Hustadt |
| 2003 | Web services for time granularity reasoning. Claudio Bettini |