DALT 2003: Melbourne, Australia

João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni (Eds.): Declarative Agent Languages and Technologies, First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers. Lecture Notes in Computer Science 2990 Springer 2004, ISBN 3-540-22124-7 BibTeX

@proceedings{DBLP:conf/dalt/2003,
  editor    = {Jo{\~a}o Alexandre Leite and
               Andrea Omicini and
               Leon Sterling and
               Paolo Torroni},
  title     = {Declarative Agent Languages and Technologies, First International
               Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised
               Selected and Invited Papers},
  booktitle = {DALT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2990},
  year      = {2004},
  isbn      = {3-540-22124-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Andrea Omicini, Franco Zambonelli:
MAS as Complex Systems: A View on the Role of Declarative Approaches. 1-16
Electronic Edition (link) BibTeX
Marco Castaldi, Stefania Costantini, Stefano Gentile, Arianna Tocchio:
A Logic-Based Infrastructure for Reconfiguring Applications. 17-36
Electronic Edition (link) BibTeX
Federico Bergenti, Giovanni Rimassa, Mirko Viroli:
Operational Semantics for Agents by Iterated Refinement. 37-53
Electronic Edition (link) BibTeX
Keith L. Clark, Francis G. McCabe:
Go! for Multi-Threaded Deliberative Agents. 54-75
Electronic Edition (link) BibTeX
Tran Cao Son, Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta:
An Agent-based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology. 76-96
Electronic Edition (link) BibTeX
Wiebe van der Hoek, Alessio Lomuscio:
A logic for ignorance. 97-108
Electronic Edition (link) BibTeX
Davide Ancona, Viviana Mascardi:
Coo-BDI: Extending the BDI Model with Cooperativity. 109-134
Electronic Edition (link) BibTeX
Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini:
Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication. 135-154
Electronic Edition (link) BibTeX
Bình Vu Trân, James Harland, Margaret Hamilton:
A Combined Logic of Expectation & Observation. A generalisation of BDI logics. 155-172
Electronic Edition (link) BibTeX
Lee Flax:
A Proposal for Reasoning in Agents: Restricted Entailment. 173-190
Electronic Edition (link) BibTeX
Marco Colombetti, Nicoletta Fornara, Mario Verdicchio:
A Social Approach to Communication in Multiagent Systems. 191-220
Electronic Edition (link) BibTeX
Wamberto Weber Vasconcelos:
Logic-Based Electronic Institutions. 221-242
Electronic Edition (link) BibTeX
Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni:
Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study. 243-262
Electronic Edition (link) BibTeX
Peep Küngas, Mihhail Matskin:
Linear Logic, Partial Deduction and Cooperative Problem Solving. 263-279
Electronic Edition (link) BibTeX