Programme LCMAS 2005
3rd international workshop on Logic and Communication in Multi-Agent Systems
An IJCAI 2005 workshop


Monday August 1st, 2005, William Robertson Building, room G03
University of Edinburgh, 50 George Square, Edinburgh EH8 9JX



 9.25 -  9.30  Opening


 9.30 - 10.30  Julian Bradfield (invited talk)
               Independence-Friendly Modal and Temporal Logics  


10.30 - 11.00  coffee break


11.00 - 11.30  Laura Giordano, Alberto Martelli and Camilla Schwind  
               Specialization of Interaction Protocols in a Temporal Action Logic  

11.30 - 12.00  Andreas Herzig, Nicolas Troquard and Jan Broersen  
               From CL to STIT  

12.00 - 12.30  Alexandru Baltag and Mehrnoosh Sadrzadeh  
               The Algebra of Multi-Agent Dynamic Belief Revision  


12.30 - 14.00  lunch


14.00 - 15.00  Carsten Lutz (invited talk)
               The Complexity of Public Announcement Logic  
               

15.00 - 15.30  coffee break


15.30 - 16.00  Gemma Bel Enguix and M. Dolores Jimenez Lopez  
               Computing Dialogues with Membranes  

16.00 - 16.30  Matthias Nickles and Gerhard Weiss  
               A Framework for the Representation of Opinions and Ostensible Intentions  

16.30 - 17.00  Benoit Gaudou, Andreas Herzig and Dominique Longin  
               A logical framework for grounding-based dialogue analysis  


17.00 - 17.05  Closing



Workshop organizers:
Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink and Mike Wooldridge