Mendeley出力
＜図書＞
Handbook of knowledge representation
| 責任表示 | edited by Frank van Harmelen, Vladimir Lifschitz, Bruce Porter |
|---|---|
| シリーズ | Foundations of artificial intelligence / series editors, J. Hendler, H. Kitano, B. Nebel |
| データ種別 | 図書 |
| 出版情報 | Amsterdam : Elsevier , 2008 |
| 本文言語 | 英語 |
| 大きさ | xxviii, 1005 p. ; 25 cm |
| 概要 | Knowledge Representation, which lies at the core of Artificial Intelligence, is concerned with encoding knowledge on computers to enable systems to reason automatically. The Handbook of Knowledge Rep...esentation is an up-to-date review of twenty-five key topics in knowledge representation, written by the leaders of each field. This book is an essential resource for students, researchers and practitioners in all areas of Artificial Intelligence. * Make your computer smarter* Handle qualitative and uncertain information* Improve computational tractability to solve your problems easily 続きを見る |
| 目次 | Knowledge representation and classical logic / Vladimir Lifschitz, Leora Morgenstern, and David Plaisted Satisfiability solvers / Carla P. Gomes ... [et al.] Description logics / Franz Baader, Ian Horrocks, and Ulrike Sattler Constraint programming / Francesca Rossi, Peter van Beek, and Toby Walsh Conceptual graphs / John F. Sowa Nonmonotonic reasoning / Gerhard Brewka, Ilkka NiemelaÌ, and MirosÅaw TruszczynÌski Answer sets / Michael Gelfond Belief revision / Pavlos Peppas Qualitative modeling / Kenneth D. Forbus Model-based problem solving / Peter Struss Bayesian networks / Adnan Darwiche Temporal representation and reasoning / Michael Fisher Qualitative spatial representation and reasoning / Anthony G. Cohn and Jochen Renz Physical reasoning / Ernest Davis Reasoning about knowledge and belief / Yoram Moses Situation calculus / Fangzhen Lin Event calculus / Erik T. Mueller Temporal action logics / Patrick Doherty and Jonas KvarnstroÌm Nonmonotonic causal logic / Hudson Turner Knowledge representation and question answering / Marcello Balduccini, Chitta Baral, and Yuliya Lierler The semantic web : webizing knowledge representation / Jim Hendler and Frank van Harmelen Automated planning / Alessandro Cimatti, Marco Pistore, and Paolo Traverso Cognitive robotics / Hector Levesque and Gerhard Lakemeyer Multi-agent systems / Wiebe van der Hoek and Michael Wooldridge Knowledge engineering / Guus Schreiber.続きを見る |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図1F 開架 | 007.13/V 26 | 2008 |
|
031212009001125 |
|
書誌詳細
| 一般注記 | Includes bibliographical references and indexes |
|---|---|
| 著者標目 | Van Harmelen, Frank Lifschitz, Vladimir Porter, Bruce, 1956- |
| 件 名 | LCSH:Knowledge representation (Information theory) |
| 分 類 | LCC:QA DC22:006.332 |
| 書誌ID | 1001411080 |
| ISBN | 9780444522115 |
| NCID | BA84547488 |
| 巻冊次 | ISBN:9780444522115 ; XISBN:0444522115 |
| 登録日 | 2010.01.20 |
| 更新日 | 2010.01.20 |