|
|
News Journal on Reasoning about Actions and Change |
| Vol. 1, Nr. 5 | Editor: Erik Sandewall | December 31, 1997 |
ETAI Publications |
Received research articles | ||
| Discussion about received articles | |||
| Articles presently under review | |||
Other Publications |
Research articles | ||
Debates |
NRAC Panel Discussion on Ontologies for Actions and Change | ||
Calendar |
Forthcoming conferences and workshops | ||
Editorial issues |
A Note on Procedure | ||
ETAI Publications |
The following articles have been received during the month of December, and review discussions have been opened for them.
José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, and Teodor Przymusinski
Dynamic Logic Programming.
Erik Sandewall
Logic-Based Modelling of Goal-Directed Behavior.
There have been contributions to the discussions about the following research articles. Please refer to their respective interaction pages to review the discussion.
Michael Thielscher
A Theory of Dynamic Diagnosis
José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, and Teodor Przymusinski
Dynamic Logic Programming
The following is the discussion status at the end of the year for those articles that are currently being discussed.
Received 7.10.1997. Status: Two recent question-contributions, awaiting answer.
Antonis Kakas and Rob Miller
Reasoning about Actions, Narratives and Ramification.
Received 16.10.1997. Status: The article has given rise to extensive discussion.
Paolo Liberatore
Compilability of Domain Descriptions in the Language A.
Research note, received 31.10.1997. Status: No discussion so far.
José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, and Teodor Przymusinski
Dynamic Logic Programming.
Received 12.12.1997. Status: One question has been posed, not answered at this point.
Erik Sandewall
Logic-Based Modelling of Goal-Directed Behavior.
Received 19.12.1997. Status: No discussion so far.
Other Publications |
The following three articles from the Doherty group have been published recently, and describe how they deal with (in turn) concurrency, qualification, and ramification. In particular, these article provide the detailed answers to Vladimir Lifschitz's questions to Sandewall and Doherty, in an earlier issue of this Newsletter.
The first two articles have been submitted for reviewing in another journal (not ETAI), and can therefore not be included among the articles presently being reviewed by ETAI. We have had some previous cases where the present Newsletter included references and links to current articles that are in the publication channel for elsewhere, for example the papers by Judea Pearl and his group (ENRAC 97002, 22.9.1997). We would like to encourage readers to make use of this possibility of making their current work known to the community.
The third article mentioned below is a documentation of the details of the approach: precise definition of the logic, solutions for test examples, and so forth. This is the kind of material that is not traditionally published by our journals or conferences, but which is important for any detailed analysis of an approach, and for comparisons between approaches. It is therefore reference material in the strong sense of the word: appropriate to use as a reference in conventional articles, and in order to document the details of the method being proposed. Again, we welcome similar documentations from all our readers.
Lars Karlsson and Joakim Gustafsson
Reasoning about actions in a multi-agent environment
Published by Linköping University ElectronicPress on 1997-11-14. Permanently available at http://www.ep.liu.se/ea/cis/1997/014/.
Patrick Doherty and Jonas Kvarnström
Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report
Published by Linköping University ElectronicPress on 1997-12-19. Permanently available at http://www.ep.liu.se/ea/cis/1997/016/.
Patrick Doherty
PMON+: A Fluent Logic for Action and Change: Formal Specification, Version 1.0
Published by Linköping University ElectronicPress on 1997-12-19. Permanently available at http://www.ep.liu.se/ea/cis/1997/020/.
Debates |
Calendar |
Workshop on Action and Causality at KR-98.
Belief Revision Workshop at KR-98.
ESSLI-98 Workshop on Reasoning about Actions: Foundations and Applications.
Editorial issues |
In any journal, a special procedure is needed when the editor himself or herself submits an article. In the case of ETAI's procedure for discussion and refereeing, no special procedure seems to be required for the discussion phase, since the entire discussion is done in public anyway. When we get to the refereeing phase, I will ask the area editor for one of the adjacent ETAI areas to be in charge of the refereeing.
If some reader should feel a need to communicate a message to the present editor without revealing his identity, then please relay through the area editor of one of the other ETAI areas, or through the ETAI policy committee.