Monday, Aug. 17 - Special Session

14:00-14:30 Introduction
Giuseppe De Giacomo, Daniele Nardi.
Reference: Conditional Planning for a Mobile Robot (with Luca Iocci and Riccardo Rosati)

14:30-15:30 Invited Lecture: 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)

Tuesday, Aug. 18 - Special Session

14:00-15:00 Invited Lecture: Automatic Verification = Graphs, Automata, and Logic
Moshe Vardi. - Abstract
Reference: An Automata-Theoretic Approach to Linear Temporal Logic.

15:00-15:30 Invited Talk: Planning via Model Checking
Paolo Traverso.
Reference: Automatic OBDD-based Generation of Universal Plans in Non-Deterministic Domains (with Alessandro Cimatti and Marco Roveri)

Wednesday, Aug. 19 - Papers Session

14:00-14:30 Generalizing Propositional Dynamic Logic
Marc Pauly. - Paper

14:30-15:00 Gentzen Type Sequent Calculus for Propositional Dynamic Logic
Igor Rents. - Paper

15:00-15:30 Labeling Automata with Polynomials
Olga Kouchnarenko, Sophie Pinchinat. - Paper

Thursday, Aug. 20 - Papers Session

14:00-14:30 Reasoning about Actions in Modal Logic
Marcos A. Castilho, Luis Farinas del Cerro, Oliver Gasquet, Andreas Herzig. - Paper

14:30-15:00 Encoding Planning in Description Logics: Deduction versus Satisfiability Testing
Liviu Badea. Paper

15:00-15:30 A Constructive Approach to the Ramification Problem
Kristof Van Belleghem, Marc Denecker, Daniele Theseider Depre'. - Paper

Friday, Aug. 21 - Papers Session

14:00-14:30 Non-instantaneous Actions and Concurrency in the Situation Calculus
Jorge A. Baier, Javier A. Pinto. - Paper

14:30-15:00 Hypothetical Temporal Reasoning with History Encoding (Extended Abstract)
Marcelo Arenas, Leopoldo Bertossi. - Paper

15:00-15:30 Reasoning about Complex Actions
Seffen Hoelldobler, Hans-Peter Stoerr. - Paper

The gzipped tar file of all papers.