Louise Dennis,
Olivier Boissier,
Rafael H. Bordini
Springer Berlin Heidelberg
2012e druk, 2012
9783642319143
Programming Multi-Agents Systems
9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers
Specificaties
Paperback, 217 blz.
|
Engels
Springer Berlin Heidelberg |
2012e druk, 2012
ISBN13: 9783642319143
Rubricering
Onderdeel van serie
Lecture Notes in Computer Science
Levertijd ongeveer 8 werkdagen
Samenvatting
Fast-track conference proceedings
State-of-the-art research
Up-to-date results
Specificaties
ISBN13:9783642319143
Taal:Engels
Bindwijze:paperback
Aantal pagina's:217
Uitgever:Springer Berlin Heidelberg
Druk:2012
Hoofdrubriek:Automatisering algemeen, Computer en informatica
Inhoudsopgave
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.