DALT 2006: Hakodate, Japan

Matteo Baldoni, Ulle Endriss (Eds.): Declarative Agent Languages and Technologies IV, 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers. Lecture Notes in Computer Science 4327 Springer 2006, ISBN 3-540-68959-1 BibTeX

Invited Talk

Amit K. Chopra, Munindar P. Singh:
Producing Compliant Interactions: Conformance, Coverage, and Interoperability. 1-15
Electronic Edition (link) BibTeX

Invited Papers

Dejing Dou, Drew V. McDermott:
Towards Theory Translation. 16-28
Electronic Edition (link) BibTeX
Alessio Lomuscio, Franco Raimondi:
The Complexity of Model Checking Concurrent Programs Against CTLK Specifications. 29-42
Electronic Edition (link) BibTeX
Nardine Osman, David Robertson, Christopher Walton:
Dynamic Model Checking for Multi-agent Systems. 43-60
Electronic Edition (link) BibTeX

Contributed Papers

Natasha Alechina, Rafael H. Bordini, Jomi Fred Hübner, Mark Jago, Brian Logan:
Automating Belief Revision for AgentSpeak. 61-77
Electronic Edition (link) BibTeX
Guido Boella, Leendert W. N. van der Torre:
A Foundational Ontology of Organizations and Roles. 78-88
Electronic Edition (link) BibTeX
Gauvain Bourgne, Nicolas Maudet, Suzanne Pinson:
When Agents Communicate Hypotheses in Critical Situations. 89-104
Electronic Edition (link) BibTeX
Vineet Padmanabhan, Guido Governatori:
A Fibred Tableau Calculus for Modal Logics of Agents. 105-122
Electronic Edition (link) BibTeX
Jomi Fred Hübner, Rafael H. Bordini, Michael Wooldridge:
Programming Declarative Goals Using Plan Patterns. 123-140
Electronic Edition (link) BibTeX
Thomas Konnerth, Benjamin Hirsch, Sahin Albayrak:
JADL - An Agent Description Language for Smart Agents. 141-155
Electronic Edition (link) BibTeX
Ioan Alfred Letia, Adrian Groza:
Agreeing on Defeasible Commitments. 156-173
Electronic Edition (link) BibTeX
Vivek Nigam, João Leite:
A Dynamic Logic Programming Based System for Agents with Declarative Goals. 174-190
Electronic Edition (link) BibTeX
Gobinath Narayanasamy, Joe Cecil, Tran Cao Son:
A Collaborative Framework to Realize Virtual Enterprises Using 3APL. 191-206
Electronic Edition (link) BibTeX
José Ghislain Quenum, Samir Aknine, Jean-Pierre Briot, Shinichi Honiden:
A Modeling Framework for Generic Agent Interaction Protocols. 207-224
Electronic Edition (link) BibTeX
M. Birna van Riemsdijk, Mehdi Dastani:
Plan Generation and Plan Execution in Agent Programming. 225-238
Electronic Edition (link) BibTeX
Adam Zachary Wyner:
A Functional Program for Agents, Actions, and Deontic Specifications. 239-256
Electronic Edition (link) BibTeX