close
1.

図書
図書
1. Supervised learning with quantum computers
Maria Schuld, Francesco Petruccione
出版情報: Cham : Springer, c2018
シリーズ名: Quantum science and technology
所蔵情報: loading…
2.

図書
図書
2. Artificial intelligence and social work (: hardback)
edited by Milind Tambe, Eric Rice
出版情報: Cambridge : Cambridge University Press, c2018
シリーズ名: Artificial intellingence for social good
所蔵情報: loading…
3.

図書
図書
3. Artificial intelligence : a modern approach. 3rd ed., Global ed (: pbk)
Stuart J. Russell and Peter Norvig
出版情報: Upper Saddle River : Pearson, 2016
シリーズ名: Prentice Hall series in artificial intelligence
所蔵情報: loading…
4.

図書
図書
4. Smart modeling and simulation for complex systems : practice and theory (hardback)
Quan Bai ... [et al.], editors
出版情報: Tokyo : Springer, [2015]
シリーズ名: Studies in computational intelligence ; 564
所蔵情報: loading…
5.

図書
図書
5. Novel insights in agent-based complex automated negotiation
Ivan Marsa-Maestre ... [et al.] (eds.)
出版情報: Tokyo : Springer, c2014
シリーズ名: Studies in computational intelligence ; v. 535
所蔵情報: loading…
6.

図書
図書
6. Self-adaptive systems for machine intelligence (hbk.)
by Haibo He
出版情報: Hoboken, NJ : Wiley, c2011
所蔵情報: loading…
7.

図書
図書
7. Artificial intelligence : a modern approach. 3rd ed (: hbk ; : pbk)
Stuart J. Russell and Peter Norvig
出版情報: Upper Saddle River, N.J. : Prentice Hall, c2010
シリーズ名: Prentice Hall series in artificial intelligence
所蔵情報: loading…
8.

図書
図書
8. The allure of machinic life : cybernetics, artificial life, and the new AI
John Johnston
出版情報: Cambridge, MA : MIT Press, c2008
所蔵情報: loading…
9.

図書
図書
9. Conceptual spaces : the geometry of thought (: pbk)
Peter Gärdenfors
出版情報: Cambridge, Mass. ; London : MIT, 2004
シリーズ名: Bradford book
所蔵情報: loading…
10.

図書
図書
10. Artificial intelligence : a modern approach. 2nd ed (: us)
Stuart J. Russell, and Peter Norvig
出版情報: Upper Saddle River, N.J. : Prentice Hall, c2003
シリーズ名: Prentice Hall series in artificial intelligence
所蔵情報: loading…
11.

図書
図書
11. Knowledge representation, reasoning, and declarative problem solving
Chitta Baral
出版情報: Cambridge : Cambridge University Press, 2003
所蔵情報: loading…
12.

図書
図書
12. Mind and mechanism
Drew McDermott
出版情報: Cambridge, Mass. : MIT Press, c2001
所蔵情報: loading…
13.

図書
図書
13. Multi-agent systems and applications : 9th ECCAI advanced course, ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School, EASSS 2001, Prague, Czech Republic, July 2-13, 2001 : selected tutorial papers
Michael Luck ... [et al.] (eds.)
出版情報: Berlin : Springer, c2001
シリーズ名: Lecture notes in computer science ; 2086 . Lecture notes in artificial intelligence
所蔵情報: loading…
14.

図書
図書
14. Statistical mechanics of learning (: hard ; : pbk)
A. Engel, C. Van den Broeck
出版情報: Cambridge, UK ; New York : Cambridge University Press, 2001
所蔵情報: loading…
15.

図書
図書
15. Hybrid neural systems
Stefan Wermter, Ron Sun (eds.)
出版情報: Berlin : Springer, c2000
シリーズ名: Lecture notes in computer science ; 1778 . Lecture notes in artificial intelligence
所蔵情報: loading…
16.

図書
図書
16. Complex systems
edited by Terry R. J. Bossomaier and David G. Green
出版情報: Cambridge : Cambridge University Press, 2000
所蔵情報: loading…
17.

図書
図書
17. 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…
18.

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

図書
図書
19. 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…
20.

図書
図書
20. 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…
21.

図書
図書
21. 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…
22.

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

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

図書
図書
24. 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…
25.

図書
図書
25. 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…
26.

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

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

図書
図書
28. 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…
29.

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

図書
図書
30. 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…
31.

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

図書
図書
32. 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…
33.

図書
図書
33. 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…
34.

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

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

図書
図書
36. 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…
37.

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

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

図書
図書
39. 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…
40.

図書
図書
40. 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…
41.

図書
図書
41. 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…
42.

図書
図書
42. 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…
43.

図書
図書
43. 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…
44.

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

図書
図書
45. 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…
46.

図書
図書
46. 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…
47.

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

図書
図書
48. 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…
49.

図書
図書
49. 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…
50.

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