Declarative Agent Languages and Technologies II: Second International Workshop, Dalt 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers (Paperback, 2005)

Reasoning.- Dynamics of Declarative Goals in Agent Programming.- Theories of Intentions in the Framework of Situation Calculus.- Partial Deduction for Linear Logic-The Symbolic Negotiation Perspective.- Modelling and Engineering.- On Modelling Multi-agent Systems Declaratively.- The Semantics of MALLET-An Agent Teamwork Encoding Language.- Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report.- Reasoning About Agents' Interaction Protocols Inside DCaseLP.- Verification.- Model Checking Agent Dialogues.- Modeling and Verification of Distributed Autonomous Agents Using Logic Programming.- Norm Verification and Analysis of Electronic Institutions.- Norms and Protocols.- A Lightweight Coordination Calculus for Agent Systems.- Enhancing Commitment Machines.- A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks.- Interaction and Communication.- Intensional Programming for Agent Communication.- The Logic of Communication Graphs.- Representational Content and the Reciprocal Interplay of Agent and Environment.