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. Springer 2011 Lecture Notes in Computer Science 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
Communication, Coordination and Negotiation
- Matteo Baldoni, Cristina Baroglio, Elisa Marengo: Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS. 60-77
Social Aspects and Control Systems
- Louise A. Dennis, Michael Fisher, Nicholas Lincoln, Alexei Lisitsa, Sandor M. Veres: Declarative Abstractions for Agent Based Hybrid Control Systems. 96-111
Invited Papers
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team