Electronic Newsletter Actions and Change

Electronic Newsletter on
Reasoning about Actions and Change

Issue 98048 Editor: Erik Sandewall 27.5.1998
The ETAI is organized and published under the auspices of the
European Coordinating Committee for Artificial Intelligence (ECCAI).

Today

Debates

Today, we have a second invited comment to the article by Iliano Cervesato, Massimo Franceschet, and Angelo Montanari that has been submitted to the ETAI.

The discussion about the ontology of time has not been concluded yet, and additional contributions are foreseen in a forthcoming issue of this Newsletter.

ETAI Publications

Discussion about received articles

Additional debate contributions have been received for the following article(s). Please click the title of the article to link to the interaction page, containing both new and old contributions to the discussion.

Iliano Cervesato, Massimo Franceschet, and Angelo Montanari
The Complexity of Model Checking in Modal Event Calculi with Quantifiers