de.mpg.escidoc.pubman.appbase.FacesBean
English
 
Help Guide Disclaimer Contact us Login
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT

Released

Report

Temporal logic: Proceedings of the ICTL Workshop

MPS-Authors
http://pubman.mpdl.mpg.de/cone/persons/resource/persons45140

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

Locator
There are no locators available
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: http://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