Declarative Agent Languages and Technologies: First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited PapersAuthor: João Leite, Andrea Omicini, Leon Sterling, Paolo Torroni Published by Springer Berlin Heidelberg ISBN: 978-3-540-22124-1 DOI: 10.1007/b97923Table 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