About DALT
Call for Papers
Important Dates
Accepted Papers

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