Logic and Computation
REASONING ABOUT ACTIONS: FOUNDATIONS AND APPLICATIONS
Workshop

GUISEPPE DE GIACOMO and DANIELE NARDI

Dipartimento di Informatica e Sistemistica, Universitá di Roma

First week
degiacomo@dis.uniroma1.it and nardi@dis.uniroma1.it
Course description

The research in Reasoning about Actions has recently made substantial progress in both foundational and applied aspects. From the theoretical side issues, such as complex actions, non-terminating behaviors, on-line planning and execution, reactivity, multiple agents, have been investigated, uncovering tight connections (but also differences) with other research areas such as Semantics of Programs, Concurrency, Specification and Verification, and Discrete Control Theory.

From the applications side, progresses made in Robotics allow for mapping high level actions into complex low level behaviors that blend the commands with sophisticated reactive mechanisms. In this way the high level representation can avoid to deal with low level details, thus making reasoning about actions feasible in practice. In addition reasoning about actions is starting being used in traditionally distant application areas such as Workflows, Processes Modeling, Transaction Processing, WWW Navigation, etc.

The aim of this workshop is to bring together researchers working on reasoning about actions, but also in related areas as the ones mentioned above, to discuss the current and future research directions.

Invited speakers:

  • Moshe Vardi
  • Yves Lesperance

Contributors:

  • Igor Rents (Russia)
  • Marc Pauly (The Netherlands)
  • Marcos A. Castilho (France)
  • Louis Farinas del Cerro (France)
  • Oliver Gasquet (France)
  • Andreas Herzig (France)
  • Marcelo Arenas (Chile)
  • Leopoldo Bertossi (Chile)
  • Liviu Badea (Romania)
  • Kristof Van Belleghem (Belgium)
  • Marc Denecker (Belgium)
  • Daniele Theseider Dupré (Italy)
  • Steffen Holldobler (Germany)
  • Hans-Peter Storr (Germany)
  • Jorge A. Baier (Chile)
  • Javier A. Pinto (Chile)
  • Olga Kouchnarenko (France)
  • Sophie Pinchinat (France)
  • Paolo Traverso (Italy)

 

Prerequisites
None
Literature
No specific recommendation

 

 


HOME
PROGRAMME
CONTACT
REGISTRATION