iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://doi.org/10.1007/978-3-642-11355-0
Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers | SpringerLink
Skip to main content
Springer Nature Link
Log in

Declarative Agent Languages and Technologies VII

7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers

  • Conference proceedings
  • © 2010

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. Jamal Bentahar

    1. Concordia Institute for Information Systems Engineering (CIISE), Concordia University, Montreal, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. M. Birna Riemsdijk

    1. Faculty of EEMCS, Delft University of Technology, Delft, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. John Lloyd

    1. Computer Sciences Laboratory, College of Engineering and Computer Science, Australian National University, Canberra, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • up-to-date results
  • fast track conference proceedings
  • state-of-the art report

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

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

Included in the following conference series:

Conference proceedings info: DALT 2009.

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

Access this book

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

About this book

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Declarative Agent Languages and Technologies, DALT 2009, held in Budapest, Hungary, on May 11, 2009, as a satellite workshop of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2009.

The 11 revised full papers presented together with 1 invited lecture and 3 invited papers from the AAMAS main conference - substantially enhanced after the workshop - were carefully selected from 17 initial submissions. The papers combine declarative and formal approaches with engineering and technology aspects of agents and multiagent systems and focus especially on areas such as the semantic web, service-oriented computing, web services, security, and electronic contracting.

Similar content being viewed by others

Keywords

Table of contents (15 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talk

    1. Playing with Rules

      • João Leite
      Pages 1-19

  3. Invited Papers

    1. The Refinement of Choreographed Multi-Agent Systems

      • Lăcrămioara Aştefănoaei, Frank S. de Boer, Mehdi Dastani
      Pages 20-34

    2. Goal Generation from Possibilistic Beliefs Based on Trust and Distrust

      • Célia da Costa Pereira, Andrea G. B. Tettamanzi
      Pages 35-50

    3. Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach

      • Henrique Lopes Cardoso, Eugénio Oliveira
      Pages 51-67

  4. Contributed Papers

    1. Unifying the Intentional and Institutional Semantics of Speech Acts

      • Carole Adam, Andreas Herzig, Dominique Longin, Vincent Louis
      Pages 68-84

    2. Tableaux for Acceptance Logic

      • Mathijs de Boer, Andreas Herzig, Tiago de Lima, Emiliano Lorini
      Pages 85-100

    3. Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology

      • Nicoletta Fornara, Marco Colombetti
      Pages 101-118

    4. Prioritized Goals and Subgoals in a Logical Account of Goal Change – A Preliminary Report

      • Shakil M. Khan, Yves Lespérance
      Pages 119-136

    5. Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks

      • Babak Khosravifar, Jamal Bentahar, Maziar Gomrokchi
      Pages 137-157

    6. Computing Utility from Weighted Description Logic Preference Formulas

      • Azzurra Ragone, Tommaso Di Noia, Francesco M. Donini, Eugenio Di Sciascio, Michael P. Wellman
      Pages 158-173

    7. Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games

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

    8. Correctness Properties for Multiagent Systems

      • Munindar P. Singh, Amit K. Chopra
      Pages 192-207

    9. Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming

      • Tran Cao Son, Chiaki Sakama
      Pages 208-227

    10. Social Commitments in Time: Satisfied or Compensated

      • Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali
      Pages 228-243

    11. Verifying Dribble Agents

      • Doan Thu Trang, Brian Logan, Natasha Alechina
      Pages 244-261

  5. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Declarative Agent Languages and Technologies VII

Editors and Affiliations

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

    Matteo Baldoni

  • Concordia Institute for Information Systems Engineering (CIISE), Concordia University, Montreal, Canada

    Jamal Bentahar

  • Faculty of EEMCS, Delft University of Technology, Delft, The Netherlands

    M. Birna Riemsdijk

  • Computer Sciences Laboratory, College of Engineering and Computer Science, Australian National University, Canberra, Australia

    John Lloyd

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation