学内で所蔵している図書や雑誌(電子ブック、電子ジャーナル等含む)を検索します。
全国の大学図書館等が所蔵する図書や雑誌を検索できます。
日本の学術論文情報を検索できます。
国立国会図書館オンライン、国立国会図書館デジタルコレクション、青空文庫を検索します。
メッセージID:0209 検索結果の書名をクリックするとさらに詳しい情報が見られる詳細画面に移ります。予約やILLは詳細画面で出来ます。
検索キーワード:(標準分類: 006.3/3)
該当件数:89件
Expert systems 85 : proceedings of the Fifth Technical Conference of the British Computer Society Specialist Group on Expert Systems, University of Warwick, 17-19 December 1985 / Martin Merry [programme chairman]
Cambridge : Cambridge University Press , 1985. - (The British Computer Society Workshop series)
書誌ID=2000016427 NCID=BA00069612
Ontological engineering : with examples from the areas of knowledge management, e-commerce and the semantic Web / Asunción Gómez-Pérez, Mariano Fernández-López and Oscar Corcho
London : Springer , c2004. - (Advanced information and knowledge processing)
書誌ID=2001188360 NCID=BA65357011
Epistemic logic for AI and computer science / J.-J. Ch. Meyer, W. van der Hoek
: pbk. - Cambridge ; New York : Cambridge University Press , c1995, 2004. - (Cambridge tracts in theoretical computer science ; 41)
書誌ID=2001665346 NCID=BA67888868
Probabilistic networks and expert systems / Robert G. Cowell ... [et al.]
New York : Springer , c1999. - (Statistics for engineering and information science)
書誌ID=2000819469 NCID=BA42796238
Fuzzy sets in approximate reasoning and information systems / edited by James C. Bezdek, Didier Dubois and Henri Prade
Boston : Kluwer Academic , c1999. - (The handbooks of fuzzy sets series ; FSHS 5)
書誌ID=2000788904 NCID=BA4302910X
Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings / Harald Ganzinger (ed.)
Berlin ; New York : Springer , c1999. - (Lecture notes in computer science ; 1632 . Lecture notes in artificial intelligence)
書誌ID=2000798436 NCID=BA42176007
Dynamic worlds : from the frame problems to knowledge management / edited by Remo Pareschi and Bertram Fronhöfer
Dortrecht ; Boston : Kluwer Academic , c1999. - (Applied logic series ; v. 12)
書誌ID=2001472397 NCID=BA41354289
Creating personalities for synthetic actors : towards autonomous personality agents / Robert Trappl, Paolo Petta (eds.)
Berlin ; New York : Springer-Verlag , c1997. - (Lecture notes in computer science ; 1195 . Lecture notes in artificial intelligence)
書誌ID=2000711431 NCID=BA30259661
Solving the frame problem : a mathematical investigation of the common sense law of inertia / Murray Shanahan
Cambridge, Mass. : MIT Press , c1997. - (The MIT Press series in artificial intelligence)
書誌ID=2000696181 NCID=BA31549215
Conceptual structures : knowledge representation as interlingua : 4th International Conference on Conceptual Structures, ICCS '96, Sydney, Australia, August 19-22, 1996 : proceedings / Peter W. Eklund, Gerard Ellis, Graham Mann, (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1115 . Lecture notes in artificial intelligence)
書誌ID=2000710991 NCID=BA28155765
Automated deduction -- CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings / M.A. McRobbie, J.K. Slaney, (eds.)
Berlin ; New York : Springer , c1996. - (Lecture notes in computer science ; 1104 . Lecture notes in artificial intelligence)
書誌ID=2000711002 NCID=BA28007134
Reasoning with logic programming / José Júlio Alferes, Luís Moniz Pereira
Berlin ; Tokyo : Springer , c1996. - (Lecture notes in computer science ; 1111 . Lecture notes in artificial intelligence)
書誌ID=2000711043 NCID=BA28155390
Partiality, modality, and nonmonotonicity / [edited by] Patrick Doherty
:hc,:pbk. - Stanford, Calif. : CSLI Publications. - [Dordrecht?] : FoLLI, the European Association for Logic, Language and Information , c1996. - (Studies in logic, language and information)
書誌ID=2000683142 NCID=BA28376017
The logic of partial information / Areski Nait Abdallah
: Berlin,: New York. - Berlin ; Tokyo : Springer-Verlag , c1995. - (Monographs in theoretical computer science : an EATCS series)
書誌ID=2000596008 NCID=BA25559189
Epistemic logic for AI and computer science / J.-J. Ch. Meyer and W. van der Hoek
hardback. - Cambridge ; New York : Cambridge University Press , c1995. - (Cambridge tracts in theoretical computer science ; 41)
書誌ID=2000610359 NCID=BA26281951
Diagrammatic reasoning : cognitive and computational perspectives / B. Chandrasekaran, Janice Glasgow, N. Hari Narayanan, editors
: pbk. - Menlo Park, Calif. : AAAI Press. - Cambridge, Mass. : MIT Press , c1995
書誌ID=2001660157 NCID=BA25767958
Features and fluents : representation of knowledge about dynamical systems / Erik Sandewall
v. 1. - Oxford : Clarendon Press. - New York : Oxford University Press , 1994-. - (Oxford logic guides ; 30)
書誌ID=2000581765 NCID=BA24744130
Foundations of knowledge representation and reasoning / Gerhard Lakemeyer, Bernhard Nebel (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 810 . Lecture notes in artificial intelligence)
書誌ID=2000708286 NCID=BA23176713
Vivid logic : knowledge-based reasoning with two kinds of negation / Gerd Wagner
: us,: gw. - Berlin ; Tokyo : Springer-Verlag , c1994. - (Lecture notes in computer science ; 764 . Lecture notes in artificial intelligence)
書誌ID=2000708821 NCID=BA21747653
Knowledge representation and reasoning under uncertainty : logic at work / Michael Masuch, László Pólos (eds.)
: gw,: us. - Berlin ; New York : Springer-Verlag , c1994. - (Lecture notes in computer science ; 808 . Lecture notes in artificial intelligence)
書誌ID=2000708833 NCID=BA23013377