• 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 23 matches

• 1994
• 
  Clemens Beckstein, Tim Geisler:
  An Application-independent Support System for Integrated Assumption-based Temporal Reasoning. TIME 1994: 35-41
• 
  Luca Chittaro, Angelo Montanari:
  Efficient Handling of Context Dependency in the Cached Event Calculus. TIME 1994: 103-112
• 
  Nicolas Chleq:
  Using Constrained Resolution for Abductive Temporal Reasoning. TIME 1994: 54-59
• 
  Thomas Dean:
  Meditations on Time and Space: Expediting Temporal Inference by Exploiting Structure in Time and Space (Abstract). TIME 1994: 3-12
• 
  Scott D. Goodwin, Howard J. Hamilton, Eric Neufeld, Abdul Sattar, André Trudel:
  Belief Revision in a Discrete Temporal Probability-Logic. TIME 1994: 113-120
• 
  Scott D. Goodwin, Eric Neufeld, André Trudel:
  The Persistence of Statistical Information. TIME 1994: 48-53
• 
  Peter Haddawy:
  Believing Change and Changing Belief. TIME 1994: 77-84
• 
  Ehric Ho, André Trudel:
  The Specification and Implementation of a First Order Logic for Uncertain Temporal Domains. TIME 1994: 95-102
• 
  David Leasure:
  Automated Temporal Explanation with the Modal Logic Z. TIME 1994: 134-139
• 
  Shieu-Hong Lin, Thomas Dean:
  Localized Temporal Reasoning: A State-Based Approach. TIME 1994: 3-12
• 
  Rasiah Loganantharaj:
  Propagating Possibilistic Temporal Constraints. TIME 1994: 161-164
• 
  Leora Morgenstern:
  A Proper Ontology for Reasoning about Knowledge and Planning. TIME 1994: 69-76
• 
  Robert A. Morris, William D. Shoaff, Lina Khatib:
  An Algebraic Formulation of Temporal Knowledge for Reasoning about Recurring Events. TIME 1994: 29-34
• 
  Niki Pissinou, Kia Makki:
  On the Representation of Temporal Object Roles in Object Oriented Databases. TIME 1994: 165-172
• 
  Ian E. Pratt, David S. Brée:
  The Expressive Power of the English Temporal Preposition System. TIME 1994: 153-160
• 
  Alessandro Provetti:
  Hypothetical Reasoning from Situation Calculus to Event Calculus. TIME 1994: 42-47
• 
  Fano Ramparany:
  Managing Large Temporal Delays in a Model Based Control System. TIME 1994: 140-145
• 
  Alfred J. Reich:
  Intervals, Points, and Branching Time. TIME 1994: 121-133
• 
  Fei Song:
  Extending Temporal Reasoning with Hierarchical Constraint. TIME 1994: 21-28
• 
  Milind Tambe, Paul S. Rosenbloom:
  Event Tracking for an Intelligent Automated Agent. TIME 1994: 60-68
• 
  Ahmed Y. Tawfik, Eric Neufeld:
  Temporal Bayesian Networks. TIME 1994: 85-92
• 
  André Trudel:
  A Temporal Structure that Distinguishes between the Past, Present, and Future. TIME 1994: 146-152
• 
  Scott D. Goodwin, Howard J. Hamilton:
  Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994. University of Regina, Regina, SK, Canada 1994, ISBN 0-7731-0278-7 [contents]