DALT 2007: Honolulu, HI, USA

Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff (Eds.): Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers. Lecture Notes in Computer Science 4897 Springer 2008, ISBN 978-3-540-77563-8 BibTeX

Invited Talk

Leon Sterling:
Agent-Oriented Modelling: Declarative or Procedural? 1-17
Electronic Edition (link) BibTeX

Shamimabi Paurobally, Michael Wooldridge:
Joint Conversation Specification and Compliance. 18-35
Electronic Edition (link) BibTeX
Amit K. Chopra, Munindar P. Singh:
Interoperation in Protocol Enactment. 36-49
Electronic Edition (link) BibTeX

Tibor Bosse, Alexei Sharpanskykh, Jan Treur:
Integrating Agent Models and Dynamical Systems. 50-68
Electronic Edition (link) BibTeX

Felipe Rech Meneguzzi, Michael Luck:
Composing High-Level Plans for Declarative Agent Programming. 69-85
Electronic Edition (link) BibTeX
Koen V. Hindriks, M. Birna van Riemsdijk:
Satisfying Maintenance Goals. 86-103
Electronic Edition (link) BibTeX
Patricia H. Shaw, Rafael H. Bordini:
Towards Alternative Approaches to Reasoning About Goals. 104-121
Electronic Edition (link) BibTeX

John W. Lloyd, Kee Siong Ng:
Reflections on Agent Beliefs. 122-139
Electronic Edition (link) BibTeX
Duc Quang Pham, James Harland, Michael Winikoff:
Modeling Agents' Choices in Temporal Linear Logic. 140-157
Electronic Edition (link) BibTeX
Martin J. Kollingbaum, Wamberto Weber Vasconcelos, Andrés García-Camino, Timothy J. Norman:
Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints. 158-174
Electronic Edition (link) BibTeX
Tibor Bosse, Alexei Sharpanskykh, Jan Treur:
On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition. 175-192
Electronic Edition (link) BibTeX

Ioan Alfred Letia, Adrian Groza:
Structured Argumentation in a Mediator for Online Dispute Resolution. 193-210
Electronic Edition (link) BibTeX
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation. 211-226
Electronic Edition (link) BibTeX
Frank Guerin, Wamberto Weber Vasconcelos:
Component-Based Standardisation of Agent Communication. 227-244
Electronic Edition (link) BibTeX