TIME03 - Research Papers On-line transportation Scheduling using Spatio-Temporal Reasoning Maroua Bouzid On the Consistency Problem for the INDU Calculus Philippe Balbiani Jean-Francois Condotta Gerard Ligozat A model to perform knowledge-based temporal abstraction over multiple signals Abraham Otero Paulo Felix Carlos V. Regueiro Miguel Rodriguez Senen Barro On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics Ian Hodkinson Roman Kontchakov Agi Kurucz Frank Wolter Michael Zakharyaschev Spatio-Temporal Data Mining with Expected Distribution Domain Generalization Graphs Howard J. Hamilton Liqiang Geng Leah Findlater Dee Jay Randall A New Efficient Algorithm for Solving the Simple Temporal Problem Lin Xu Berthe Y. Choueiry A Novel Approach to Model NOW in Temporal Databases Bela Stantic John Thornton Abdul Sattar Reasoning about Extremal Properties of Events Jatindra Kumar Deka Quantified Propositional Temporal Logic with Repeating States Tim French A Clausal Resolution Method for Extended Computation Tree Logic ECTL Alexander Bolotov Temporal Queries in XML Document Archives and Web Warehouses Fusheng Wang Carlo Zaniolo Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning Clare Dixon Claudia Nalon Michael Fisher Efficient Aggregation over Moving Objects Peter Revesz Yi Chen On Incompleteness of Multi-dimensional First-order Temporal Logics David Toman Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case Boris Konev Anatoli Dagtyarev Clare Dixon Michael Fisher Ullrich Hustadt Definability and decidability of binary predicates for time granularity Massimo Franceschet Angelo Montanari Adriano Peron Guido Sciavicco Intelligent Navigation Process for Autonomous Underwater Vehicles (AUVs) Using Time-based Fuzzy Temporal Reasoning Amir M. Anvar Hybrid Logics on Linear Structures: Expressivity and Complexity Massimo Franceschet Maarten de Rijke Bernd-Holger Schlingloff A temporal-logic extension of role-based access control covering dynamic separation of duties Till Mossakowski Michael Drouineaud Karsten Sohr Towards a Temporal Reasoning Approach Dealing with Instance-of, Part-of and Periodicity Paolo Terenziani Luca Anselma -LTL Aidan Harding Mark Ryan Pierre-Yves Schobbens An Application of Monodic First Order Temporal Logic to Reasoning about Knowledge Bernhard Heinemann Deciding consistency of a point-duration network with metric constraints Isabel Navarrete Abdul Sattar Roque Marin Return to TIME03 session listing ©2004 Association for Computing Machinery