The SCEAS System
Navigation Menu

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]
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002