Temporal logic: Proceedings of the ICTL Workshop

Ohlbach, Hans Jürgen

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Report

Temporal logic: Proceedings of the ICTL Workshop

MPS-Authors

/persons/resource/persons45140

Ohlbach, Hans Jürgen
Programming Logics, MPI for Informatics, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

MPI-I-94-230.pdf
(Any fulltext), 83MB

Supplementary Material (public)

There is no public supplementary material available

Citation

Ohlbach, H. J. (Ed.).(1994). Temporal logic: Proceedings of the ICTL Workshop (MPI-I-94-230). Saarbrücken: Max-Planck-Institut für Informatik.

Cite as: https://hdl.handle.net/11858/00-001M-0000-0014-B7B5-3

Abstract

This report contains the papers presented at the ICTL-94 workshop: A. Galton: Instantaneous Events Y. S. Ramakrishna: On the Satisfiability Problem for Lamport's Propositional Temporal Logic of Actions and Some of Its Extensions \item I. Vernier: Parameterized Evaluation of CTL-X Formulae J. Engelfriet and J. Treur: Final Model Semantics for Normal Default Theories A. ter Meulen: Situated Reasoning with Temporal Anaphora A. Montanari: A Metric and Layered Temporal Logic for Time Granularity, Synchrony and Asynchrony M. A. Orgun: On Continuous Extensions of Temporal Logic Programming A. Fantechi: ACTLab: An Action Based Toolset J. Gooday and A. Galton: Nonmonotonic Reasoning about Action and Change A. Isli: Mapping an LPTL Formula into a B\"uchi Alternating Automaton Accepting its Models F. Song: Combining Temporal and Hierarchical Constraints for Temporal Reasoning T. Panayiotopoulos and C. D. Spyropoulos: TRL: A Formal Language for Temporal References E. Ciapessoni, E. Corsetti, E. Crivelli and M. Migliorati: Checking Satisfiability of TRIO$_\neq$ Specifications