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

Invited Talk

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

Tibor Bosse, Alexei Sharpanskykh, Jan Treur:
Integrating Agent Models and Dynamical Systems. 50-68

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

John W. Lloyd, Kee Siong Ng:
Reflections on Agent Beliefs. 122-139
Duc Quang Pham, James Harland, Michael Winikoff:
Modeling Agents' Choices in Temporal Linear Logic. 140-157
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
Tibor Bosse, Alexei Sharpanskykh, Jan Treur:
On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition. 175-192

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