Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Leite, João (Επιμελητής έκδοσης), Omicini, Andrea (Επιμελητής έκδοσης), Torroni, Paolo (Επιμελητής έκδοσης), Yolum, pInar (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Σειρά: Lecture Notes in Computer Science, 3476
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Artificial intelligence.; Computer Science.; Software Engineering/Programming and Operating Systems.; Artificial Intelligence (incl. Robotics).; Computer Communication Networks.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.

The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New York City, and was a great success. We saw a signi?cant increase in both the number of submitted papers and workshop attendees from the ?rst meeting, held July 2003 in Melbourne....

Πίνακας περιεχομένων:

• 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.