Special Issue on "Executable Temporal Logics"
[Volume 22, Numbers 5 & 6, November/December 1996, ISSN 0747-7171]
EDITORS: Michael Fisher (Department of Computing, Manchester
Metropolitan University, UK)
Shinji Kono (Department of Information Engineering,
Ryukyu University, Japan)
Mehmet Orgun (Department of Computing, Macquarie
University, Australia}
[ http://www.doc.mmu.ac.uk/STAFF/M.Fisher/jsc-advt.html ]
A special issue of the Journal of Symbolic Computation has recently
been published, dedicated to topics in Executable Temporal Logics
(ETL). Although this area is relatively new, it has seen an increase
in both applications and systems in the last few years and now it can
stand on its own as an independent research area. The breadth and
diversity of the papers published in this special issue are an
indication that the area is close to reaching maturity. We trust that
the papers presented in this special issue will foster further
research spanning from theoretical to practical issues in ETL and iron
out their connection to related areas such as constraint programming,
deductive databases, temporal reasoning, theorem proving, executable
specifications and so on. In the near future, as the implemented
systems mature and more efficient implementations emerge, we are going
to see more and more languages and systems applied to a broader range
of applications with success.
The contents of this (double) special issue are as follows:
* Editorial: Executable Temporal Logics -
Fisher, Kono & Orgun, 5pp.
* "Dense Time Logic Programming" -
Ahmed & Venkatesh, 30pp.
* "Dealing with Multiple Granularity of Time in Temporal Logic Programming" -
Liu & Orgun, 23pp.
* "NatureTime: Temporal Granularity in Simulation and Ecosystems" -
Mota, Robertson & Smaill, 34pp.
* "A Non-Standard Temporal Deductive Database System" -
Gagne & Plaice, 16pp.
* "Defining Liveness Goals from Temporal Logic Specifications" -
Caleiro, Saake & Sernadas, 33pp.
* "Executable Temporal Logic for Nonmonotonic Reasoning" -
Engelfriet & Treur, 10pp.
* "Temporal Semantics for Concurrent MetateM" -
Fisher, 22pp.
* "Temporal Annotated Constraint Logic Programming" -
Freuhwirth, 31pp.
* "Timed Default Concurrent Constraint Programming" -
Saraswat, Jagadeesan & Gupta, 46pp.
* Executable Temporal Logic Systems - a survey of important systems.
===============================================================================
-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community.
Requests to get on or off dbworld should go to listproc@cs.wisc.edu.
to subscribe send
subscribe dbworld Your Full Name
to unsubscribe send
unsubscribe dbworld
to change your address
send an unsubscribe request from the old address
send a subscribe request from the new address
to find out more options send
help
------------------------------------------------------------------------FOOTER-