default search action
DALT 2010: Toronto, Canada
- Andrea Omicini, Sebastian Sardiña, Wamberto Weber Vasconcelos:
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
Communication, Coordination and Negotiation
- 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
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 - Iain Wallace, Michael Rovatsos:
Executing Specifications of Social Reasoning Agents. 112-129
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.