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

Invited Talk

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/ChopraS06
- ask others
Amit K. Chopra, Munindar P. Singh: Producing Compliant Interactions: Conformance, Coverage, and Interoperability. 1-15

Invited Papers

- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/DouM06
- ask others
Dejing Dou, Drew V. McDermott: Towards Theory Translation. 16-28
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/LomuscioR06
- ask others
Alessio Lomuscio, Franco Raimondi: The Complexity of Model Checking Concurrent Programs Against CTLK Specifications. 29-42
- view
  - electronic edition @ doi.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/dalt/OsmanRW06
- ask others
Nardine Osman, David Robertson, Christopher Walton: Dynamic Model Checking for Multi-agent Systems. 43-60

Contributed Papers

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