
Declarative Agent Languages and Technologies IX
Description
Alles über E-Books | Antworten auf Fragen rund um E-Books, Kopierschutz und Dateiformate finden Sie in unserem Info- & Hilfebereich.
More details
Other editions
Additional editions

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
System requirements
File format: PDF
Copy protection: Watermark-DRM (Digital Rights Management)
System requirements:
- Computer (Windows; MacOS X; Linux): Use the free software Adobe Reader, Adobe Digital Editions, or any other PDF viewer of your choice (see eBook Help).
- Tablet/Smartphone (Android; iOS): Install the free app Adobe Digital Editions or another reading app for eBooks, e.g., PocketBook (see eBook Help).
- E-reader: Bookeen, Kobo, Pocketbook, Sony, Tolino and many more (only limited: Kindle).
The file format PDF always displays a book page identically on any hardware. This makes PDF suitable for complex layouts such as those used in textbooks and reference books (images, tables, columns, footnotes). Unfortunately, on the small screens of e-readers or smartphones, PDFs are rather annoying, requiring too much scrolling.
This eBook uses Watermark-DRM, a „soft” copy protection. This means that there are no technical restrictions to prevent illegal distribution. However, there is a personalised watermark embedded in the eBook that can be used to identify the purchaser of the eBook in the event of misuse and to provide evidence for legal purposes.
For more information, see our eBook Help page.