Epistemic and temporal reasoning

>> Google Books

Epistemic and temporal reasoning

フォーマット:

図書

責任表示:

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

言語:

英語

出版情報:

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

形態:

xvi, 611 p. : ill. ; 24 cm

著者名:

シリーズ名:

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

書誌ID:

BA24909944

ISBN:

9780198537915 [0198537913]

子書誌情報

所蔵情報

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

詳細

主題:	Artificial intelligence; Logic programming; logic, Symbolic and mathematical
分類・件名:	LCC : QA76.63 DDC : 006.3/3 NDC9 : 007.1 LCSH : Logic programming LCSH : Artificial intelligence LCSH : logic, Symbolic and mathematical
LCCN:	92023358
注記:	Includes bibliographical references and index
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Nonmonotonic reasoning and uncertain reasoning 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 図書 Logic programming Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press	8 図書 What is a logical system? Gabbay, Dov M., 1945- Clarendon Press, Oxford University Press
3 図書 Deduction methodologies Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	9 図書 Investigations in modal and tense logics with applications to problems in philosophy and linguistics Gabbay, Dov M., 1945- D. Reidel Pub. Co.
4 図書 Logical foundations Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan) Clarendon Press, Oxford University Press	10 図書 Temporal logic : mathematical foundations and computational aspects Gabbay, Dov M., 1945-, Hodkinson, Ian, Reynolds, Mark (Mark A.), Finger, Marcelo Clarendon Press, Oxford University Press
5 図書 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	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 図書 Fril -- fuzzy and evidential reasoning in artificial intelligence Baldwin, J. F. (James Frederick), 1938-, Martin, T. P, Pilsworth, B. W Research Studies Press	12 図書 Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings International Conference on Formal and Applied Practical Reasoning, Gabbay, Dov M., 1945-, Ohlbach, Hans Jürgen Springer