Nonmonotonic reasoning and uncertain reasoning

>> Amazon.co.jp

このページのQRコード

Nonmonotonic reasoning and uncertain reasoning

種類:

図書

責任表示:

edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, D. Nute

出版情報:

Oxford : Clarendon Press
Oxford ; New York : Oxford University Press, 1994

著者名:

シリーズ名:

Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 3 <BA20261791>

ISBN:

9780198537472 [0198537476]

注記:

Includes bibliographical references and index

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Artificial intelligence; Logic programming; Logic, Symbolic and mathematical
分類・件名:	LCC : QA76.63 DDC : 006.3 NDC9 : 007.1 NDC8 : 007.1 LCSH : Logic programming LCSH : Artificial intelligence LCSH : Logic, Symbolic and mathematical
TTLL:	eng
言語:	英語
形態:	xix, 529 p. : ill. ; 24 cm
書誌ID:	BA22029473

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Deduction methodologies Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	7 図書 Computational logic : essays in honor of Alan Robinson Robinson, J. A. (John Alan), Lassez, Jean-Louis, Plotkin, G. (Gordon), 1946- MIT Press
2 図書 Logical foundations Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	8 図書 Reasoning with incomplete information Etherington, David W. Pitman, M. Kaufmann Publishers
3 図書 Handbook of logic in artificial intelligence and logic programming Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	9 図書 Logical methods : in honor of Anil Nerode's sixtieth birthday Nerode, Anil, 1932-, Crossley, John N., 1937- Birkhäuser
4 図書 Epistemic and temporal reasoning Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	10 図書 Clausal form logic : an introduction to the logic of computer reasoning Richards, Tom Addison-Wesley Pub. Co.
5 図書 Logic programming Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press	11 図書 Temporal logic : First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings International Conference on Temporal Logic, Gabbay, Dov M., 1945-, Ohlbach, Hans Jürgen Springer-Verlag
6 図書 What is a logical system? Gabbay, Dov M., 1945- Clarendon Press, Oxford University Press	12 図書 Temporal logic : mathematical foundations and computational aspects Gabbay, Dov M., 1945-, Hodkinson, Ian, Reynolds, Mark (Mark A.), Finger, Marcelo Clarendon Press, Oxford University Press