Accepted Papers

The Programme Committee has selected 10 papers for presentation and 4 papers for short presentation at the workshop:

• A complete STIT logic for knowledge and action, and some of its applications
  Jan Broersen
• Combining Multiple Knowledge Representation Technologies into Agent Programming Languages
  Mehdi Dastani, Koen V. Hindriks, Peter Novak, and Nick Tinnemeier
• Model-checking strategic ability and knowledge of the past of communicating coalitions
  Dimitar P. Guelev and Catalin Dima
• JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies
  Thomas Klapiscak and Rafael H. Bordini
• Leveraging new plans in AgentSpeak(PL)
  Felipe Meneguzzi and Michael Luck
• Increasing bid expressiveness for effective and balanced e-barter trading
  Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, and Francesco M. Donini
• Inductive Negotiation in Answer Set Programming
  Chiaki Sakama
• Mental State Abduction of BDI-Based Agents
  Michal P. Sindlar, Mehdi M. Dastani, Frank Dignum, and John-Jules Ch. Meyer
• Iterated Belief Revision In the face of Uncertain Communication
  Yoshitaka Suzuki, Satoshi Tojo, and Stijn De Saeger
• Abstracting and Verifying Strategy-proofness for Auction Mechanisms
  Emmanuel M. Tadjouddine, Frank Guerin, and Wamberto Vasconcelos

Short presentations

• Formalising Proactive Maintenance Goals
  Simon Duff and James Harland
• Using Temporal Logic to integrate Goals and Qualitative Preferences into Agent Programming
  Koen V. Hindriks and M. Birna van Riemsdijk
• A Framework for Agent Communication based on Goals and Argumentation
  Mohamed Mbarki, Jamal Bentahar, John-Jules Meyer, and Bernard Moulin
• Agent Communicability in Belief Update Logic
  Mikito Kobayashi and Satoshi Tojo