この商品を友人に教える:
Logical Tools for Handling Change in Agent-Based Systems - Cognitive Technologies Dov M. Gabbay 2010 edition
Logical Tools for Handling Change in Agent-Based Systems - Cognitive Technologies
Dov M. Gabbay
These tools include preferential reasoning, theory revision, and reasoning in inheritance systems, and the authors use these tools to examine nonmonotonic logic, deontic logic, counterfactuals, modal logic, intuitionistic logic, and temporal logic.
316 pages, 26 black & white illustrations, biography
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 2009年12月15日 |
| ISBN13 | 9783642044069 |
| 出版社 | Springer-Verlag Berlin and Heidelberg Gm |
| ページ数 | 305 |
| 寸法 | 166 × 243 × 21 mm · 641 g |
| 言語 | ドイツ語 |
Dov M. Gabbayの他の作品を見る
すべて表示同じ出版社からのその他の記事
Dov M. Gabbayのすべてを見る ( 例: Hardcover Book , Paperback Book および Book )