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.


Back to the ESSLLI-98 Workshop on Reasoning about Actions: Foundations and Applications home page