default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd TIME 1996: Key West, Florida, USA
- Luca Chittaro, Scott D. Goodwin, Howard J. Hamilton, Angelo Montanari:
Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996. IEEE Computer Society 1996, ISBN 0-8186-7528-4
Invited Talks
- Fahiem Bacchus:
Using Temporal Logics for Planning and Control. 2-3 - J. van Benthen:
Remodeling Temporal Geometry. 4
Reasoning about Actions and Events
- Choong-Ho Yi:
Reasoning about Concurrent Actions within Features and Fluents. 6-13 - Aïcha Mokhtari, Daniel Kayser:
Time in a Causal Theory. 14-20 - Lluís Vila, Eddie Schwalb:
A Theory of Time and Temporal Incidence Based on Instants and Periods. 21-28
Temporal Constraints
- Eddie Schwalb, Rina Dechter:
Processing Disjunctions of Temporal Constraints. 30-35 - Rattana Wetprasit, Abdul Sattar, Lina Khatib:
Reasoning with Sequences of Point Events. 36-38 - Silvana Badaloni, Marina Berati:
Hybrid Temporal Reasoning for Planning and Scheduling. 39-44 - Amedeo Cesta, Angelo Oddi
:
Gaining Efficiency and Flexibility in the Simple Temporal Problem. 45-50 - Eddie Schwalb, Lluís Vila:
Logic Programming with Temporal Constraints. 51-56 - Amar Isli, Hachemi Bennaceur:
Networks of Qualitative Interval Relations: Combining Circuit Consistency and Path Consistency in the Search for a Solution. 57-62
Time Granularity and Abstraction
- Yuval Shahar:
Dynamic Temporal Interpretation Contexts for Temporal Abstraction. 64-71 - Edjard Mota, David Stuart Robertson:
Representing Interaction of Agents at Different Time Granularities. 72-79 - Diana Cukierman, James P. Delgrande:
Characterizing Temporal Repetition. 80-87 - Carlo Combi, Francesco Pinciroli, Giuseppe Pozzi:
Managing Time Granularity of Narrative Clinical Information: The Temporal Data Model TIME-NESIS. 88-93
Temporal Databases
- Mehmet A. Orgun:
A recursive temporal algebra and temporal completeness. 96-103 - Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia:
A General Framework and Reasoning Model for Time Granularity. 104-111 - Avigdor Gal, Dov Dori:
Combining Simultaneous Values and Temporal Data Dependencies. 112-117
Temporal Reasoning and Logic Programming
- Clare Dixon:
Temporal Resolution: A Breadth-First Search Approach. 120-127 - Evelina Lamma, Paola Mello, Michela Milano:
Temporal Reasoning in a Meta Constraint Logic Programming Architecture. 128-135 - Carme Martín, Jaume Sistac:
An Integrity Constraint Checking Method for Temporal Deductive Databases. 136-141
Time in Problem Solving
- Giorgio Brajnik, Daniel J. Clancy:
Guiding and refining simulation using temporal logic. 144-151 - Isabelle Bichindaritz, E. Conlon:
Case-based reasoning with temporal data. 152-159 - Elpida T. Keravnou:
Engineering time in medical knowledge-based systems through time-axes and time-objects. 160-167
Temporal Logics
- Gérard Becher:
First Order Modal Logics with Generalized Intervals. 170-175 - André Trudel, Denis Gagné:
A topological transition based logic for the qualitative motion of objects. 176-181 - Klaus P. Jantke, Oksana Arnold:
A Modal Temporal Logic and its Models Underlying Variants of Planning Algorithms. 182-187
Belief and Uncertainty in Temporal Knowledge
- Akira Fusaoka:
Nonmonotonic Reasoning on a Constructive Time Structure. 190-195 - Ahmed Y. Tawfik, Eric Neufeld:
Irrelevance in Uncertain Temporal Reasoning. 196-202
Applications
- Minglu Li, Yongqiang Sun, Huanye Sheng:
Temporal Representation for Multimedia Systems. 204-210 - Mario R. Sánchez, Anil M. Shende:
Time Accountability for Lattice Computers. 211-216 - Rocio Guillén, David Farwell, Janyce Wiebe:
Handling Temporal Relations in Scheduling Dialogues for an MT System. 217-221
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-11-14 20:49 CET 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:
