ENRAC 98064  
Electronic Newsletter on
     Reasoning about Actions and Change
Issue 98057 Editor: Erik Sandewall [postscript]
17.7.1998  

Today

 

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.

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.

Erik Sandewall
Logic-Based Modelling of Goal-Directed Behavior

   Review protocol: [in this pane]; with links: [frame] [noframe]

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

   Review protocol: [in this pane]; with links: [frame] [noframe]

Marc Denecker, Daniele Theseider Dupré, and Kristof Van Belleghem
An Inductive Definition Approach to Ramifications

   Review protocol: [in this pane]; with links: [frame] [noframe]