Declarative Agent Languages and Technologies IX
9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers
Published on 21. March 2012
XII, 153 pages
978-3-642-29113-5 (ISBN)
Description
This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies, DALT 2011, held in Taipei, Taiwan, in May 2011.
The volume contains 6 revised selected presented at DALT 2011, 7 best papers from the DALT series over the years, explaining how the research developed and how it influenced and impacted the community, the state-of-the-art and subsequent work, and two invited papers from the DALT Spring School, which took place in April 2011.
More details
Other editions
Additional editions
Chiaki Sakama | Sebastian Sardina | Wamberto Vasconcelos
Declarative Agent Languages and Technologies IX
9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers
Book
03/2012
1st Edition
Springer
€53.49
Shipment within 7-9 days
Content
- Title
- Preface
- Organization
- Table of Contents
- DALT 2011 Papers
- Control and Delegation
- References
- Plan Indexing for State-Based Plans
- Introduction
- Plans in BDI Languages
- Indexing
- Related Work
- Plan Indexing in Jason
- Term Indexing
- Data Structures
- Plan Keys
- Plan Index Trees
- Results
- Experiment 1: Junk Code
- Experiment 2: Generic Contract Net with Many Goals
- Discussion of the Results
- Further Work
- Conclusions
- References
- An Integrated Formal Framework for Reasoning about Goal Interactions
- Introduction
- Conceptual Agent Notation with Generic Goals
- Reasoning about Interactions
- Specifying Requirements
- Propagating Requirements
- Using Requirements to Deal with Interactions
- Conditions
- Responses
- Interaction-Aware Goals
- Motivating Scenarios Revisited
- Discussion
- References
- Probing Attacks on Multi-Agent Systems Using Electronic Institutions
- Introduction
- Lightweight Coordination Calculus (LCC)
- Probing Attack in Multi-Agent Systems
- Attack Detection
- Annotation
- Abstraction
- Updated LCC Rewrite Rules
- Information Leakage Analysis
- Example
- Discussion
- Conclusion
- References
- Detecting Conflicts in Commitments
- Introduction
- Background: Commitments
- Event Calculus
- Formalizing Commitments in Event Calculus
- Conflicting Commitments
- Conflicting Properties
- Conflict Relations between Commitments
- A Commitment Conflict Scenario
- Discussion
- References
- Formalizing Commitments Using Action Languages
- Introduction and Motivation
- The Language Lmt
- Adding Concurrency and Multi-agency to B: The Action Language Lm
- Considering Time: The Action Language Lmt
- Basic Commitments in Lmt
- Observations and Narratives
- Observation Language
- Narratives and Commitments
- Complex Commitments and Protocols
- Related Works
- Discussion and Conclusion
- References
- Best of DALT
- Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective
- Introduction: Original Aims of the Lightweight Coordination Calculus
- Relating LCC to Other Languages: Translators and Meta Interpreters
- Protocol Brittleness: Ontologies, Constraints and Adaptation
- Community Formation: Discovery, Group Formation and Trust
- Application Areas
- Work in Progress
- References
- The Evolution of Interoperability
- History
- Distributed Enactment
- Commitment-Level Interoperability
- Conclusions
- References
- 1000 Years of Coo-BDI
- Life after Coo-BDI
- The Lives of the Others
- The Future
- References
- A Distributed Architecture for Norm-Aware Agent Societies: A Retrospective
- Introduction
- Context and Motivation of Research
- Representation and Processing of Norms
- Computational Infrastructure
- Developments and Impact
- Conclusions
- References
- Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages
- Introduction
- Improvements to the Original Proposal
- Some Subsequent Related Research
- Future Developments
- References
- Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review
- References
- A Retrospective on the Reactive Event Calculus and Commitment Modeling Language
- A Short Introduction to REC and CML
- Recent Developments
- Related Work
- Conclusion
- References
- DALT Spring School 2011
- Web Service Composition via Organisation-Based (Re)Planning
- Introduction
- Related Work
- Example Scenario
- Components of the Scenario
- ALIVE Architecture
- ALIVE Models
- The Organisation Model
- The Coordination Model
- Deriving Models
- The Derived SCR Action Model
- Code Generation
- Organisation-Based Service Compositions
- Organisation-Based Planning for Web Service Composition
- Dynamic Web Service Compositions
- Evaluation
- Adequacy of Architecture
- Organisation-Based Planning vs. Exhaustive Planning
- Conclusions, Discussion and Future Work
- References
- Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification
- References
- Author Index
