ESSLLI-98 Workshop on
Reasoning about Actions: Foundations and Applications
Contributions
Invited Lectures
Cognitive Robotics - Reasoning about Actions for Robots and Agents
Yves Lesperance. - Abstract
Reference: A Situation Calculus Approach
to Modeling and Programming Agents
(with Hector Levesque and Ray Reiter)
Automatic Verification = Graphs, Automata, and Logic
Moshe Vardi. - Abstract
Reference: An Automata-Theoretic Approach to Linear Temporal Logic.
Overviews Talks
Cognitive Mobile Robot TINO
Giuseppe De Giacomo, Daniele Nardi.
Reference:
Conditional Planning for a Mobile Robot
(with Luca Iocci and Riccardo Rosati)
Planning via Model Checking
Paolo Traverso.
Reference:
Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains
(with Alessandro Cimatti and Marco Roveri)
Technical Contributions
Hypothetical Temporal Reasoning with History Encoding (Extended Abstract)
Marcelo Arenas, Leopoldo Bertossi. - Paper
Encoding Planning in Description Logics: Deduction versus Satisfiability
Testing
Liviu Badea. Paper
Non-instantaneous Actions and Concurrency in the Situation Calculus
(Extended Abstract)
Jorge A. Baier, Javier A. Pinto. - Paper
Reasoning about Actions in Modal Logic
Marcos A. Castilho, Luis Farinas del Cerro, Oliver Gasquet, Andreas Herzig.
- Paper
Reasoning about Complex Actions (Extended Abstract)
Seffen Hoelldobler, Hans-Peter Stoerr. - Paper
Labeling Automata with Polynomials
Olga Kouchnarenko, Sophie Pinchinat. - Paper
Generalizing Propositional Dynamic Logic
Marc Pauly. - Paper
Gentzen Type Sequent Calculus for Propositional Dynamic Logic
Igor Rents. - Paper
A Constructive Approach to the Ramification Problem
Kristof Van Belleghem, Marc Denecker, Daniele Theseider Depre'. - Paper
The gzipped tar file of all papers.