Declarative Agent Languages and Technologies

First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers

300 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Künstliche Intelligenz (KI)
• ISBN: 9783540221241
• Sprache: Englisch
• Erscheinungsdatum: 02.06.2004
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Andrea Omicini, Joao Leite, Paolo Torroni, Leon Sterling