Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California

QRコード(所蔵情報)

Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California

フォーマット:

図書

責任表示:

edited by Joseph Y. Halpern ; cosponsored by IBM, American Association of Artificial Intelligence, and the Office of Naval Research, in cooperation with Association for Computing Machinery

言語:

英語

出版情報:

Los Altos, Calif. : M. Kaufmann Publishers, c1986

形態:

407 p. ; 28 cm

著者名:

Conference on Theoretical Aspects of Reasoning about Knowledge <DA00641311>

Halpern, Joseph Y., 1953- <DA00641038>

International Business Machines Corporation <DA00641093>

American Association for Artificial Intelligence <DA00641140>

United States. Office of Naval Research <DA0064121X>

Association for Computing Machinery <DA00190868>

続きを見る

書誌ID:

BA00306864

ISBN:

9780934613040 [0934613044]

子書誌情報

所蔵情報

詳細

主題:	Artificial intelligence--Congresses; Knowledge, Theory of--Congresses; Logic, Symbolic and mathematical--Congresses; Reasoning--Congresses
分類・件名:	LCC : Q334 DDC : 006.3 LCSH : Artificial intelligence -- Congresses LCSH : Knowledge, Theory of -- Congresses LCSH : Logic, Symbolic and mathematical -- Congresses LCSH : Reasoning -- Congresses
LCCN:	86002755
注記:	Includes bibliographies and index

内容目次情報

ブックレビュー

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Modeling decisions for artificial intelligence : 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007 : proceedings MDAI, Torra, Vicenç, 成川, 康男, 吉田, 祐治 Springer	7 図書 Artificial intelligence in operational research Doukidis, Georgios I., 1958-, Paul, Ray J Macmillan
2 図書 Modeling decisions for artificial intelligence : 5th International Conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008 : proceedings MDAI, Torra, Vicenç, 成川, 康男 Springer	8 図書 Computer oriented learning processes : [proceedings of the NATO Advanced Study Institute on Computer Oriented Learning Processes] Nato Advanced Study Institute on Computer Oriented Learning Processes, Simon, Jean Claude, 1923- Noordhoff
3 図書 Formal concept analysis : 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 : proceedings International Conference on Formal Concept Analysis, Ferré, Sébastien, Rudolph, Sebastian Springer	9 図書 Modeling decisions for artificial intelligence : 10th international conference, MDAI 2013, Barcelona, Spain, November 20-22, 2013, proceedings MDAI, Torra, Vicenç Springer
4 雑誌 Communications of the Association for Computing Machinery Association for Computing Machinery Association for Computing Machinery	10 図書 Modeling decisions for artificial intelligence : 13th international conference, MDAI 2016, Sant Julià de Lòria, Andorra, September 19-21, 2016, proceedings MDAI, Torra, Vicenç, Narukawa, Yasuo, Navarro-Arribas, Guillermo, Yañez, Cristina Springer
5 雑誌 Journal of the Association for Computing Machinery Association for Computing Machinery Association for Computing Machinery	11 図書 Selected topics in information processing, IFIP-INFOPOL-76 : proceedings of the IFIP-INFOPOL International Conference on Information Processing, Warsaw, Poland, … IFIP-INFOPOL International Conference on Information Processing, Madey, Jan, International Federation for Information … North-Holland Pub. Co
6 図書 Machine learning : an artificial intelligence approach Amarel, Saul, Michalski, Ryszard Stanisław, 1937-, Carbonell, Jaime Guillermo, 1953-, Mitchell, Tom Michael, 1951-, … Morgan Kaufmann	12 図書 Artificial intelligence Hunt, Earl B. Academic Press