de.mpg.escidoc.pubman.appbase.FacesBean
Deutsch
 
Hilfe Wegweiser Datenschutzhinweis Impressum Kontakt
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT

Freigegeben

Bericht

Temporal logic: Proceedings of the ICTL Workshop

MPG-Autoren
http://pubman.mpdl.mpg.de/cone/persons/resource/persons45140

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

Externe Ressourcen
Es sind keine Externen Ressourcen verfügbar
Volltexte (frei zugänglich)

MPI-I-94-230.pdf
(beliebiger Volltext), 83MB

Ergänzendes Material (frei zugänglich)
Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar
Zitation

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


Zitierlink: http://hdl.handle.net/11858/00-001M-0000-0014-B7B5-3
Zusammenfassung
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