DALT 2006: Hakodate, Japan

Invited Talk

• Amit K. Chopra, Munindar P. Singh:
  Producing Compliant Interactions: Conformance, Coverage, and Interoperability. 1-15
  

Invited Papers

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

Contributed Papers

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