Declarative Agent Languages and Technologies (eBook, PDF)

First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers
Redaktion: Leite, Joao; Torroni, Paolo; Sterling, Leon; Omicini, Andrea

• Format: PDF

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 272
• Erscheinungstermin: 22. Juli 2004
• Englisch
• ISBN-13: 9783540259329
• Artikelnr.: 53141628

Autorenporträt

Joao Leite, Universidade Nova de Lisboa, Caparica, Portugal / Andrea Omicini, Università di Bologna, Cesena, Italy / Leon Sterling, University of Melbourne, VIC, Australia / Paolo Torroni, Università di Bologna, Bologna, Italy

Inhaltsangabe

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.