Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

DALT 2004: New York, NY, USA

> Home > Conferences and Workshops > DALT

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/dalt/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/2004
João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum:
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

- view
  authority control:
- export record
  dblp key:
  - conf/dalt/RiemsdijkDDM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/RiemsdijkDDM04
Birna van Riemsdijk, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer:
Dynamics of Declarative Goals in Agent Programming. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/ParraND04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/ParraND04
Maria del Pilar Pozos Parra, Abhaya C. Nayak, Robert Demolombe:
Theories of Intentions in the Framework of Situation Calculus. 19-34
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/KungasM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/KungasM04
Peep Küngas, Mihhail Matskin:
Partial Deduction for Linear Logic-The Symbolic Negotiation Perspective. 35-52

Modelling and Engineering

- view
  authority control:
- export record
  dblp key:
  - conf/dalt/BraccialiMST04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/BraccialiMST04
Andrea Bracciali, Paolo Mancarella, Kostas Stathis, Francesca Toni:
On Modelling Multi-agent Systems Declaratively. 53-68
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/FanYMV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/FanYMV04
Xiaocong Fan, John Yen, Michael S. Miller, Richard A. Volz:
The Semantics of MALLET-An Agent Teamwork Encoding Language. 69-91
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/PanTPS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/PanTPS04
Yu Pan, Phan Huy Tu, Enrico Pontelli, Tran Cao Son:
Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report. 92-111
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/BaldoniBGMMMPS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/BaldoniBGMMMPS04
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

Verification

- view
  authority control:
- export record
  dblp key:
  - conf/dalt/Walton04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/Walton04
Christopher D. Walton:
Model Checking Agent Dialogues. 132-147
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/PokornyR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/PokornyR04
L. Robert Pokorny, C. R. Ramakrishnan:
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming. 148-165
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/Vasconcelos04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/Vasconcelos04
Wamberto Weber Vasconcelos:
Norm Verification and Analysis of Electronic Institutions. 166-182

Norms and Protocols

- view
  authority control:
- export record
  dblp key:
  - conf/dalt/Robertson04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/Robertson04
David Robertson:
A Lightweight Coordination Calculus for Agent Systems. 183-197
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/WinikoffLH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/WinikoffLH04
Michael Winikoff, Wei Liu, James Harland:
Enhancing Commitment Machines. 198-220
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/ArtikisKPS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/ArtikisKPS04
Alexander Artikis, Lloyd Daniel Kamara, Jeremy Pitt, Marek J. Sergot:
A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks. 221-238

Interaction and Communication

- view
  authority control:
- export record
  dblp key:
  - conf/dalt/AlagarPW04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/AlagarPW04
Vasu S. Alagar, Joey Paquet, Kaiyu Wan:
Intensional Programming for Agent Communication. 239-255
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/PacuitP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/PacuitP04
Eric Pacuit, Rohit Parikh:
The Logic of Communication Graphs. 256-269
- view
  authority control:
- export record
  dblp key:
  - conf/dalt/BosseJT04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/BosseJT04
Tibor Bosse, Catholijn M. Jonker, Jan Treur:
Representational Content and the Reciprocal Interplay of Agent and Environment. 270-288

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.