Skip to main content
SpringerLink
Log in

Declarative Agent Languages and Technologies VI

6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers

  • Conference proceedings
  • © 2009

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. Tran Cao Son

    1. Department of Computer Science, New Mexico State University, NM 88003, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. M. Birna Riemsdijk

    1. Delft University of Technology, Delft, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Michael Winikoff

    1. Higher Education Development Centre, University of Otago, Dunedin, New Zealand

    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 5397)

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

Included in the following conference series:

Conference proceedings info: DALT 2008.

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 (15 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Papers

    1. Specifying and Enforcing Norms in Artificial Institutions

      • Nicoletta Fornara, Marco Colombetti
      Pages 1-17

    2. Social Norm Emergence in Virtual Agent Societies

      • Bastin Tony Roy Savarimuthu, Maryam Purvis, Martin Purvis, Stephen Cranefield
      Pages 18-28

    3. A Distributed Normative Infrastructure for Situated Multi-agent Organisations

      • Fabio Y. Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa
      Pages 29-46

  3. Contributed Papers

    1. A Complete STIT Logic for Knowledge and Action, and Some of Its Applications

      • Jan Broersen
      Pages 47-59

    2. Combining Multiple Knowledge Representation Technologies into Agent Programming Languages

      • Mehdi M. Dastani, Koen V. Hindriks, Peter Novák, Nick A. M. Tinnemeier
      Pages 60-74

    3. Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions

      • Dimitar P. Guelev, Catalin Dima
      Pages 75-90

    4. JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies

      • Thomas Klapiscak, Rafael H. Bordini
      Pages 91-110

    5. Leveraging New Plans in AgentSpeak(PL)

      • Felipe Meneguzzi, Michael Luck
      Pages 111-127

    6. Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading

      • Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
      Pages 128-142

    7. Inductive Negotiation in Answer Set Programming

      • Chiaki Sakama
      Pages 143-160

    8. Mental State Abduction of BDI-Based Agents

      • Michal P. Sindlar, Mehdi M. Dastani, Frank Dignum, John-Jules Ch. Meyer
      Pages 161-178

    9. Iterated Belief Revision in the Face of Uncertain Communication

      • Yoshitaka Suzuki, Satoshi Tojo, Stijn De Saeger
      Pages 179-196

    10. Abstracting and Verifying Strategy-Proofness for Auction Mechanisms

      • Emmanuel M. Tadjouddine, Frank Guerin, Wamberto Vasconcelos
      Pages 197-214

    11. Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming

      • Koen V. Hindriks, M. Birna van Riemsdijk
      Pages 215-232

    12. Strategic Agent Communication: An Argumentation-Driven Approach

      • Jamal Bentahar, Mohamed Mbarki, John-Jules Ch. Meyer, Bernard Moulin
      Pages 233-250

  4. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Declarative Agent Languages and Technologies VI

Keywords

About this book

This volume constitutes the revised selected papers of the 6th International Workshop, DALT 2008, held as satellite workshop of AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, in Estoril, Portugal, on May 12, 2008. The 12 papers, presented together with 3 invited papers, were carefully reviewed and selected from 14 submissions. The workshop provided a discussion forum to both (i) support the transfer of declarative paradigms and techniques to the broader community of agent researchers and practitioners, and (ii) to bring the issue of designing complex agent systems to the attention of researchers working on declarative languages and technologies.

Editors and Affiliations

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

    Matteo Baldoni

  • Department of Computer Science, New Mexico State University, NM 88003, USA

    Tran Cao Son

  • Delft University of Technology, Delft, The Netherlands

    M. Birna Riemsdijk

  • Higher Education Development Centre, University of Otago, Dunedin, New Zealand

    Michael Winikoff

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation