DALT 2004: New York, NY, USA

João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum (Eds.): Declarative Agent Languages and Technologies II, Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3476 Springer 2005, ISBN 3-540-26172-9

Reasoning

Birna van Riemsdijk, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer:
Dynamics of Declarative Goals in Agent Programming. 1-18
Maria del Pilar Pozos Parra, Abhaya C. Nayak, Robert Demolombe:
Theories of Intentions in the Framework of Situation Calculus. 19-34
Peep Küngas, Mihhail Matskin:
Partial Deduction for Linear Logic-The Symbolic Negotiation Perspective. 35-52

Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni:
On Modelling Multi-agent Systems Declaratively. 53-68
Xiaocong Fan, John Yen, Michael S. Miller, Richard A. Volz:
The Semantics of MALLET-An Agent Teamwork Encoding Language. 69-91
Yu Pan, Phan Huy Tu, Enrico Pontelli, Tran Cao Son:
Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report. 92-111
Matteo Baldoni, Cristina Baroglio, Ivana Gungui, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Viviana Patti, Claudio Schifanella:
Reasoning About Agents' Interaction Protocols Inside DCaseLP. 112-131

Christopher D. Walton:
Model Checking Agent Dialogues. 132-147
L. Robert Pokorny, C. R. Ramakrishnan:
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming. 148-165
Wamberto Weber Vasconcelos:
Norm Verification and Analysis of Electronic Institutions. 166-182

David Robertson:
A Lightweight Coordination Calculus for Agent Systems. 183-197
Michael Winikoff, Wei Liu, James Harland:
Enhancing Commitment Machines. 198-220
Alexander Artikis, Lloyd Kamara, Jeremy Pitt, Marek J. Sergot:
A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks. 221-238

Vasu S. Alagar, Joey Paquet, Kaiyu Wan:
Intensional Programming for Agent Communication. 239-255
Eric Pacuit, Rohit Parikh:
The Logic of Communication Graphs. 256-269
Tibor Bosse, Catholijn M. Jonker, Jan Treur:
Representational Content and the Reciprocal Interplay of Agent and Environment. 270-288

Last update Thu May 24 04:15:54 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page