Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11th TIME 2004: Tatihou, Basse Normandie, France
- 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 1-3 July 2004, Tatihou Island, Normandie, France. IEEE Computer Society 2004, ISBN 0-7695-2155-X
Invited Talks
- Michael H. Böhlen:
Toward a Unifying View of Point and Interval Temporal Data Model. 3-4 - Manolis Koubarakis:
Word Proximity Constraints: Information Retrieval Meets Temporal Reasoning. 5-6 - Ian Pratt-Hartmann:
Temporal Prepositions and Their Logic. 7-8 - Thierry Vidal:
The Many Ways of Facing Temporal Uncertainty in Planning and Scheduling. 9-10
Temporal Representation and Reasoning in AI
Regular Papers
- Lavinia Egidi, Paolo Terenziani
:
A Lattice of Classes of User-Defined Symbolic Periodicities. 13-20 - Lavinia Egidi, Paolo Terenziani:
A Mathematical Framework for the Semantics of Symbolic Languages Representing Periodic Time. 21-27 - Diana Cukierman, James P. Delgrande:
The SOL Time Theory: A Formalization of Structured Temporal Objects and Repetition. 28-35 - Allel HadjAli, Didier Dubois, Henri Prade:
A Possibility Theory-based Approach for Handling of Uncertain Relations Between Temporal Points. 36-43 - Hans Jürgen Ohlbach:
Relations Between Fuzzy Time Intervals. 44-51 - Luca Anselma:
Recursive Representation of Periodicity and Temporal Reasoning. 52-59
Short Papers
- Hans Jürgen Ohlbach:
The Role of Labeled Partitionings for Modeling Periodic Temporal Notions. 60-63 - Vladimir Ryabov, André Trudel:
Probabilistic Temporal Interval Networks. 64-67
Time Management in Databases
Regular Papers
- Wan-Jui Lee, Shie-Jue Lee:
Fuzzy Calendar Algebra and Its Applications to Data Mining. 71-78 - Alessandro Artale:
Reasoning on Temporal Conceptual Schemas with Dynamic Constraints. 79-86 - Florent Masseglia, Pascal Poncelet, Maguelonne Teisseire:
Pre-Processing Time Constraints for Efficiently Mining Generalized Sequential Patterns. 87-95 - Claudio Bettini, Sergio Mascetti, Xiaoyang Sean Wang:
Mapping Calendar Expressions into Periodical Granularities. 96-102
Short Papers
- Yi Chen, Peter Z. Revesz:
Max-Count Aggregation Estimation for Moving Points. 103-108 - Hongwei Zhu, Stuart E. Madnick, Michael D. Siegel:
Effective Data Integration in the Presence of Temporal Semantic Conflicts. 109-114
Temporal Logic in Computer Science
Regular Papers
- Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke:
CTL Model Checking for Processing Simple XPath Queries. 117-124 - Adrianna Alexander, Wolfgang Reisig:
Compositional Temporal Logic Based on Partial Order. 125-132 - Laura Giordano, Alberto Martelli:
On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic. 133-139 - Alexander Bolotov, Artie Basukoski:
A Clausal Resolution Method for Branching-Time Logic ECTL+. 140-147
Short Papers
- Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek:
Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. 148-151 - E. V. Kouzmin, Nikolay V. Shilov, Valery A. Sokolov:
Model Checking mu-Calculus in Well-Structured Transition Systems. 152-155 - Angelo Montanari, Gabriele Puppis:
Decidability of the Theory of the Totally Unbounded omega-Layered Structure. 156-160
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-18 20:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
