DALT 2010: Toronto, Canada

Andrea Omicini, Sebastian Sardiña, Wamberto Weber Vasconcelos (Eds.): Declarative Agent Languages and Technologies VIII - 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers. Lecture Notes in Computer Science 6619 Springer 2011, ISBN 978-3-642-20714-3

BDI Rational Agents

John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith:
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems. 1-21
Aniruddha Dasgupta, Aditya K. Ghose:
BDI Agents with Objectives and Preferences. 22-39

Gauvain Bourgne, Katsumi Inoue:
Query-Driven Coordination of Multiple Answer Sets. 40-59
Matteo Baldoni, Cristina Baroglio, Elisa Marengo:
Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS. 60-77
Elisa Burato, Matteo Cristani, Luca Viganò:
A Deduction System for Meaning Negotiation. 78-95

Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres:
Declarative Abstractions for Agent Based Hybrid Control Systems. 96-111
Iain Wallace, Michael Rovatsos:
Executing Specifications of Social Reasoning Agents. 112-129

Yanjing Wang, Floor Sietsma, Jan van Eijck:
Logic of Information Flow on Communication Channels. 130-147
Jiefei Ma, Krysia Broda, Alessandra Russo, Emil Lupu:
Distributed Abductive Reasoning with Constraints. 148-166
Nir Oren, Madalina Croitoru, Simon Miles, Michael Luck:
Understanding Permissions through Graphical Norms. 167-184
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli:
Symbolic Model Checking Commitment Protocols Using Reduction. 185-203

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