Skip to main content
SpringerLink
Log in

Executable Modal and Temporal Logics

IJCAI '93 Workshop, Chambery, France, August 28, 1993. Proceedings

  • Conference proceedings
  • © 1995

Overview

Editors:
  1. Michael Fisher
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Richard Owens
    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 897)

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

Included in the following conference series:

Conference proceedings info: IJCAI 1993.

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 54.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 (10 papers)

  1. Front Matter

    Download chapter PDF

  2. An introduction to executable modal and temporal logics

    • Michael Fisher, Richard Owens
    Pages 1-20

  3. Temporal logic programming with metric and past operators

    • Christoph Brzoska
    Pages 21-39

  4. A combination of clausal and non clausal temporal logic programs

    • Shinji Kono
    Pages 40-57

  5. Temporal logic and annotated constraint logic programming

    • Thom Frühwirth
    Pages 58-68

  6. Efficiently executable temporal logic programs

    • Stephan Merz
    Pages 69-85

  7. Towards a semantics for concurrent MetateM

    • Michael Fisher
    Pages 86-102

  8. Constraint deduction in an interval-based temporal logic

    • Jana Koehler, Ralf Treinen
    Pages 103-117

  9. Towards first-order concurrent MetateM

    • Mark Reynolds
    Pages 118-143

  10. Solving air-traffic problems with “possible worlds”

    • Marcos Cavalcanti
    Pages 144-156

  11. Investigations into the application of deontic logic

    • Nienke den Haan
    Pages 157-178

  12. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Executable Modal and Temporal Logics

Keywords

About this book

This volume presents the thoroughly revised proceedings of the IJCAI '93 Workshop on Executable Modal and Temporal Logics held in Chambery, France in August 1993.
The direct execution of logical statements, through languages such as PROLOG, has proved remarkably successful within CS and AI. In recent years a variety of nonclassical logics have been introduced and several executable forms of these logics have been applied to programming.
This volume addresses a range of approaches to executable modal and temporal logics, not only from a logical point of view, but also from programming language and application standpoints; in addition, an introductory survey and an annotated bibliography are presented.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation