Skip to main content
SpringerLink
Log in
Book cover

Temporal Logic

First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. Dov M. Gabbay
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Hans Jürgen Ohlbach
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 827)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: ICTL 1994.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (33 papers)

  1. Front Matter

    Download chapter PDF

  2. Combining temporal specification techniques

    • Morten Ulrik Sørensen, Odd Erik Hansen, Hans Henrik Løvengreen
    Pages 1-16

  3. Global equivalence proofs for ISTL

    • Shmuel Katz
    Pages 17-29

  4. A real time process logic

    • J. C. M. Baeten, J. A. Bergstra, R. N. Bol
    Pages 30-47

  5. Sometimes “Tomorrow” is “Sometime”

    • José Luiz Fiadeiro, Tom Maibaum
    Pages 48-66

  6. Applications of transaction logic to knowledge representation

    • Anthony J. Bonner, Michael Kifer
    Pages 67-81

  7. Circumscribing features and fluents

    • Patrick Doherty, Witold Łukaszewicz
    Pages 82-100

  8. Dealing with time granularity in a temporal planning system

    • Silvana Badaloni, Marina Berati
    Pages 101-116

  9. Axiomatizing U and S over integer time

    • M. Reynolds
    Pages 117-132

  10. Temporal logic with reference pointers

    • Valentin Goranko
    Pages 133-148

  11. Completeness through flatness in two-dimensional temporal logic

    • Yde Venema
    Pages 149-164

  12. Efficient computation of nested fix-points, with applications to model checking

    • B. Vergauwen, J. Lewi, I. Avau, A. Poté
    Pages 165-179

  13. How linear can branching-time be?

    • Orna Grumberg, Robert P. Kurshan
    Pages 180-194

  14. First-order future interval logic

    • G. Kutty, L. E. Moser, P. M. Melliar-Smith, L. K. Dillon, Y. S. Ramakrishna
    Pages 195-209

  15. Buy one, get one free !!!

    • Orna Bernholtz, Orna Grumberg
    Pages 210-224

  16. Back and forth through time and events

    • Patrick Blackburn, Claire Gardent, Maarten de Rijke
    Pages 225-237

  17. Interpreting tense, aspect and time adverbials: A compositional, unified approach

    • Chung Hee Hwang, Lenhart K. Schubert
    Pages 238-264

  18. Synchronized histories in prior-thomason representation of branching time

    • Maria Concetta Di Maio, Alberto Zanardo
    Pages 265-282

  19. On the completeness of temporal database query languages

    • Michael Böhlen, Robert Marti
    Pages 283-300

  20. The Abductive Event Calculus as a general framework for temporal databases

    • Kristof Van Belleghem, Marc Denecker, Danny De Schreye
    Pages 301-316
Back to top

Other volumes

  1. Temporal Logic

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation