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: 2.11.1996
ECSTER Newsletter Is Back
After an unfortunate interruption of service for a few months, the
ECSTER Newsletter is now back in operation. The present issue is
still a bit thin, but wait for the next one...
Recent events
European Conf on Artificial Intelligence, 1996
Held 11-16.8 1996 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
To be 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: 2.11.1996.
Date of last correction:
02.11.1996