default search action

combined dblp search
author search
venue search
publication search

ask others

DALT 2006: Hakodate, Japan

> Home > Conferences and Workshops > DALT

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/dalt/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/2006
Matteo Baldoni, Ulle Endriss:
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
  authority control:
- export record
  dblp key:
  - conf/dalt/ChopraS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dalt/ChopraS06
Amit K. Chopra, Munindar P. Singh:
Producing Compliant Interactions: Conformance, Coverage, and Interoperability. 1-15

Invited Papers

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

Contributed Papers

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

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.