close
1.

図書
図書
1. Meta-level architectures and reflection : Second International Conference, Reflection'99 : Saint-Malo, France, July 19-21, 1999 : proceedings
Pierre Cointe (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1999
シリーズ名: Lecture notes in computer science ; 1616
所蔵情報: loading…
2.

図書
図書
2. Intelligent data analysis : an introduction
editors Michael Berthold, David J. Hand
出版情報: Berlin : Springer, c1999
所蔵情報: loading…
3.

図書
図書
3. Artificial intelligence today : recent trends and developments
Michael J. Wooldridge, Manuela Veloso, (eds.)
出版情報: Berlin ; New York : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1600 . Lecture notes in artificial intelligence
所蔵情報: loading…
4.

図書
図書
4. Computation for metaphors, analogy, and agents
Chrystopher L. Nehaniv (ed.)
出版情報: Berlin ; New York : Springer, c1999
シリーズ名: Lecture notes in computer science ; 1562 . Lecture notes in aritificial intelligence
所蔵情報: loading…
5.

図書
図書
5. Logic programming
edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson
出版情報: Oxford : Clarendon Press, 1998
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 5
所蔵情報: loading…
6.

図書
図書
6. Autonomous, model-based diagnosis agents
by Michael Schroeder
出版情報: Boston : Kluwer Academic, c1998
シリーズ名: The Kluwer international series in engineering and computer science ; 442
所蔵情報: loading…
7.

図書
図書
7. Fundamentals of the new artificial intelligence : beyond traditional paradigms
Toshinori Munakata
出版情報: New York : Springer, c1998
シリーズ名: Graduate texts in computer science
所蔵情報: loading…
8.

図書
図書
8. Artificial intelligence in structural engineering : information technology for design, collaboration, maintenance, and monitoring
Ian Smith, (ed.)
出版情報: Berlin ; New York : Springer, c1998
シリーズ名: Lecture notes in computer science ; 1454 . Lecture notes in artificial intelligence
所蔵情報: loading…
9.

図書
図書
9. Assistive technology and artificial intelligence : applications in robotics, user interfaces, and natural language processing
Vibhu O. Mittal ... [et al.], eds
出版情報: Berlin : Springer, 1998
シリーズ名: Lecture notes in computer science ; 1458 . Lecture notes in artificial intelligence
所蔵情報: loading…
10.

図書
図書
10. Introduction to artificial life
Christoph Adami
出版情報: Santa Clara, Calif. : TELOS, The Electronic Library of Science , New York : Springer, c1998
所蔵情報: loading…
11.

図書
図書
11. Computational intelligence : a logical approach
David Poole, Alan Mackworth, Randy Goebel
出版情報: New York : Oxford University Press, 1998
所蔵情報: loading…
12.

図書
図書
12. Distributed reason maintenance for multiagent systems
Gerhard K. Kraetzschmar
出版情報: Berlin ; Tokyo : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1229 . Lecture notes in artificial intelligence
所蔵情報: loading…
13.

図書
図書
13. Nonmonotonic logics : basic concepts, results, and techniques
Karl Schlechta
出版情報: Berlin : Springer, c1997
シリーズ名: Lecture notes in computer science ; 1187 . Lecture notes in artificial intelligence
所蔵情報: loading…
14.

図書
図書
14. Connectionism, concepts, and folk psychology
edited by A. Clark and P.J.R. Millican
出版情報: Oxford : Clarendon Press , New York ; Tokyo : Oxford University Press, 1996
シリーズ名: Mind Association occasional series ; . The legacy of Alan Turing ; v. 2
所蔵情報: loading…
15.

図書
図書
15. Advances in knowledge discovery and data mining
edited by Usama M. Fayyad ... [et al.]
出版情報: Menlo Park, Calif. : AAAI Press : MIT Press, c1996
所蔵情報: loading…
16.

図書
図書
16. Time structures : formal description and algorithmic representation
Elżbieta Hajnicz
出版情報: Berlin ; New York : Springer-Verlag, c1996
シリーズ名: Lecture notes in computer science ; 1047 . Lecture notes in artificial intelligence
所蔵情報: loading…
17.

図書
図書
17. Foundations of distributed artificial intelligence
edited by G.M.P. O'Hare and N.R. Jennings
出版情報: New York : Wiley, c1996
シリーズ名: Sixth-generation computer technology series
所蔵情報: loading…
18.

図書
図書
18. Foundations of neural networks, fuzzy systems, and knowledge engineering
Nikola K. Kasabov
出版情報: Cambridge, Mass. : MIT Press, c1996
所蔵情報: loading…
19.

図書
図書
19. Advanced planning technology : technological achievements of the ARPA/Rome Laboratory planning initiative
edited by Austin Tate
出版情報: Menlo Park, Calif. : AAAI Press, c1996
所蔵情報: loading…
20.

図書
図書
20. Machines and thought
edited by P.J.R. Millican and A. Clark
出版情報: Oxford : Clarendon Press , New York ; Tokyo : Oxford University Press, 1996
シリーズ名: Mind Association occasional series ; . The legacy of Alan Turing ; v. 1
所蔵情報: loading…
21.

図書
図書
21. Genetic algorithms in engineering and computer science
edited by G. Winter ... [et al.]
出版情報: Chichester : Wiley, c1995
所蔵情報: loading…
22.

図書
図書
22. Term indexing
Peter Graf
出版情報: Berlin ; New York ; Tokyo : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 1053 . Lecture notes in artificial intelligence
所蔵情報: loading…
23.

図書
図書
23. Artificial intelligence : a modern approach (: uk ; : us ; Prentice Hall international editions)
Stuart J. Russell, and Peter Norvig
出版情報: Englewood Cliffs, N.J. ; London : Prentice Hall, c1995
シリーズ名: Prentice Hall series in artificial intelligence
所蔵情報: loading…
24.

図書
図書
24. Tractable reasoning in artificial intelligence
Marco Cadoli
出版情報: Berlin ; New York : Springer-Verlag, c1995
シリーズ名: Lecture notes in computer science ; 941 . Lecture notes in artificial intelligence
所蔵情報: loading…
25.

図書
図書
25. Diagrammatic reasoning : cognitive and computational perspectives (: pbk)
B. Chandrasekaran, Janice Glasgow, N. Hari Narayanan, editors
出版情報: Menlo Park, Calif. : AAAI Press , Cambridge, Mass. : MIT Press, c1995
所蔵情報: loading…
26.

図書
図書
26. Epistemic logic for AI and computer science (hardback)
J.-J. Ch. Meyer and W. van der Hoek
出版情報: Cambridge ; New York : Cambridge University Press, c1995
シリーズ名: Cambridge tracts in theoretical computer science ; 41
所蔵情報: loading…
27.

図書
図書
27. 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
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 4
所蔵情報: loading…
28.

図書
図書
28. Fundamentals of artificial neural networks
Mohamad H. Hassoun
出版情報: Cambridge, Mass. : MIT Press, c1995
所蔵情報: loading…
29.

図書
図書
29. Deduction methodologies
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
出版情報: 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. 2
所蔵情報: loading…
30.

図書
図書
30. 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
所蔵情報: loading…
31.

図書
図書
31. Advances in the Dempster-Shafer theory of evidence
edited by Ronald R. Yager, Janusz Kacprzyk, Mario Fedrizzi
出版情報: New York : J. Wiley, c1994
所蔵情報: loading…
32.

図書
図書
32. Representing plans under uncertainty : a logic of time, chance, and action (: gw ; : us)
Peter Haddawy
出版情報: Berlin ; Tokyo : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 770 . Lecture notes in artificial intelligence
所蔵情報: loading…
33.

図書
図書
33. Foundations of knowledge representation and reasoning (: gw ; : us)
Gerhard Lakemeyer, Bernhard Nebel (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1994
シリーズ名: Lecture notes in computer science ; 810 . Lecture notes in artificial intelligence
所蔵情報: loading…
34.

図書
図書
34. An introduction to computational learning theory
Michael J. Kearns, Umesh V. Vazirani
出版情報: Cambridge, Mass. : MIT Press, c1994
所蔵情報: loading…
35.

図書
図書
35. Shadows of the mind : a search for the missing science of consciousness
Roger Penrose
出版情報: Oxford ; New York : Oxford University Press, 1994
所蔵情報: loading…
36.

図書
図書
36. Machine learning : an artificial intelligence approach ([v. 1] - v. 4)
contributors, Saul Amarel ... [et al.] ; editors, Ryszard S. Michalski, Jaime G. Carbonell, Tom M. Mitchell
出版情報: San Mateo, Calif. : Morgan Kaufmann, c1983-c1994
所蔵情報: loading…
37.

図書
図書
37. Nonmonotonic logic : context-dependent reasoning (: gw ; : us)
V. Wiktor Marek, M. Truszczyński
出版情報: Berlin ; New York : Springer, c1993
シリーズ名: Artificial intelligence
所蔵情報: loading…
38.

図書
図書
38. Generating abstraction hierarchies : an automated approach to reducing search in planning
by Craig A. Knoblock
出版情報: Boston : Kluwer Academic Publisher, c1993
シリーズ名: The Kluwer international series in engineering and computer science ; SECS 214
所蔵情報: loading…
39.

図書
図書
39. Logical foundations
edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; volume co-ordinator, J. Siekmann
出版情報: Oxford : Clarendon Press , Oxford ; New York : Oxford University Press, 1993
シリーズ名: Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson ; v. 1
所蔵情報: loading…
40.

図書
図書
40. The logic of information structures (: us ; : gw)
Heinrich Wansing
出版情報: Berlin ; New York : Springer-Verlag, c1993
シリーズ名: Lecture notes in computer science ; 681 . Lecture notes in artificial intelligence
所蔵情報: loading…
41.

図書
図書
41. Machine learning methods for planning
edited by Steven Minton
出版情報: San Mateo, Calif. : M. Kaufmann, c1993
シリーズ名: The Morgan Kaufmann series in machine learning
所蔵情報: loading…
42.

図書
図書
42. Neural networks and fuzzy systems : a dynamical systems approach to machine intelligence
Bart Kosko
出版情報: Englewood Cliffs, N.J. : Prentice Hall, c1992
所蔵情報: loading…
43.

図書
図書
43. Foundations of artificial intelligence. 1st MIT Press ed
edited by David Kirsh
出版情報: Cambridge, Mass. : MIT Press, 1992, c1991
シリーズ名: Special issues of Artificial intelligence, an international journal
所蔵情報: loading…
44.

図書
図書
44. Mechanical intelligence
edited by D.C. Ince
出版情報: Amsterdam ; Tokyo : North-Holland , New York, NY, U.S.A. : Distributors for the U.S. and Canada, Elsevier Science, 1992
シリーズ名: Collected works of A.M. Turing
所蔵情報: loading…
45.

図書
図書
45. Artificial intelligence methods and applications
edited by Nikolaos G. Bourbakis
出版情報: Singapore ; River Edge, N.J. : World Scientific, c1992
シリーズ名: Advanced series on artificial intelligence ; vol. 1
所蔵情報: loading…
46.

図書
図書
46. Paradigms of artificial intelligence programming : case studies in common LISP
Peter Norvig
出版情報: San Mateo, Calif. : Morgan Kaufman Publishers, c1992
所蔵情報: loading…
47.

図書
図書
47. Artificial intelligence. 3rd ed. (: hard ; : pbk.)
Patrick Henry Winston
出版情報: Reading, Mass. ; Tokyo : Addison-Wesley Pub. Co., c1992
所蔵情報: loading…
48.

図書
図書
48. Belief revision
edited by Peter Gärdenfors
出版情報: Cambridge ; New York : Cambridge University Press, 1992
シリーズ名: Cambridge tracts in theoretical computer science ; 29
所蔵情報: loading…
49.

図書
図書
49. Connectionism in context (: uk ; : gw)
Andy Clark and Rudi Lutz, eds
出版情報: London ; New York ; Berlin : Springer-Verlag, c1992
シリーズ名: Artificial intelligence and society
所蔵情報: loading…
50.

図書
図書
50. Theory and applications of problem solving
B. Zhang, L. Zhang
出版情報: Amsterdam ; New York : North-Holland, 1992
シリーズ名: Studies in computer science and artificial intelligence ; 9
所蔵情報: loading…