International workshop "Believing, planning, acting, revising"

Toulouse, June 26 and July 5, 2013

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

Schedule

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)

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).