Declarative agent languages and technologies [electronic resource] : first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003 , revised selected and invited papers

Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers
Author: João Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-22124-1
DOI: 10.1007/b97923

Table of Contents:

• MAS as Complex Systems: A View on the Role of Declarative Approaches
• A Logic-Based Infrastructure for Reconfiguring Applications
• Operational Semantics for Agents by Iterated Refinement
• Go! for Multi-threaded Deliberative Agents
• An Agent-Based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology
• A Logic for Ignorance
• Coo-BDI: Extending the BDI Model with Cooperativity
• Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication
• A Combined Logic of Expectation and Observation
• A Proposal for Reasoning in Agents: Restricted Entailment
• A Social Approach to Communication in Multiagent Systems
• Logic-Based Electronic Institutions
• Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study
• Linear Logic, Partial Deduction and Cooperative Problem Solving

Electronic reproduction
Text (HTML/PDF), image (GIF/PDF) and search engine
Mode of access: Intranet
Caption title ; description based on screen of 2005-03-30
Includes bibliographical references and index