Cargando…
Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers /
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....
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2005.
|
| Edición: | 1st ed. 2005. |
| Colección: | Lecture Notes in Artificial Intelligence,
3476 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.