Mendeley出力
＜図書＞
Formal models of agents : ESPRIT Project Model Age final Workshop : selected papers
| 責任表示 | John-Jules Ch. Meyer, Pierre-Yves Schobbens (eds.) |
|---|---|
| シリーズ | Lecture notes in computer science ; 1760 . Lecture notes in artificial intelligence |
| データ種別 | 図書 |
| 出版情報 | Berlin ; Tokyo : Springer , c1999 |
| 本文言語 | 英語 |
| 大きさ | viii, 251 p. : ill. ; 24 cm |
| 概要 | This volume provides a selection of strictly refereed papers first presented during a workshop held within the context of the ESPRIT ModelAge Project in Certosa di Pertignano, Italy, in 1997.The 15 r...vised full papers presented together with an introductory survey by the volume editors were carefully reviewed for inclusion in the book. The book is devoted to the interdisciplinary study of formal models of agency and intelligent agents from the points of view of artificial intelligence, software engineering, applied logic, databases, and organization theory. Among the topics addressed are various types of agents and multi-agent systems, cooperation, communication, specification, verification, deontic logic, diagnosis, and decision making. 続きを見る |
| 電子版へのリンク | https://hdl.handle.net/2324/7007020 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図 自動書庫 | 408/L 49 | 1999 |
|
061232004021855 |
|
書誌詳細
| 一般注記 | Includes bibliographical references |
|---|---|
| 著者標目 | Meyer, John-Jules Schobbens, Pierre-Yves |
| 件 名 | LCSH:Intelligent agants (Computer software) LCSH:Formal methods (Computer science) |
| 分 類 | LCC:QA76.76.I58 |
| 書誌ID | 1001000256 |
| ISBN | 3540670270 |
| NCID | BA45001338 |
| 巻冊次 | ISBN:3540670270 |
| 登録日 | 2009.09.16 |
| 更新日 | 2017.02.18 |