Readings in nonmonotonic reasoning

フォーマット:
図書
責任表示:
edited by Matthew L. Ginsberg
言語:
英語
出版情報:
Los Altos, Calif. : M. Kaufmann Publishers, c1987
形態:
viii, 481 p. ; 28 cm
著者名:
Ginsberg, Matthew L., 1955- <DA01948386>  
書誌ID:
BA01438485
ISBN:
9780934613453 [0934613451]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

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 図書 Logical foundations

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press, Oxford University Press
2 図書 Nonmonotonic reasoning : logical foundations of commonsense

Brewka, Gerhard

Cambridge University Press
8 図書 Deduction methodologies

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press, Oxford University Press
3 図書 Probabilistic reasoning in intelligent systems : networks of plausible inference

Pearl, Judea

Morgan Kaufmann Pub.
9 図書 Logic programming

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press
4 図書 Reason maintenance systems and their applications

Smith, Barbara, 1948-, Kelleher, Gerald

E. Horwood, Halsted Press
10 図書 Intelligence, information processing, and analogical reasoning : the componential analysis of human abilities

Sternberg, Robert J.

Lawrence Erlbaum Associates, distributed by the Halsted Press Division of Wiley
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 図書 Epistemic and temporal reasoning

Gabbay, Dov M., 1945-, Hogger, Christopher John, Robinson, J. A. (John Alan)

Clarendon Press, Oxford University Press
6 図書 Symbolic logic and mechanical theorem proving

Chang, Chin-Liang, 1937-, Lee, Richard Char-Tung, 1939-

Academic Press
12 図書 Automated reasoning with Otter

Kalman, John Arnold

Rinton Press