Coverart for item
The Resource Programming multi-agent systems : 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised selected papers, Louise Dennis, Olivier Boissier, Rafael H. Bordini (eds.)

Programming multi-agent systems : 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised selected papers, Louise Dennis, Olivier Boissier, Rafael H. Bordini (eds.)

Label
Programming multi-agent systems : 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised selected papers
Title
Programming multi-agent systems
Title remainder
9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised selected papers
Statement of responsibility
Louise Dennis, Olivier Boissier, Rafael H. Bordini (eds.)
Title variation
ProMAS 2011
Creator
Contributor
Subject
Genre
Language
eng
Summary
This book constitutes the proceedings of the 9th International Workshop on Programming Multi-Agent Systems held in Taipei, Taiwan, in May 2011 in conjunction with AAMAS 2011, the 10th International Joint Conference on Autonomous Agents and Multiagent Systems. The 12 revised full papers presented together with 1 invited paper were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on foundations of agent programming languages; multi-agent oriented programming; model checking; and papers of the participants of the multi-agent programming contest
Member of
Cataloging source
GW5XE
Dewey number
006.3
Illustrations
illustrations
Index
index present
LC call number
QA76.76.I58
LC item number
P76 2011
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2011
http://bibfra.me/vocab/lite/meetingName
ProMAS (Conference)
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Dennis, Louise
  • Boissier, Olivier
  • Bordini, Rafael H
Series statement
  • Lecture notes in computer science,
  • Lecture notes in artificial intelligence
  • LNCS sublibrary. SL 7, Artificial intelligence
Series volume
7217.
http://library.link/vocab/subjectName
  • Multiagent systems
  • Informatique
  • Multiagent systems
Label
Programming multi-agent systems : 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised selected papers, Louise Dennis, Olivier Boissier, Rafael H. Bordini (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
  • Integrating Expectation Monitoring into BDI Agents
  • Surangika Ranathunga, Stephen Cranefield and Martin Purvis
  • Abstraction for Model Checking Modular Interpreted Systems over ATL
  • Michael Köster and Peter Lohmann
  • MAS: Qualitative and Quantitative Reasoning
  • Ammar Mohammed and Ulrich Furbach
  • State Space Reduction for Model Checking Agent Programs
  • Sung-Shik T.Q. Jongmans, Koen V. Hindriks and M. Birna van Riemsdijk
  • The Multi-agent Programming Contest 2011: A Résumé
  • Tristan Behrens, Michael Köster, Federico Schlesinger, Jürgen Dix and Jomi F. Hübner
  • Logical Foundations for a Rational BDI Agent Programming Language (Extended Version)
  • HactarV2: An Agent Team Strategy Based on Implicit Coordination
  • Marc Dekker, Pieter Hameete, Michiel Hegemans, Sebastiaan Leysen and Joris van den Oever, et al.
  • Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach
  • Mikko Berggren Ettienne, Steen Vester and Jørgen Villadsen
  • Bogtrotters in Space
  • Dominic Carr, Sean Russell, Balazs Pete, G.M.P. O'Hare and Rem W. Collier
  • A Gaia-Driven Approach for Competitive Multi-Agent Systems
  • Sahar Mirzayi, Vahid Nateghi and Fatemeh Eskandari
  • Shakil M. Khan and Yves Lespérance
  • Relating Goal and Commitment Semantics
  • Pankaj R. Telang, Munindar P. Singh and Neil Yorke-Smith
  • Developing a Knowledge Management Multi-Agent System Using JaCaMo
  • Carlos M. Toledo, Rafael H. Bordini, Omar Chiotti and María R. Galli
  • Notes on Pragmatic Agent-Programming with Jason
  • Radek Píbil, Peter Novák, Cyril Brom and Jakub Gemrot
Control code
801069438
Dimensions
unknown
Extent
1 online resource (xii, 216 pages)
File format
unknown
Form of item
online
Isbn
9783642319150
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-31915-0
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)801069438
Label
Programming multi-agent systems : 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised selected papers, Louise Dennis, Olivier Boissier, Rafael H. Bordini (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
  • Integrating Expectation Monitoring into BDI Agents
  • Surangika Ranathunga, Stephen Cranefield and Martin Purvis
  • Abstraction for Model Checking Modular Interpreted Systems over ATL
  • Michael Köster and Peter Lohmann
  • MAS: Qualitative and Quantitative Reasoning
  • Ammar Mohammed and Ulrich Furbach
  • State Space Reduction for Model Checking Agent Programs
  • Sung-Shik T.Q. Jongmans, Koen V. Hindriks and M. Birna van Riemsdijk
  • The Multi-agent Programming Contest 2011: A Résumé
  • Tristan Behrens, Michael Köster, Federico Schlesinger, Jürgen Dix and Jomi F. Hübner
  • Logical Foundations for a Rational BDI Agent Programming Language (Extended Version)
  • HactarV2: An Agent Team Strategy Based on Implicit Coordination
  • Marc Dekker, Pieter Hameete, Michiel Hegemans, Sebastiaan Leysen and Joris van den Oever, et al.
  • Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach
  • Mikko Berggren Ettienne, Steen Vester and Jørgen Villadsen
  • Bogtrotters in Space
  • Dominic Carr, Sean Russell, Balazs Pete, G.M.P. O'Hare and Rem W. Collier
  • A Gaia-Driven Approach for Competitive Multi-Agent Systems
  • Sahar Mirzayi, Vahid Nateghi and Fatemeh Eskandari
  • Shakil M. Khan and Yves Lespérance
  • Relating Goal and Commitment Semantics
  • Pankaj R. Telang, Munindar P. Singh and Neil Yorke-Smith
  • Developing a Knowledge Management Multi-Agent System Using JaCaMo
  • Carlos M. Toledo, Rafael H. Bordini, Omar Chiotti and María R. Galli
  • Notes on Pragmatic Agent-Programming with Jason
  • Radek Píbil, Peter Novák, Cyril Brom and Jakub Gemrot
Control code
801069438
Dimensions
unknown
Extent
1 online resource (xii, 216 pages)
File format
unknown
Form of item
online
Isbn
9783642319150
Level of compression
unknown
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-642-31915-0
Other physical details
illustrations.
Quality assurance targets
not applicable
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)801069438

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