Advertisement

Table of contents

  1. Front Matter
  2. Morten Ulrik Sørensen, Odd Erik Hansen, Hans Henrik Løvengreen
    Pages 1-16
  3. Shmuel Katz
    Pages 17-29
  4. J. C. M. Baeten, J. A. Bergstra, R. N. Bol
    Pages 30-47
  5. José Luiz Fiadeiro, Tom Maibaum
    Pages 48-66
  6. Anthony J. Bonner, Michael Kifer
    Pages 67-81
  7. Patrick Doherty, Witold Łukaszewicz
    Pages 82-100
  8. Silvana Badaloni, Marina Berati
    Pages 101-116
  9. M. Reynolds
    Pages 117-132
  10. Valentin Goranko
    Pages 133-148
  11. B. Vergauwen, J. Lewi, I. Avau, A. Poté
    Pages 165-179
  12. Orna Grumberg, Robert P. Kurshan
    Pages 180-194
  13. G. Kutty, L. E. Moser, P. M. Melliar-Smith, L. K. Dillon, Y. S. Ramakrishna
    Pages 195-209
  14. Orna Bernholtz, Orna Grumberg
    Pages 210-224
  15. Patrick Blackburn, Claire Gardent, Maarten de Rijke
    Pages 225-237
  16. Maria Concetta Di Maio, Alberto Zanardo
    Pages 265-282
  17. Michael Böhlen, Robert Marti
    Pages 283-300
  18. Kristof Van Belleghem, Marc Denecker, Danny De Schreye
    Pages 301-316

About these proceedings

Introduction

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994.
Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers.

Keywords

Logic artificial intelligence computer nicht-klassische Logiken nonclassical logics temporal databases temporal logic temporal reasoning temporal specifications zeitabhängige Datenbanken zeitabhängige Logik zeitabhängige Spezifikation

Bibliographic information