Programme

Short presentation = 12+3 minutes, Full presentation = 20+5 minutes.

19.30-9.40: Welcome

19.40-11.00: Programming 1 (Chair: Matteo Baldoni)

JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies (Full presentation) Thomas Klapiscak and Rafael H. Bordini Leveraging new plans in AgentSpeak(PL) (Full presentation) Felipe Meneguzzi and Michael Luck Formalising Proactive Maintenance Goals (Short presentation) Simon Duff and James Harland Using Temporal Logic to integrate Goals and Qualitative Preferences into Agent Programming (Short presentation) Koen V. Hindriks and M. Birna van Riemsdijk

11.00-11.30: Coffee Break

11.30-12.10: Auctions and Argumentation (Chair: Michael Winikoff)

Abstracting and Verifying Strategy-proofness for Auction Mechanisms (Full presentation) Emmanuel M. Tadjouddine, Frank Guerin, and Wamberto Vasconcelos A Framework for Agent Communication based on Goals and Argumentation (Short presentation) Mohamed Mbarki, Jamal Bentahar, John-Jules Meyer, and Bernard Moulin

12.10-13.00: Invited Talk (Chair: Michael Winikoff)

Multi-Agent Dialogs over Action Peter McBurney

13.00-14.30: Lunch Break

14.30-16.00: Programming 2 (Chair: M. Birna van Riemsdijk)

Combining Multiple Knowledge Representation Technologies into Agent Programming Languages (Full presentation) Mehdi Dastani, Koen V. Hindriks, Peter Novak, and Nick Tinnemeier Mental State Abduction of BDI-Based Agents (Full presentation) Michal P. Sindlar, Mehdi M. Dastani, Frank Dignum, and John-Jules Ch. Meyer Inductive Negotiation in Answer Set Programming (Full presentation) Chiaki Sakama

16.00-16.30: Coffee Break

16.30-18.30: Logic and Reasoning (Chair: John-Jules Meyer)

Iterated Belief Revision In the face of Uncertain Communication (Full presentation) Yoshitaka Suzuki, Satoshi Tojo, and Stijn De Saeger A complete STIT logic for knowledge and action, and some of its applications (Full presentation) Jan Broersen Model-checking strategic ability and knowledge of the past of communicating coalitions (Full presentation) Dimitar P. Guelev and Catalin Dima Increasing bid expressiveness for effective and balanced e-barter trading (Full presentation) Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, and Francesco M. Donini Agent Communicability in Belief Update Logic (Short presentation) Mikito Kobayashi and Satoshi Tojo

18.30-18.40: Closing Remarks