DRAFT ECSTER Newsletter, October, 1996

Issued by the European Colloquium on Spatial and Temporal Reasoning, (ECSTER).
Editor: Erik Sandewall, Linköping University, Sweden. Date of issue: forthcoming

[revision], [commands], [published version].

Recent events

European Conf on Artificial Intelligence, 1996

Held in Budapest, Hungary.

Biundo, Susanne, and Werner Stephan: Modeling Planning Domains Systematically. Code: [Biundo96A].

Coradeschi, Silvia: Reasoning with Misperception in the Features and Fluents Framework. Code: [Coradeschi96C].

Dengler, Dietmar: Customized Plans Transmitted by Flexible Refinement. Code: [Dengler96A].

Li, Renwei, and Luís Moniz Pereira: Temporal Reasoning with Abductive Logic Programming. Code: [Li96B].

Miller, Rob: A Case Study in Reasoning about Actions and Continuous Change. Code: [Miller96C].

Montanari, Angelo, Luca Chittaro, and Iliano Cervesato: A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants. Code: [Montanari96A].

Pain-Barre, Cyril: DEDAL: a DEDuctive and ALgorithmic Planning System. Code: [Pain-Barre96A].

Sandewall, Erik: Getting Robots to Know Exactly What They are Doing. Code: [Sandewall96B].

Shanahan, Murray: Robotics and the Common Sense Informatic Situation. Code: [Shanahan96D].

Terenziani, Paolo: Towards an Ontology Dealing with Periodic Events. Code: [Terenziani96A].

Forthcoming events

International Conf on Knowledge Representation and Reasoning, 1996

Held 4.11-8.11, 1996 in Boston, USA.

De Giacomo, Giuseppe, Luca Iocchi, Daniele Nardi, and Riccardo Rosati: Moving a Robot: the KR+R Approach at Work. Code: [Giacomo96B].

Ginsberg, Matthew L.: A New Algorithm for Generative Planning. Code: [Ginsberg96A].

Giunchiglia, Enrico: Determining Ramifications in the Situation Calculus. Code: [E.Giunchiglia96A].

Golden, Keith, and Daniel S. Weld: Representing Sensing Actions: The Middle Ground Revisited. Code: [Golden96A].

Gustafsson, Joakim, and Patrick Doherty: Embracing Occlusion in Specifying the Indirect Effects of Actions. Code: [Gustafsson96A].

Herzig, Andreas: The PMA Revisited. Code: [Herzig96A].

Kelley, Todd: Modelling Complex Systems in the Situation Calculus:.... Code: [Kelley96B].

Miller, Rob, and Murray Shanahan: Reasoning about Discontinuities in the Event Calculus. Code: [Miller96B].

Sandewall, Erik: Assessments of Ramification Methods that Use Static Domain Constraints. Code: [Sandewall96A].

Reiter, Ray: Natural Actions, Concurrency and Continuous Time in the Situation Calculus. Code: [Reiter96B].

Thielscher, Michael: Causality and the Qualification Problem. Code: [Thielscher96B].

Editor: Erik Sandewall, Linköping University, Sweden.
Date of issue: 11.2.1996. Date of last correction: 02.11.1996