Coverart for item
The Resource Declarative agent languages and technologies IX : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised selected and invited papers, Chiaki Sakama [and others] (eds.)

Declarative agent languages and technologies IX : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised selected and invited papers, Chiaki Sakama [and others] (eds.)

Label
Declarative agent languages and technologies IX : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised selected and invited papers
Title
Declarative agent languages and technologies IX
Title remainder
9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised selected and invited papers
Statement of responsibility
Chiaki Sakama [and others] (eds.)
Title variation
  • Declarative agent languages and technologies 9
  • DALT 2011
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies, DALT 2011, held in Taipei, Taiwan, in May 2011. The volume contains 6 revised selected presented at DALT 2011, 7 best papers from the DALT series over the years, explaining how the research developed and how it influenced and impacted the community, the state-of-the-art and subsequent work, and two invited papers from the DALT Spring School, which took place in April 2011
Member of
Cataloging source
GW5XE
Dewey number
006.3
Index
index present
LC call number
QA76.76.I58
LC item number
I58 2011
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2011
http://bibfra.me/vocab/lite/meetingName
International Workshop on Declarative Agent Languages and Technologies
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
Sakama, Chiaki
Series statement
  • Lecture notes in artificial intelligence
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 7, Artificial intelligence
Series volume
7169
http://library.link/vocab/subjectName
  • Intelligent agents (Computer software)
  • Declarative programming languages
  • Informatique
  • Declarative programming languages
  • Intelligent agents (Computer software)
Label
Declarative agent languages and technologies IX : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised selected and invited papers, Chiaki Sakama [and others] (eds.)
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Detecting Conflicts in Commitments
  • Akın Günay and Pınar Yolum
  • Formalizing Commitments Using Action Languages
  • Tran Cao Son, Enrico Pontelli and Chiaki Sakama
  • Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective
  • David Robertson
  • The Evolution of Interoperability
  • Amit K. Chopra and Munindar P. Singh
  • 1000 Years of Coo-BDI
  • Viviana Mascardi and Davide Ancona
  • Control and Delegation
  • A Distributed Architecture for Norm-Aware Agent Societies: A Retrospective
  • Andrés García-Camino, Juan-Antonio Rodríguez-Aguilar, Carles Sierra and Wamberto W. Vasconcelos
  • Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages
  • Álvaro F. Moreira, Renata Vieira and Rafael H. Bordini
  • Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review
  • Nicoletta Fornara and Marco Colombetti
  • A Retrospective on the Reactive Event Calculus and Commitment Modeling Language
  • Paolo Torroni, Federico Chesani, Paola Mello and Marco Montali
  • Web Service Composition via Organisation-Based (Re)Planning
  • David Corsar, Alison Chorley and Wamberto W. Vasconcelos
  • Wiebe van der Hoek
  • Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification
  • Extended Abstract for a Course at DALT Spring School 2011
  • Rafael H. Bordini
  • Plan Indexing for State-Based Plans
  • Louise A. Dennis
  • An Integrated Formal Framework for Reasoning about Goal Interactions
  • Michael Winikoff
  • Probing Attacks on Multi-Agent Systems Using Electronic Institutions
  • Shahriar Bijani, David Robertson and David Aspinall
Control code
782910890
Dimensions
unknown
Extent
1 online resource (xii, 151 pages).
File format
unknown
Form of item
online
Isbn
9783642291135
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-29113-5
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)782910890
Label
Declarative agent languages and technologies IX : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised selected and invited papers, Chiaki Sakama [and others] (eds.)
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and author index
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Detecting Conflicts in Commitments
  • Akın Günay and Pınar Yolum
  • Formalizing Commitments Using Action Languages
  • Tran Cao Son, Enrico Pontelli and Chiaki Sakama
  • Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective
  • David Robertson
  • The Evolution of Interoperability
  • Amit K. Chopra and Munindar P. Singh
  • 1000 Years of Coo-BDI
  • Viviana Mascardi and Davide Ancona
  • Control and Delegation
  • A Distributed Architecture for Norm-Aware Agent Societies: A Retrospective
  • Andrés García-Camino, Juan-Antonio Rodríguez-Aguilar, Carles Sierra and Wamberto W. Vasconcelos
  • Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages
  • Álvaro F. Moreira, Renata Vieira and Rafael H. Bordini
  • Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review
  • Nicoletta Fornara and Marco Colombetti
  • A Retrospective on the Reactive Event Calculus and Commitment Modeling Language
  • Paolo Torroni, Federico Chesani, Paola Mello and Marco Montali
  • Web Service Composition via Organisation-Based (Re)Planning
  • David Corsar, Alison Chorley and Wamberto W. Vasconcelos
  • Wiebe van der Hoek
  • Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification
  • Extended Abstract for a Course at DALT Spring School 2011
  • Rafael H. Bordini
  • Plan Indexing for State-Based Plans
  • Louise A. Dennis
  • An Integrated Formal Framework for Reasoning about Goal Interactions
  • Michael Winikoff
  • Probing Attacks on Multi-Agent Systems Using Electronic Institutions
  • Shahriar Bijani, David Robertson and David Aspinall
Control code
782910890
Dimensions
unknown
Extent
1 online resource (xii, 151 pages).
File format
unknown
Form of item
online
Isbn
9783642291135
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-29113-5
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)782910890

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...