DALT 2009: Budapest, Hungary

Matteo Baldoni, Jamal Bentahar, M. Birna van Riemsdijk, John Lloyd (Eds.): Declarative Agent Languages and Technologies VII, 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers. Lecture Notes in Computer Science 5948 Springer 2010, ISBN 978-3-642-11354-3

Invited Talk

Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani:
The Refinement of Choreographed Multi-Agent Systems. 20-34
Célia da Costa Pereira, Andrea Tettamanzi:
Goal Generation from Possibilistic Beliefs Based on Trust and Distrust. 35-50
Henrique Lopes Cardoso, Eugénio C. Oliveira:
Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach. 51-67

Carole Adam, Andreas Herzig, Dominique Longin, Vincent Louis:
Unifying the Intentional and Institutional Semantics of Speech Acts. 68-84
Mathijs de Boer, Andreas Herzig, Tiago De Lima, Emiliano Lorini:
Tableaux for Acceptance Logic. 85-100
Nicoletta Fornara, Marco Colombetti:
Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology. 101-118
Shakil M. Khan, Yves Lespérance:
Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report. 119-136
Babak Khosravifar, Jamal Bentahar, Maziar Gomrokchi:
Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks. 137-157
Azzurra Ragone, Tommaso Di Noia, Francesco M. Donini, Eugenio Di Sciascio, Michael P. Wellman:
Computing Utility from Weighted Description Logic Preference Formulas. 158-173
Michal P. Sindlar, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer:
Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games. 174-191
Munindar P. Singh, Amit K. Chopra:
Correctness Properties for Multiagent Systems. 192-207
Tran Cao Son, Chiaki Sakama:
Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming. 208-227
Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali:
Social Commitments in Time: Satisfied or Compensated. 228-243
Doan Thu Trang, Brian Logan, Natasha Alechina:
Verifying Dribble Agents. 244-261

Last update Thu May 24 04:15:54 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page