Skip to main content
  • Conference proceedings
  • © 2006

Declarative Agent Languages and Technologies IV

4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4327)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): DALT: International Workshop on Declarative Agent Languages and Technologies

Conference proceedings info: DALT 2006.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (16 papers)

  1. Front Matter

  2. Invited Talk

  3. Invited Papers

    1. Towards Theory Translation

      • Dejing Dou, Drew McDermott
      Pages 16-28
    2. Dynamic Model Checking for Multi-agent Systems

      • Nardine Osman, David Robertson, Christopher Walton
      Pages 43-60
  4. Contributed Papers

    1. Automating Belief Revision for AgentSpeak

      • Natasha Alechina, Rafael H. Bordini, Jomi F. Hübner, Mark Jago, Brian Logan
      Pages 61-77
    2. A Foundational Ontology of Organizations and Roles

      • Guido Boella, Leendert van der Torre
      Pages 78-88
    3. When Agents Communicate Hypotheses in Critical Situations

      • Gauvain Bourgne, Nicolas Maudet, Suzanne Pinson
      Pages 89-104
    4. A Fibred Tableau Calculus for Modal Logics of Agents

      • Vineet Padmanabhan, Guido Governatori
      Pages 105-122
    5. Programming Declarative Goals Using Plan Patterns

      • Jomi F. Hübner, Rafael H. Bordini, Michael Wooldridge
      Pages 123-140
    6. JADL – An Agent Description Language for Smart Agents

      • Thomas Konnerth, Benjamin Hirsch, Sahin Albayrak
      Pages 141-155
    7. Agreeing on Defeasible Commitments

      • Ioan Alfred Letia, Adrian Groza
      Pages 156-173
    8. A Collaborative Framework to Realize Virtual Enterprises Using 3APL

      • Gobinath Narayanasamy, Joe Cecil, Tran Cao Son
      Pages 191-206
    9. A Modeling Framework for Generic Agent Interaction Protocols

      • José Ghislain Quenum, Samir Aknine, Jean-Pierre Briot, Shinichi Honiden
      Pages 207-224
    10. Plan Generation and Plan Execution in Agent Programming

      • M. Birna van Riemsdijk, Mehdi Dastani
      Pages 225-238
  5. Back Matter

Other Volumes

  1. Declarative Agent Languages and Technologies IV

Keywords

  • Action Description Language
  • agent communication
  • agent cooperation
  • agent coordination
  • agent reasoning
  • agent systems design
  • agent verification
  • agent-oriented software engineering
  • autonomous agents
  • complexity
  • formal methods
  • logic
  • modeling
  • programming
  • semantic web

Editors and Affiliations

  • Dipartimento di Informatica, Università di Torino,, Turin, Italy

    Matteo Baldoni

  • Artificial Intelligence Programme, University of Amsterdam,  

    Ulle Endriss

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions