Conferences in DBLP

Declarative Agent Languages and Technologies (dalt)
2004 (conf/dalt/2004)

1. Birna van Riemsdijk, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer
   Dynamics of Declarative Goals in Agent Programming. [Citation Graph (0, 0)][DBLP]
   DALT, 2004, pp:1-18 [Conf]
   
2. Maria del Pilar Pozos Parra, Abhaya C. Nayak, Robert Demolombe
   Theories of Intentions in the Framework of Situation Calculus. [Citation Graph (0, 0)][DBLP]
   DALT, 2004, pp:19-34 [Conf]
   
3. Peep Küngas, Mihhail Matskin
   Partial Deduction for Linear Logic-The Symbolic Negotiation Perspective. [Citation Graph (0, 0)][DBLP]
   DALT, 2004, pp:35-52 [Conf]
   
4. Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni
   On Modelling Multi-agent Systems Declaratively. [Citation Graph (0, 0)][DBLP]
   DALT, 2004, pp:53-68 [Conf]
   
5. Xiaocong Fan, John Yen, Michael S. Miller, Richard A. Volz
   The Semantics of MALLET-An Agent Teamwork Encoding Language. [Citation Graph (0, 0)][DBLP]
   DALT, 2004, pp:69-91 [Conf]
   
6. Yu Pan, Phan Huy Tu, Enrico Pontelli, Tran Cao Son
   Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report. [Citation Graph (0, 0)][DBLP]
   DALT, 2004, pp:92-111 [Conf]
   
7. Matteo Baldoni, Cristina Baroglio, I. Gungui, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Viviana Patti, Claudio Schifanella
   Reasoning About Agents' Interaction Protocols Inside DCaseLP. [Citation Graph (0, 0)][DBLP]
   DALT, 2004, pp:112-131 [Conf]
   
8. Christopher D. Walton
   Model Checking Agent Dialogues. [Citation Graph (0, 0)][DBLP]
   DALT, 2004, pp:132-147 [Conf]
   
9. L. Robert Pokorny, C. R. Ramakrishnan
   Modeling and Verification of Distributed Autonomous Agents Using Logic Programming. [Citation Graph (0, 0)][DBLP]
   DALT, 2004, pp:148-165 [Conf]
   
10. Wamberto Weber Vasconcelos
    Norm Verification and Analysis of Electronic Institutions. [Citation Graph (0, 0)][DBLP]
    DALT, 2004, pp:166-182 [Conf]
    
11. David Robertson
    A Lightweight Coordination Calculus for Agent Systems. [Citation Graph (0, 0)][DBLP]
    DALT, 2004, pp:183-197 [Conf]
    
12. Michael Winikoff, Wei Liu, James Harland
    Enhancing Commitment Machines. [Citation Graph (0, 0)][DBLP]
    DALT, 2004, pp:198-220 [Conf]
    
13. Alexander Artikis, Lloyd Kamara, Jeremy Pitt, Marek J. Sergot
    A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    DALT, 2004, pp:221-238 [Conf]
    
14. Vasu S. Alagar, Joey Paquet, Kaiyu Wan
    Intensional Programming for Agent Communication. [Citation Graph (0, 0)][DBLP]
    DALT, 2004, pp:239-255 [Conf]
    
15. Eric Pacuit, Rohit Parikh
    The Logic of Communication Graphs. [Citation Graph (0, 0)][DBLP]
    DALT, 2004, pp:256-269 [Conf]
    
16. Tibor Bosse, Catholijn M. Jonker, Jan Treur
    Representational Content and the Reciprocal Interplay of Agent and Environment. [Citation Graph (0, 0)][DBLP]
    DALT, 2004, pp:270-288 [Conf]