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

Today

 

Today we have the pleasure of announcing an additional submitted article: "Causality in Action Theories", by Camilla Schwind. The present issue also contains Graham White's concluding answer to the referees of his article, and an answer by Pat Hayes to Graham's earlier comment in the review discussion of the Levesque/Pirri/Reiter reference article.

Murray Shanahan has written that he leaves his present article as it is, and does not propose to update it further.

On the practical side, our web page structure has been revised in a way that speeds up the interactions. The new design only updates individual frames (one or more) instead of the whole window. The graphical design has also been improved. As usual, the webpage is the best way of accessing the past discussions in this electronic colloquium, and it is found at http://www.etaij.org/rac/

ETAI Publications

 

Received research articles

Camilla Schwind
Causality in Action Theories.

[Interactions]

Abstract: Causal reasoning has become very important in the last few years in logic based action theories. In this article, we study how causal inference has been integrated and used in action theories. After presenting and discussing criteria considered as the most meaningful, we present four formalisms which are approaches to actions and causality and we try to situate each formalism in relation to the criteria.

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.

Graham White
Simulation, Ramification, and Linear Logic

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

Hector Levesque, Fiora Pirri, and Ray Reiter
Foundations for the Situation Calculus

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