Programming Multi-Agents Systems
9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers
Herausgegeben:Dennis, Louise; Boissier, Olivier; Bordini, Rafael H.
Programming Multi-Agents Systems
9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers
Herausgegeben:Dennis, Louise; Boissier, Olivier; Bordini, Rafael H.
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
Fast-track conference proceedingsState-of-the-art researchUp-to-date results
Andere Kunden interessierten sich auch für
- Bui The Duy / Tuong Vinh Ho / Quang Thuy Ha (Volume editor)Intelligent Agents and Multi-Agent Systems42,99 €
- Andrea Omicini / Paolo Petta / Robert Tolksdorf (eds.)Engineering Societies in the Agents World II42,99 €
- Rafael H. Bordini / Mehdi Dastani / Jürgen Dix / Amal El Fallah Seghrouchni (eds.)Programming Multi-Agent Systems42,99 €
- Mehdi Dastani / Amal El Fallah Seghrouchni / Alessandro Ricci / Michael Winikoff (eds.)Programming Multi-Agent Systems42,99 €
- Olivier Boissier / Julian Padget / Virginia Dignum / Gabriela Lindemann / Eric Matson / Sascha Ossowski / Jaime Sichman / Javier Vázquez-Salceda (eds.)Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems42,99 €
- Gilberto Cysneiros FilhoSoftware Traceability for Multi-Agent Systems Implemented Using BDI Architecture (vol. 2)49,99 €
- Gilberto Cysneiros FilhoSoftware Traceability for Multi-Agent Systems Implemented Using BDI Architecture (vol. 1)52,95 €
-
-
-
Fast-track conference proceedingsState-of-the-art researchUp-to-date results
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Produktdetails
- Produktdetails
- Lecture Notes in Computer Science 7217
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-642-31914-3
- 2012
- Seitenzahl: 232
- Erscheinungstermin: 18. Juli 2012
- Englisch
- Abmessung: 235mm x 155mm x 13mm
- Gewicht: 359g
- ISBN-13: 9783642319143
- ISBN-10: 3642319149
- Artikelnr.: 36021862
- Lecture Notes in Computer Science 7217
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-642-31914-3
- 2012
- Seitenzahl: 232
- Erscheinungstermin: 18. Juli 2012
- Englisch
- Abmessung: 235mm x 155mm x 13mm
- Gewicht: 359g
- ISBN-13: 9783642319143
- ISBN-10: 3642319149
- Artikelnr.: 36021862
ProMAS-2011.- Part I: Foundations of Agent Programming.- Languages.- Logical Foundations for a Rational BDI Agent Programming Language.- (Extended Version).- Relating Goal and Commitment Semantics.- Part II: Multi-Agent Oriented Programming.- Developing a Knowledge Management Multi-Agent System Using JaCaMo.- Notes on Pragmatic Agent-Programming with Jason.- Integrating Expectation Monitoring into BDI Agents.- Part III: Model Checking.- Abstraction for Model Checking Modular Interpreted Systems over ATL.- MAS:Qualitative and Quantitative Reasoning.- State Space Reduction for Model Checking Agent Programs.- Part IV:Multi-Agent Programming Contest.- The Multi-agent Programming Contest 2011: A Resume.- HactarV2:An Agent Team Strategy Based on Implicit Coordination.- Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach.- Bogtrotters in Space.- A Gaia-Driven Approach for Competitive Multi-Agent Systems.
ProMAS-2011.- Part I: Foundations of Agent Programming.- Languages.- Logical Foundations for a Rational BDI Agent Programming Language.- (Extended Version).- Relating Goal and Commitment Semantics.- Part II: Multi-Agent Oriented Programming.- Developing a Knowledge Management Multi-Agent System Using JaCaMo.- Notes on Pragmatic Agent-Programming with Jason.- Integrating Expectation Monitoring into BDI Agents.- Part III: Model Checking.- Abstraction for Model Checking Modular Interpreted Systems over ATL.- MAS:Qualitative and Quantitative Reasoning.- State Space Reduction for Model Checking Agent Programs.- Part IV:Multi-Agent Programming Contest.- The Multi-agent Programming Contest 2011: A Resume.- HactarV2:An Agent Team Strategy Based on Implicit Coordination.- Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach.- Bogtrotters in Space.- A Gaia-Driven Approach for Competitive Multi-Agent Systems.