Matteo Baldoni & Jamal Bentahar 
Declarative Agent Languages and Technologies VII [PDF ebook] 
7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers

Invited Talk.- Playing with Rules.- Invited Papers.- The Refinement of Choreographed Multi-Agent Systems.- Goal Generation from Possibilistic Beliefs Based on Trust and Distrust.- Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach.- Contributed Papers.- Unifying the Intentional and Institutional Semantics of Speech Acts.- Tableaux for Acceptance Logic.- Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology.- Prioritized Goals and Subgoals in a Logical Account of Goal Change – A Preliminary Report.- Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks.- Computing Utility from Weighted Description Logic Preference Formulas.- Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games.- Correctness Properties for Multiagent Systems.- Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming.- Social Commitments in Time: Satisfied or Compensated.- Verifying Dribble Agents.