| 2004 | 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 1-3 July 2004, Tatihou Island, Normandie, France |
| 2004 | A Clausal Resolution Method for Branching-Time Logic ECTL+. Alexander Bolotov, Artie Basukoski |
| 2004 | A Lattice of Classes of User-Defined Symbolic Periodicities. Lavinia Egidi, Paolo Terenziani |
| 2004 | A Mathematical Framework for the Semantics of Symbolic Languages Representing Periodic Time. Lavinia Egidi, Paolo Terenziani |
| 2004 | A Possibility Theory-based Approach for Handling of Uncertain Relations Between Temporal Points. Allel Hadjali, Didier Dubois, Henri Prade |
| 2004 | CTL Model Checking for Processing Simple XPath Queries. Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke |
| 2004 | Compositional Temporal Logic Based on Partial Order. Adrianna Alexander, Wolfgang Reisig |
| 2004 | Decidability of the Theory of the Totally Unbounded omega-Layered Structure. Angelo Montanari, Gabriele Puppis |
| 2004 | Effective Data Integration in the Presence of Temporal Semantic Conflicts. Hongwei Zhu, Stuart E. Madnick, Michael D. Siegel |
| 2004 | Fuzzy Calendar Algebra and Its Applications to Data Mining. Wan-Jui Lee, Shie-Jue Lee |
| 2004 | Mapping Calendar Expressions into Periodical Granularities. Claudio Bettini, Sergio Mascetti, Xiaoyang Sean Wang |
| 2004 | Max-Count Aggregation Estimation for Moving Points. Yi Chen, Peter Z. Revesz |
| 2004 | Model Checking mu-Calculus in Well-Structured Transition Systems. E. V. Kouzmin, Nikolay V. Shilov, Valery A. Sokolov |
| 2004 | On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic. Laura Giordano, Alberto Martelli |
| 2004 | Pre-Processing Time Constraints for Efficiently Mining Generalized Sequential Patterns. Florent Masseglia, Pascal Poncelet, Maguelonne Teisseire |
| 2004 | Probabilistic Temporal Interval Networks. Vladimir Ryabov, André Trudel |
| 2004 | Reasoning on Temporal Conceptual Schemas with Dynamic Constraints. Alessandro Artale |
| 2004 | Recursive Representation of Periodicity and Temporal Reasoning. Luca Anselma |
| 2004 | Relations Between Fuzzy Time Intervals. Hans Jürgen Ohlbach |
| 2004 | Temporal Prepositions and Their Logic. Ian Pratt-Hartmann |
| 2004 | The Many Ways of Facing Temporal Uncertainty in Planning and Scheduling. Thierry Vidal |
| 2004 | The Role of Labeled Partitionings for Modeling Periodic Temporal Notions. Hans Jürgen Ohlbach |
| 2004 | The SOL Time Theory: A Formalization of Structured Temporal Objects and Repetition. Diana Cukierman, James P. Delgrande |
| 2004 | Toward a Unifying View of Point and Interval Temporal Data Model. Michael H. Böhlen |
| 2004 | Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek |
| 2004 | Word Proximity Constraints: Information Retrieval Meets Temporal Reasoning. Manolis Koubarakis |