******************************************************************** ELECTRONIC NEWSLETTER ON REASONING ABOUT ACTIONS AND CHANGE Issue 97001 Editor: Erik Sandewall 21.9.1997 Back issues available at http://www.ida.liu.se/ext/etai/actions/njl/ ******************************************************************** ********* NEW INITIATIVES ********* --- ETAI NEWSLETTER --- Here is the first issue of the new started Newsletter. Details of the editing policy are at the end of this message. --- DISCUSSION WITH WOLFGANG BIBEL ABOUT HIS INVITED LECTURE --- The recent IJCAI conference featured an invited talk by Wolfgang Bibel, titled "Let's plan it deductively!" The talked addressed issues within Reasoning about Actions and Change as well as within planning, and is of considerable relevance for our area. Since the format of a conference lecture with a large audience does not allow much discussion, we have invited Wolfgang to participate in an on-line discussion about his article in the present medium, and he has agreed heartily. Questions to Wolfgang can be sent to the Newsletter editor, and will be forwarded to him for answering. Questions and answers will be distributed through Newsletter issues, and will also be accumulated in discussion sessions in the Colloquium. It is intended that this discussion will have the flavor of a conference question period, so it is perfectly fine if the contributions develop into a broader discussion. --- NRAC PANEL DISCUSSIONS CONTINUED --- The NRAC workshop (Non-monotonic Reasoning, Actions and Change) at the recent IJCAI featured three panel discussions: on causality, methodology, and ontologies. (The methodology panel dealt with theory evaluation, or "what makes a theory good?"). We are presently trying to arrange for these panel discussions to continue on-line, just like the discussion with Wolfgang Bibel. More about this will appear in forthcoming Newsletter issues. ********* RECENT DEVELOPMENTS ********* Computational complexity has not been much studied in the research on Reasoning about Actions and Change, although of course there has been considerable work on complexity in the neighboring topics of planning and in temporal reasoning (in the sense of only reasoning about points on the time line, but not allowing for change of state and the frame problem(s)). Recently, however, there have been two contributions on complexity in our field, namely: * Thomas Drakengren and Marcus Bjäreland Reasoning about Action in Polynomial Time Proc. IJCAI 1997, pp 1447-1452, also available at ftp://ftp.ida.liu.se/pub/labs/tosca/people/thodr/ijcai97rac.ps.gz * Paolo Liberatore The Complexity of the Language A Linköping University Electronic Press, 4.7.1997, available at http://www.ep.liu.se/ea/cis/1997/006/ The latter article has been received by the ETAI, and is presently in its discussion period. ********* PUBLICATIONS ********* --- BOOKS --- "Spatial and Temporal Reasoning" is a collection volume edited by Oliviero Stock which has just been published by Kluwer. The volume grew out of two Advanced Schools held in Bolzano, Italy, which were directed by Oliviero. The book contains contributions by the following authors: Laure Vieu, Alfonso Gerevini, Roberto Casati and Achille C. Varzi, Anthony G. Cohn et al., Andrew U. Frank, Annette Herskovits, James F. Allen and George Ferguson, Drew McDermott, Erik Sandewall, and Anthony Galton. ********* CALENDAR ********* --- FORTHCOMING CONFERENCES AND WORKSHOPS --- Following the installation of new software and a database for conference announcements, the Colloquium for Actions and Change now has its own web page for forthcoming and recent conferences and workshops. (Previously, we only had a link to a similar page elsewhere. The new arrangements offers more complete coverage and better integration with our bibliography). The following are the present contents of our conference menue. ECP-97: European Conference on Planning. Toulouse, France, 24.9-26.9, 1997. General information: http://cswww.essex.ac.uk/conferences/ecp-97.htm FCR-98: Formalization of Commonsense Reasoning. London, U.K., 7.1-9.1, 1998. Papers due: 10.10 1997. Call for papers: http://www.dcs.qmw.ac.uk/~rsm/CS98/CS98cfp.html General information: http://www.dcs.qmw.ac.uk/~rsm/CS98/index.html TIME-98: International Workshop on Temporal Representation and Reasoning. Sanibel Island, Florida, USA, 15.5-16.5, 1998. Papers due: 8.12 1997. Call for papers: http://www.cs.fit.edu/~lina/time/cfp.txt General information: http://www.cs.fit.edu/~lina/time/time98.html Broadcast message: http://www.ida.liu.se/ext/brs/confi/cfp/TIME-98.txt KR-98: International Conference on Knowledge Representation and Reasoning. Trento, Italy, 2.6-5.6, 1998. Papers due: 1.12 1997. Call for papers: http://www.kr.org/kr/kr98/cfp.html General information: http://www.kr.org/kr/kr98/ Broadcast message: http://www.ida.liu.se/ext/brs/confi/cfp/KR-98.txt FOIS-98: Formal Ontology in Information Systems. Trento, Italy, 6.6-8.6, 1998. Papers due: 15.12 1997. General information: http://mnemosyne.itc.it:1024/fois98/ Broadcast message: http://www.ida.liu.se/ext/brs/confi/cfp/FOIS-98.txt AIPS-98: Artificial Intelligence Planning Systems. Carnegie-Mellon University, Pittsburgh, PA, USA, 7.6-10.6, 1998. Papers due: 9.12 1997. General information: http://www.cs.cmu.edu/~aips98 Broadcast message: http://www.ida.liu.se/ext/brs/confi/cfp/AIPS-98.txt ECAI-98: European Conference on Artificial Intelligence. Brighton, UK, 23.8-28.8, 1998. Papers due: 23.1 1998. Call for papers: http://www.cogs.susx.ac.uk/ecai98/call.html General information: http://www.cogs.susx.ac.uk/ecai98 Broadcast message: http://www.ida.liu.se/ext/brs/confi/cfp/ECAI-98.txt Each link labelled "broadcast message" refers to a copy of a message that the conference organizers have sent out to the widest possible audience. ********* NEWSLETTER POLICY ********* This is the first issue of the Newsletter for reasoning about actions and change, the direct-mail variant of the ETAI News Journal. It starts as an experiment because of numerous requests for a direct-mail service within ETAI. Many readers feel that it is easy to forget about places that are available for browsing, and that it is more convenient to receive news as E-mail messages and with as little delay as possible. ETAI Newsletters will meet this demand in the following fashion. They are issued as often as news items come in, but not more frequently than once a day, and are distributed to subscribers by direct E-mail. At the same time, each Newsletter issue will be posted on a back issue page, http://www.ida.liu.se/ext/etai/actions/njl/ for newsletters. Therefore, the Newsletter mails are disposable: you can safely discard them after you have glanced through them, since if you need to look back at a particular issue, can retrieve them from the back issue page. Contributions to the Newsletter are welcomed for all news of specific relevance to research on Reasoning about Actions and Change. The following are examples of relevant contributions: * Research articles (including departmental technical reports) which have appeared recently, provided that the article or report is available over the net. * Announcements of conferences and workshops * Contributions to discussions A number of discussions are being organized within the area, and all messages within those discussions will be included in the Newsletter. In this way, the Newsletter also serves as a moderated newsgroup. The Newsletters will offer a more rapid alternative to the News Journal: http://www.ida.liu.se/ext/etai/actions/nj/noframelist.html but for those subscribers who only want larger chunks of news in longer intervals, all news that appear in Newsletters will also be included in the next following issue of the News Journal. Similarly, those news that fit into existing categories of the Colloquium for Action and Change: http://www.ida.liu.se/ext/etai/actions/colloq.html will be accumulated to there. Initially, all current subscribers in the area will receive Newsletter mailings, as well as notification about new issues of the News Journal. If you wish to be removed from the Newsletter mailing list and only stay on the News Journal list, please send a note to the present editor. ******************************************************************** 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/ ********************************************************************