Electronic Newsletter Actions and Change
Electronic Newsletter on
Reasoning about Actions and Change
The ETAI is organized and published under the auspices of the
European Coordinating Committee for Artificial Intelligence
(ECCAI).
The discussion about ETAI submitted articles is the most salient activity
in this Newsletter. Today we have a number of such discussion contributions:
- Murray Shanahan, continued comment about the article by Denecker,
Theseider Dupré, and Van Belleghem;
- The authors of that article, answer to questions by Ternovskaia
and by Thielscher
- Rob Miller, question to the article by Cervesato, Franceschet, and
Montanari
- Erik Sandewall, answers to questions by three anonymous referees.
As usual, the full discussions can be recovered from the article
interactions pages of the respective submissions, and the best off-line
reading is obtained by making a printout of the postscript version of
the present newsletter.
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.
Erik Sandewall
Logic-Based Modelling of Goal-Directed Behavior
Iliano Cervesato, Massimo Franceschet, and Angelo Montanari
The Complexity of Model Checking in Modal Event Calculi with Quantifiers
Marc Denecker, Daniele Theseider Dupré, and Kristof Van Belleghem
An Inductive Definition Approach to Ramifications