GUISEPPE DE GIACOMO and DANIELE NARDI Dipartimento di Informatica e Sistemistica, Universitá di Roma 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: Contributors:
REASONING ABOUT ACTIONS: FOUNDATIONS AND APPLICATIONS
degiacomo@dis.uniroma1.it and nardi@dis.uniroma1.it
None
No specific recommendation