Skip to main content
SpringerLink
Log in

Declarative Agent Languages and Technologies IV

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

  • Conference proceedings
  • © 2006

Overview

Editors:
  1. Matteo Baldoni

    1. Dipartimento di Informatica, Università di Torino,, Turin, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Ulle Endriss

    1. Artificial Intelligence Programme, University of Amsterdam,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: DALT 2006.

This is a preview of subscription content, log in via an institution to check access.

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talk

    1. Producing Compliant Interactions: Conformance, Coverage, and Interoperability

      • Amit K. Chopra, Munindar P. Singh
      Pages 1-15

  3. Invited Papers

    1. Towards Theory Translation

      • Dejing Dou, Drew McDermott
      Pages 16-28

    2. The Complexity of Model Checking Concurrent Programs Against CTLK Specifications

      • Alessio Lomuscio, Franco Raimondi
      Pages 29-42

    3. 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 Dynamic Logic Programming Based System for Agents with Declarative Goals

      • Vivek Nigam, João Leite
      Pages 174-190

    9. A Collaborative Framework to Realize Virtual Enterprises Using 3APL

      • Gobinath Narayanasamy, Joe Cecil, Tran Cao Son
      Pages 191-206

    10. A Modeling Framework for Generic Agent Interaction Protocols

      • José Ghislain Quenum, Samir Aknine, Jean-Pierre Briot, Shinichi Honiden
      Pages 207-224

    11. Plan Generation and Plan Execution in Agent Programming

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

    12. A Functional Program for Agents, Actions, and Deontic Specifications

      • Adam Zachary Wyner
      Pages 239-256

  5. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Declarative Agent Languages and Technologies IV

Keywords

Editors and Affiliations

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

    Matteo Baldoni

  • Artificial Intelligence Programme, University of Amsterdam,  

    Ulle Endriss

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation