1. ICTL 1994: Bonn, Germany

• Morten Ulrik Sørensen, Odd Erik Hansen, Hans Henrik Løvengreen:
  Combining Temporal Specification Techniques. 1-16
  
• Shmuel Katz:
  Global Equivalence Proofs for ISTL. 17-29
  
• Jos C. M. Baeten, Jan A. Bergstra, Roland N. Bol:
  A Real Time Process Logic. 30-47
  
• José Luiz Fiadeiro, T. S. E. Maibaum:
  Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects. 48-66
  
• Anthony J. Bonner, Michael Kifer:
  Applications of Transaction Logic to Knowledge Representation. 67-81
  
• Patrick Doherty, Witold Lukaszewicz:
  Cicumscribing Features and Fluents. 82-100
  
• Silvana Badaloni, Marina Berati:
  Dealing with Time Granularity in a Temporal Planning System. 101-116
  
• Mark Reynolds:
  Axiomatizing U and S over Integer Time. 117-132
  
• Valentin Goranko:
  Temporal Logic with Reference Pointers. 133-148
  
• Yde Venema:
  Completeness through Flatness in Two-Dimensional Temporal Logic. 149-164
  
• Bart Vergauwen, Johan Lewi, I. Avau, A. Poté:
  Efficient Computation of Nested Fix-Points, with Applications to Model Checking. 165-179
  
• Orna Grumberg, Robert P. Kurshan:
  How Linear Can Branching-Time Be? 180-194
  
• G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Laura K. Dillon, Y. S. Ramakrishna:
  First-Order Future Interval Logic. 195-209
  
• Orna Bernholtz, Orna Grumberg:
  Buy One, Get One Free!!! 210-224
  
• Patrick Blackburn, Claire Gardent, Maarten de Rijke:
  Back and Forth Through Time and Events. 225-237
  
• Chung Hee Hwang, Lenhart K. Schubert:
  Interpreting Tense, Aspect and Time Adverbials: A Compositional, Unified Approach. 238-264
  
• Maria Concetta Di Maio, Alberto Zanardo:
  Synchronized Histories in Prior-Thomason Representation of Branching Time. 265-282
  
• Michael H. Böhlen, Robert W. Marti:
  On the Completeness of Temporal Database Query Languages. 283-300
  
• Kristof Van Belleghem, Marc Denecker, Danny De Schreye:
  The Abductive Event Calculus as a General Framework for Temporal Databases. 301-316
  
• Michael Wooldridge, Michael Fisher:
  A Decision Procedure for a Temporal Belief Logic. 317-331
  
• Ming Xu:
  Decidability of Deliberative Stit Theories with Multiple Agents. 332-348
  
• Cristina Ribeiro, António Porto:
  Abduction in Temporal Reasoning. 349-364
  
• Miguel Felder, Angelo Morzenti:
  A Temporal Logic Approach to Implementation and Refinement in Timed Petri Nets. 365-381
  
• Abdelillah Mokkedem, Dominique Méry:
  A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs. 382-397
  
• Marta Z. Kwiatkowska, Doron Peled, Wojciech Penczek:
  A Hierarchy of Partial Order Temporal Properties. 398-414
  
• Clare Dixon, Michael Fisher, Howard Barringer:
  A Graph-Based Approach to Resolution in Temporal Logic. 415-429
  
• Hugh McGuire, Zohar Manna, Richard J. Waldinger:
  Annotation-Based Deduction in Temporal Logic. 430-444
  

Survey Papers

• Mehmet A. Orgun, Wanli Ma:
  An Overview of Temporal and Modal Logic Programming. 445-479
  
• Michael Fisher:
  A Survey of Concurrent METATEM - the Language and its Applications. 480-505
  
• Jan Chomicki:
  Temporal Query Languages: A Survey. 506-534
  

Position Papers and System Descriptions

• Reiner Hähnle, Ortrun Ibens:
  Improving Temporal Logic Tableaux Using Integer Constraints. 535-539
  
• P. M. Melliar-Smith, Louise E. Moser, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon:
  A System for Automated Deduction in Graphical Interval Logic. 540-542
  
• Leopoldo E. Bertossi, Cristian Ferretti:
  SCDBR: A Reasoner for Specifications in the Situation Calculus of Database Updates. 543-545
  

Last update Sat May 18 18:53:44 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page