• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 33 matches

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

skipping 3 more matches