Programming Multi-Agents Systems : 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .7217) / Herausgegeben von Dennis, Louise/ Boissier, Olivier/ Bordini, Rafael H.

Programming Multi-Agents Systems : 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .7217) （2012. XII, 217 S.）

個数：

Programming Multi-Agents Systems : 9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011. Revised Selected Papers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence .7217) （2012. XII, 217 S.）

Herausgegeben von Dennis, Louise/ Boissier, Olivier/ Bordini, Rafael H.

ドイツ（DK）から取り寄せる

ウェブストア価格 ¥11,823（本体¥10,749）
SPRINGER, BERLIN（2012発売）
外貨定価 EUR 49.22
ポイント 107pt

在庫がございません。海外の書籍取次会社を通じて出版社等からお取り寄せいたします。
通常6～9週間ほどで発送の見込みですが、商品によってはさらに時間がかかることもございます。
【重要ご説明事項】
1. 納期遅延や、ご入手不能となる場合がございます。
2. 複数冊ご注文の場合は、ご注文数量が揃ってからまとめて発送いたします。
3. 美品のご指定は承りかねます。

●3Dセキュア導入とクレジットカードによるお支払いについて

アメリカ（US）から取り寄せる

ウェブストア価格 ¥14,800（本体¥13,455）
SPRINGER, BERLIN（2012発売）
外貨定価 US$ 72.00
ポイント 134pt

提携先の海外書籍取次会社に在庫がございます。通常3週間で発送いたします。
【重要ご説明事項】
1. 納期遅延や、ご入手不能となる場合が若干ございます。
2. 複数冊ご注文の場合は、ご注文数量が揃ってからまとめて発送いたします。
3. 美品のご指定は承りかねます。

●3Dセキュア導入とクレジットカードによるお支払いについて

【入荷遅延について】
世界情勢の影響により、海外からお取り寄せとなる洋書・洋古書の入荷が、表示している標準的な納期よりも遅延する場合がございます。
おそれいりますが、あらかじめご了承くださいますようお願い申し上げます。

◆画像の表紙や帯等は実物とは異なる場合があります。

◆ウェブストアでの洋書販売価格は、弊社店舗等での販売価格とは異なります。
また、洋書販売価格は、ご注文確定時点での日本円価格となります。
ご注文確定後に、同じ洋書の販売価格が変動しても、それは反映されません。

製本 Paperback:紙装版/ペーパーバック版
商品コード 9783642319143

Full Description

Fast-track conference proceedings
State-of-the-art research
Up-to-date results

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.