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

• 1994
• 
  Silvana Badaloni, Marina Berati:
  Dealing with Time Granularity in a Temporal Planning System. ICTL 1994: 101-116
• 
  Jos C. M. Baeten, Jan A. Bergstra, Roland N. Bol:
  A Real Time Process Logic. ICTL 1994: 30-47
• 
  Kristof Van Belleghem, Marc Denecker, Danny De Schreye:
  The Abductive Event Calculus as a General Framework for Temporal Databases. ICTL 1994: 301-316
• 
  Orna Bernholtz, Orna Grumberg:
  Buy One, Get One Free!!! ICTL 1994: 210-224
• 
  Leopoldo E. Bertossi, Cristian Ferretti:
  SCDBR: A Reasoner for Specifications in the Situation Calculus of Database Updates. ICTL 1994: 543-545
• 
  Patrick Blackburn, Claire Gardent, Maarten de Rijke:
  Back and Forth Through Time and Events. ICTL 1994: 225-237
• 
  Michael H. Böhlen, Robert W. Marti:
  On the Completeness of Temporal Database Query Languages. ICTL 1994: 283-300
• 
  Anthony J. Bonner, Michael Kifer:
  Applications of Transaction Logic to Knowledge Representation. ICTL 1994: 67-81
• 
  Jan Chomicki:
  Temporal Query Languages: A Survey. ICTL 1994: 506-534
• 
  Clare Dixon, Michael Fisher, Howard Barringer:
  A Graph-Based Approach to Resolution in Temporal Logic. ICTL 1994: 415-429
• 
  Patrick Doherty, Witold Lukaszewicz:
  Cicumscribing Features and Fluents. ICTL 1994: 82-100
• 
  Miguel Felder, Angelo Morzenti:
  A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets. ICTL 1994: 365-381
• 
  José Luiz Fiadeiro, T. S. E. Maibaum:
  Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects. ICTL 1994: 48-66
• 
  Michael Fisher:
  A Survey of Concurrent METATEM - the Language and its Applications. ICTL 1994: 480-505
• 
  Valentin Goranko:
  Temporal Logic with Reference Pointers. ICTL 1994: 133-148
• 
  Orna Grumberg, Robert P. Kurshan:
  How Linear Can Branching-Time Be? ICTL 1994: 180-194
• 
  Reiner Hähnle, Ortrun Ibens:
  Improving Temporal Logic Tableaux Using Integer Constraints. ICTL 1994: 535-539
• 
  Chung Hee Hwang, Lenhart K. Schubert:
  Interpreting Tense, Aspect and Time Adverbials: A Compositional, Unified Approach. ICTL 1994: 238-264
• 
  Shmuel Katz:
  Global Equivalence Proofs for ISTL. ICTL 1994: 17-29
• 
  George Kutty, Louise E. Moser, P. M. Melliar-Smith, Laura K. Dillon, Y. S. Ramakrishna:
  First-Order Future Interval Logic. ICTL 1994: 195-209
• 
  Marta Z. Kwiatkowska, Doron A. Peled, Wojciech Penczek:
  A Hierarchy of Partial Order Temporal Properties. ICTL 1994: 398-414
• 
  Maria Concetta Di Maio, Alberto Zanardo:
  Synchronized Histories in Prior-Thomason Representation of Branching Time. ICTL 1994: 265-282
• 
  Hugh McGuire, Zohar Manna, Richard J. Waldinger:
  Annotation-Based Deduction in Temporal Logic. ICTL 1994: 430-444
• 
  P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna, George Kutty, Laura K. Dillon:
  A System for Automated Deduction in Graphical Interval Logic. ICTL 1994: 540-542
• 
  Abdelillah Mokkedem, Dominique Méry:
  A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs. ICTL 1994: 382-397
• 
  Mehmet A. Orgun, Wanli Ma:
  An Overview of Temporal and Modal Logic Programming. ICTL 1994: 445-479
• 
  Mark Reynolds:
  Axiomatizing U and S over Integer Time. ICTL 1994: 117-132
• 
  Cristina Ribeiro, António Porto:
  Abduction in Temporal Reasoning. ICTL 1994: 349-364
• 
  Morten Ulrik Sørensen, Odd Erik Hansen, Hans Henrik Løvengreen:
  Combining Temporal Specification Techniques. ICTL 1994: 1-16
• 
  Yde Venema:
  Completeness through Flatness in Two-Dimensional Temporal Logic. ICTL 1994: 149-164

skipping 4 more matches