International workshop "Believing, planning, acting, revising"

Toulouse, June 26 and July 5, 2013

Supported by

European Network for Social Intelligence SINTELNET (WG3) and "French-Spanish Lab of Advanced Studies in Information Representation and Processing" (LEA CNRS)

Workshop Organizers:

Sylvie Doutre, Valentin Goranko, Andreas Herzig, Frédéric Moisan, Laurent Perrussel


Wednesday, June 26, Salle des thèses de l'IRIT
08:45-09:00 Introduction to the workshop
09:00-09:30 Yongmei Liu (Sun Yat-sen University, Guangzhou) "Reasoning about State Constraints in the Situation Calculus" (joint work with Naiqi Li, Yi Fan)
09:30-10:00 Emiliano Lorini (CNRS, IRIT) "Reasoning about moral agents" (joint work with Teddy Bouziat, Andreas Herzig, Dominique Longin and Laurent Perrussel)
10:00-10:30 Break
10:30-11:00 Faustine Maffre (Université Paul Sabatier, IRIT) "Strategies and commitments" (joint work with Andreas Herzig and Emiliano Lorini)
11:00-11:30 Hans van Ditmarsch (CNRS, LORIA) "Awareness and knowledge"
11:30-12:00 Laurent Perrussel (Université Toulouse 1 Capitole, IRIT) "Relevant Minimal Change in Belief Update" (joint work with Jerusa Marchi, Jean-Marc Thévenin and Dongmo Zhang)
12h30-14h00 Lunch (L'Esplanade)
14h00-15h30 Discussion
Friday, 5 July, Salle 001 de l'IRIT
12:30-14:00 Lunch (L'Esplanade)
14:00-14:30 Florence Dupin de Saint-Cyr - Bannay (Université Paul Sabatier, IRIT) "Enforcement in Argumentation is a kind of Update" (joint work with Pierre Bisquert, Claudette Cayrol and Marie-Christine Lagasquie)
14:30-15:00 Jérôme Lang (CNRS, LAMSADE) "From knowledge-based programming to planning"
15:00-15:30 Frederic Moisan (Université Paul Sabatier, IRIT) "When the group matters: an analysis of team reasoning and social ties" (joint work with Emiliano Lorini)
15:30-16:00 Break
16:00-16:30 Pilar Pozos Parra (Universidad Juarez Autonoma de Tabasco), "On the Merit of Selecting Different Belief Merging Operators" (joint work with Kevin McAreavey and Weiru Liu)
16:30-17:00 Yongmei Liu (Sun Yat-sen University, Guangzhou) "Multi-agent Epistemic Explanatory Diagnosis via Reasoning about Actions" (joint work with Quan Yu, Ximing Wen)
17:00-17:30 François Schwarzentruber (Ecole Normale Supérieure Cachan, IRISA), "On the Complexity of Dynamic Epistemic Logic" (joint work with Guillaume Aucher)
17:30-18:00 Ezgi Iraz Su (Université Paul Sabatier, IRIT) "Combining equilibrium logic and dynamic logic" (joint work with Luis Fariñas del Cerro and Andreas Herzig)

Abstracts and slides of talks


There is no registration fee, but please send an email to Andreas Herzig (before June 25, 17:00) if you intend to participate.


The workshop will take place in the IRIT main building (IRIT1).

How to get to IRIT