********************************************************************
    ELECTRONIC NEWSLETTER ON  REASONING ABOUT ACTIONS AND CHANGE        
Issue 98072             Editor: Erik Sandewall             21.9.1998
    Back issues available at http://www.ida.liu.se/ext/etai/rac/
********************************************************************



                    *********  TODAY  *********

At the Commonsense workshop in January, Graham White presented an 
article on the use of linear logic for reasoning about actions and
change. He has now submitted an article on that same topic to the ETAI,
and it is open for review discussion.



              *********  ETAI PUBLICATIONS  *********

                ---  RECEIVED RESEARCH ARTICLES  ---

The following article has been *received* by the present ETAI area, 
which means that it will be open for a three-month discussion period, 
followed by the closed peer-review decision on whether it will be 
*accepted* by the ETAI. All readers of this Newsletter are invited
to participate in the discussion.

Questions and comments are sent to the present Newsletter editor, and
will be included in forthcoming issues of the Newsletter. Past
discussion is collected in structured form in the ETAI webpages.

        ========================================================
        |  AUTHOR: Graham White
        |  TITLE:  Simulation, Ramification, and Linear Logic
        |  PAPER:  http://www.ida.liu.se/ext/epa/cis/1998/011/tcover.html
        |          [provisional]
        |  REVIEW: http://www.ida.liu.se/ext/etai/ra/rac/012/rppf.html
        ========================================================


                             ABSTRACT 

This article first argues that formalisations of the "frame problem"
should have certain desirable logical features; it then proposes a
treatment of the frame problem, using linear logic together with modal
operators, which fulfils these *desiderata* and seems to be successful
in other respects.



********************************************************************
 This Newsletter is issued whenever there is new news, and is sent
 by automatic E-mail and without charge to a list of subscribers. 
 To obtain or change a subscription, please send mail to the editor,
 erisa@ida.liu.se. Contributions are welcomed to the same address.
 Instructions for contributors and other additional information is
 found at:   http://www.ida.liu.se/ext/etai/actions/njl/
********************************************************************