close
1.

図書

図書
John H. Holland ... [et al.]
出版情報: Cambridge, Mass. : MIT Press, c1986  xvi, 385 p. ; 24 cm
シリーズ名: Computational models of cognition and perception
所蔵情報: loading…
2.

図書

図書
edited by R. Trappl ; with contributions by Michael A. Arbib ... [et al.]
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986  x, 279 p. ; 25 cm
所蔵情報: loading…
3.

図書

図書
A.M. Andrew
出版情報: Tunbridge Wells, Kent : Abacus Press, 1983  ix, 203 p. ; 24 cm
シリーズ名: Cybernetics and systems series ; 3
所蔵情報: loading…
4.

図書

図書
by James S. Albus
出版情報: Peterborough, N.H. : BYTE Books, c1981  x, 352 p. ; 25 cm
所蔵情報: loading…
5.

図書

図書
Ranan B. Banerji
出版情報: New York : North Holland, c1980  xi, 254 p. ; 24 cm
所蔵情報: loading…
6.

図書

図書
David W. Etherington
出版情報: London : Pitman , Los Altos, Calif. : M. Kaufmann Publishers, 1988  viii, 240 p. ; 25 cm
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
7.

図書

図書
Stuart Goldkind
出版情報: New York : Greenwood Press, 1987  x, 138 p. ; 25 cm
シリーズ名: Contributions to the study of computer science ; no. 2
所蔵情報: loading…
目次情報: 続きを見る
Preface
The Turing Test Dreyfus Machines and Mistakes / Taylor Malcolm
Bibliography
Index
Preface
The Turing Test Dreyfus Machines and Mistakes / Taylor Malcolm
Bibliography
8.

図書

図書
Terry Patten
出版情報: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1988  xii, 214 p. ; 24 cm
シリーズ名: Studies in natural language processing
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction / 1:
Background I: AI problem solving / 2:
Background II: systemic grammar / 3:
The conflation / 4:
The formal model / 5:
The implementation / 6:
Related work in text generation / 7:
Conclusions / 8:
OPS5 tutorial / Appendix A:
sample texts / Appendix B:
excerpts from the grammar / Appendix C:
Notes
Bibliography
Index
Preface
Introduction / 1:
Background I: AI problem solving / 2:
9.

図書

図書
Robert Wilensky
出版情報: Reading, Mass. : Addison-Wesley Pub. Co. Advanced Book Program, 1983  xiv, 168 p. ; 24 cm
所蔵情報: loading…
10.

図書

図書
by William B. Gevarter
出版情報: Park Ridge, N.J. USA : Noyes Publications, c1984  xiv, 226 p. ; 25 cm
所蔵情報: loading…
11.

図書

図書
Anne von der Lieth Gardner
出版情報: Cambridge, Mass. : MIT Press, c1987  225 p. ; 24 cm
シリーズ名: Artificial intelligence and legal reasoning
所蔵情報: loading…
12.

図書

図書
Michael R. Genesereth and Nils J. Nilsson
出版情報: Los Altos, Calif. : Morgan Kaufmann, c1987  xviii, 405 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Introduction / 1:
Declarative Knowledge / 2:
Inference / 3:
Resolution / 4:
Resolution Strategies / 5:
Nonmonotonic Reasoning / 6:
Induction / 7:
Reasoning with Uncertain Beliefs / 8:
Knowledge and Belief / 9:
Metaknowledge and Metareasoning / 10:
State and Change / 11:
Planning / 12:
Intelligent-Agent Architecture Answers to Exercises / 13:
Introduction / 1:
Declarative Knowledge / 2:
Inference / 3:
13.

図書

図書
Christoph Walther
出版情報: London : Pitman , Los Altos, Calif. : Morgan Kaufmann Publishers, 1987  160 p. ; 25 cm
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
14.

図書

図書
D. Partridge
出版情報: Chichester : E. Horwood , New York : Hasted Press, 1986  241 p. ; 25 cm
シリーズ名: Ellis Horwood series in artificial intelligence
所蔵情報: loading…
15.

図書

図書
Douglas R. Hofstadter
出版情報: New York : Basic Books, c1985  xxviii, 852 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Synopsis
Long Contents
Notes on the Cover: A Spontaneous Essay on Whirly Art and Creativity
Introduction
Snags and Snarls / Section 1:
On Self-Referential Sentences January, 1981 / 1:
Self-Referential Sentences: A Follow-Up January, 1982 / 2:
On VIral Sentences and Self-Replicating Structures / 3:
Nomic: A Self-Modifying Game Based on Reflexivity in Law June, 1982 / 4:
Sense and Society / Section II:
World VIews in Collision: the Skeptical Inquirer Versus the National Enquirer / 5:
On Number Numbness May, 1982 / 6:
Changes in Default Words and Images, Engendered by Rising Consciousness / 7:
A Person Paper on Purity in Language / 8:
Sparking and Slipping / Section III:
Pattern, Poetry, and Power in the Music of Frédéric Chopin April, 1982 / 9:
Parquet Deformations: A Subtle, Intricate Art Form / 10:
Stuff and Nonsense / 11:
Variations on A Theme as the Crux of Creativity / 12:
Metafont, Metamathematics, and Metaphysics: Comments on Donald Knuth's Article "The Concept of A Meta-Font" / 13:
Structure and Strangeness / Section IV:
Magic Cubology / 14:
On Crossing the Rubicon / 15:
Mathematical Chaos and Strange Attractors November, 1981 / 16:
Lisp: Atoms and LIsts / 17:
Lisp: LIsts and Recursion March, 1983 / 18:
Lisp: Recursion and Generality April, 1983 / 19:
Heisenbe 's Uncertainty Principle and the Many-Worlds Interpretationof Quantum Mechanics / 20:
Spirit and Substrate / Section V:
Review of Alan Turing: the Enigma November, 1983 / 21:
A Coffeehouse Conversation on the Turing Test May, 1981 / 22:
On the Seeming Paradox of Mechanizing Creativity September, 1982 / 23:
Analogies and Roles in Human and Machine Thinking September, 1981 / 24:
Who Shoves Whom Around Inside the Careenium? Or, What Is the Meaning of the Word "I"? March, 1981 / 25:
Waking Up from the Boolean Dream, Or, Subcognition as Computation July, 1982 / 26:
Selection and Stability / Section VI:
The Genetic Code: Arbitrary? March, 1982 / 27:
Undercut, Flaunt, Pounce, and Mediocrity. Psychological Games with Numbers August, 1982 / 28:
The Prisoner's Dilemma Computer Tournaments and the Evolution of Cooperation May, 1983 / 29:
Sanity and Survival / Section VII:
Dilemmas for Superrational Thinkers, Leading Up to A Luring Lottery June, 1983 / 30:
Irrationality Is the Square Root of All Evil September, 1983 / 31:
The Tale of Happiton June, 1983 / 32:
The Tumult of Inner Voices, Or, What Is the Meaning of the Word "I"? / 33:
Epilogue
Bibliography
Acknowledgments
Index
Synopsis
Long Contents
Notes on the Cover: A Spontaneous Essay on Whirly Art and Creativity
16.

図書

図書
Nils J. Nilsson
出版情報: Los Altos, Calif. : Morgan Kaufmann Publishers, [1986] c1980  xv, 476 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Production Systems and Ai / Chapter 1:
Search Strategies for Ai Production Systems / Chapter 2:
Search Strategies for Decomposable Production Systems / Chapter 3:
The Predicate Calculus in Ai / Chapter 4:
Resolution Refutation Systems / Chapter 5:
Rule-Based Deduction Systems / Chapter 6:
Basic Plan-Generating Systems / Chapter 7:
Advanced Plan-Generating Sytems / Chapter 8:
Structured Object Representations Prospectus / Chapter 9:
Production Systems and Ai / Chapter 1:
Search Strategies for Ai Production Systems / Chapter 2:
Search Strategies for Decomposable Production Systems / Chapter 3:
17.

図書

図書
Igor Aleksander and Piers Burnett ; illustrations by 4i Design Partnership at Imagine
出版情報: Oxford [England] ; New York : Oxford University Press, 1987  208 p. ; 26 cm
所蔵情報: loading…
18.

図書

図書
Nigel Ford
出版情報: Chichester [West Sussex] ; New York : Wiley, c1987  viii, 206 p. ; 23 cm
所蔵情報: loading…
19.

図書

図書
Vernon Pratt
出版情報: Oxford, UK ; New York : B. Blackwell, 1987  xii, 254 p. ; 26 cm
所蔵情報: loading…
20.

図書

図書
edited by Michael N. Huhns
出版情報: London : Pitman , Los Altos, Calif. ; San Mateo, Calif. : Morgan Kaufmann, 1987-<1989>  v. ; 25 cm
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
21.

図書

図書
David Bendel Hertz
出版情報: New York : Wiley, c1988  xvi, 238 p. ; 24 cm
所蔵情報: loading…
22.

図書

図書
Yoav Shoham
出版情報: Cambridge, MA : MIT Press, c1988  xv, 200 p. ; 24 cm
シリーズ名: The MIT Press series in artificial intelligence
所蔵情報: loading…
23.

図書

図書
edited by John Self
出版情報: London ; New York : Chapman and Hall, 1988  xix, 432 p. ; 24 cm
シリーズ名: Chapman and Hall computing
所蔵情報: loading…
24.

図書

図書
Nils J. Nilsson
出版情報: Berlin ; New York : Springer, 1982  xv, 476 p. ; 25 cm
シリーズ名: Symbolic computation
所蔵情報: loading…
目次情報: 続きを見る
Production Systems and Ai / Chapter 1:
Search Strategies for Ai Production Systems / Chapter 2:
Search Strategies for Decomposable Production Systems / Chapter 3:
The Predicate Calculus in Ai / Chapter 4:
Resolution Refutation Systems / Chapter 5:
Rule-Based Deduction Systems / Chapter 6:
Basic Plan-Generating Systems / Chapter 7:
Advanced Plan-Generating Sytems / Chapter 8:
Structured Object Representations Prospectus / Chapter 9:
Production Systems and Ai / Chapter 1:
Search Strategies for Ai Production Systems / Chapter 2:
Search Strategies for Decomposable Production Systems / Chapter 3:
25.

図書

図書
edited by A. Kusiak
出版情報: Bedford : IFS (Publications) , Berlin ; Tokyo : Springer-Verlag, c1988  527 p. ; 24 cm
シリーズ名: Artificial intelligence in industry
所蔵情報: loading…
26.

図書

図書
Anoop Gupta
出版情報: London : Pitman , Los Altos, Calif. : Morgan Kaufmann Publishers, 1987  224 p. ; 25 cm
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
27.

図書

図書
edited by Richard Gregory and Pauline K. Marstrand for Section X of the British Association for the Advancement of Science
出版情報: Norwood, N.J. : Ablex Pub. Corp., 1987  ix, 143 p. ; 23 cm
所蔵情報: loading…
28.

図書

図書
edited by W. Eric L. Grimson and Ramesh S. Patil
出版情報: Cambridge, Mass. : MIT Press, c1987  374 p. ; 24 cm
シリーズ名: The MIT Press series in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Series Foreword
Preface
Artificial Intelligence: A Perspective / Patrick Henry Winston
Knowledge-Based Systems: The View in 1986 / Randall Davis
Expert Systems Tools and Techniques: Past, Present and Future / Peter Szolovits
A Case Study on Evolution of System Building Expertise: Medical Diagnosis / Ramesh S. Patil
Artificial Intelligence and Software Engineering / Charles Rich ; Richard C. Waters
Intelligent Natural Language Processing: Current Trends and Future Prospects / Robert C. Berwick
Automatic Speech Recognition and Understanding / Victor W. Zue
Intelligent Vision / Michael Brady
Making Robots See and Feel / William Eric ; Leifur Grimson
Robot Programming and Artificial Intelligence / Tomas Lozano-Perez
Robot Hands and Tactile Sensing / John M. Hollerbach
Autonomous Mobile Robots / Rodney A. Brooks
Index
Series Foreword
Preface
Artificial Intelligence: A Perspective / Patrick Henry Winston
29.

図書

図書
Larry Wos ... [et al.]
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1984  xiv, 482 p. ; 24 cm
所蔵情報: loading…
30.

図書

図書
edited by A. Pugh ; an international event organised by IFS (Conferences) Ltd ; sponsored by the British Robot Association, Industrial & Trade Fairs Ltd, Sensor Review Magazine
出版情報: Kempston : IFS (Publication), c1985  vi, 412 p. ; 30 cm
所蔵情報: loading…
31.

図書

図書
edited by Leonard Bolc ; with contributions by G.L. Bradshaw ... [et al.]
出版情報: Berlin ; Tokyo : Springer-Verlag, c1987  vii, 208 p. ; 25 cm
シリーズ名: Symbolic computation ; Artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Learning strategies and automated knowledge acquisition / R.S. Michalski
Heuristics for empirical discovery / P. Langley, H.A. Simon, and G.L. Bradshaw
Transfer of training in procedural learning / S. Ohlsson
Conceptual knowledge acquisition in search / L.A. Rendell
Cognitive development as optimisation / J.G. Wolff
Learning strategies and automated knowledge acquisition / R.S. Michalski
Heuristics for empirical discovery / P. Langley, H.A. Simon, and G.L. Bradshaw
Transfer of training in procedural learning / S. Ohlsson
32.

図書

図書
edited by John L. Casti, Anders Karlqvist
出版情報: New York : North-Holland : Elsevier Science Pub. Co., [distributor], c1987  xv, 226 p. ; 24 cm
所蔵情報: loading…
33.

図書

図書
edited by Michael L. Brodie, John Mylopoulos, Joachim W. Schmidt
出版情報: New York ; Berlin ; Tokyo : Springer-Verlag, c1984  xi, 510 p. ; 24 cm
シリーズ名: Topics in information systems
所蔵情報: loading…
34.

図書

図書
Maria Nowakowska
出版情報: Orlando ; Tokyo : Academic Press, c1986  xii, 379 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Introduction
A New Theory of Time
Events and Observability
Multimedial Units and Languages: Verbal and Nonverbal Communication
Judgment Formation and Problems of Description
Memory and Perception: Some New Models
Appendix
References
Index
Introduction
A New Theory of Time
Events and Observability
35.

図書

図書
edited by Antonio A. Martino, Fiorenza Socci Natali ; editorial assistant, Simona Binazzi
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1986  xxii, 938 p. ; 25 cm
シリーズ名: Edited versions of selected papers from the International Conference on "Logic, Informatics, Law"
所蔵情報: loading…
36.

図書

図書
Roger C. Schank
出版情報: Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1982  xv, 234 p. ; 24 cm
所蔵情報: loading…
37.

図書

図書
by Jeffrey Rothfeder
出版情報: Sussex : Harvester Press, 1986  238 p. ; 23 cm
所蔵情報: loading…
38.

図書

図書
[International Congress and Exposition, Detroit, Michigan, February 24-28, 1986]
出版情報: Warrendale, PA : Society of Automotive Engineers, c1986  57 p. ; 28 cm
所蔵情報: loading…
39.

図書

図書
edited by G.A. Ringland and D.A. Duce
出版情報: Letchworth, Hertfordshire, England : Research Studies Press , New York : Wiley, c1988  vi, 260 p. ; 24 cm
シリーズ名: Knowledge-based and expert systems series ; 1
所蔵情報: loading…
40.

図書

図書
edited by Stephen Grossberg
出版情報: Cambridge : MIT Press, c1988  xi, 637 p. ; 27 cm
所蔵情報: loading…
目次情報: 続きを見る
List of Authors
Preface
Cortical dynamics of three-dimensional form, color, and brightness perception, I: Monocular theory / 1:
Cortical dynamics of three-dimensional form, color, and brightness perception, I: Binocular theory / 2:
Neural dynamics of 1-D and 2-D brightness perception: A unified model of classical and recent phenomena / 3:
Computer simulation of neural networks for perceptual psychology / 4:
Competitive learning: From interactive activation to adaptive resonance / 5:
A massively parallel architecture for a self-organizing neural pattern recognition machine / 6:
Making fields: A massively parallel neural architecture for learning, recognizing, and predicting multiple grouping of patterned data / 7:
Neural dynamics of attention switching and temporal order information in short term memory / 8:
Neural dynamics of attentionally-modulated Pavlovian conditioning: Blocking, inter-stimulus interval, and secondary reinforcement / 9:
Neural dynamics of attentionally-modulated Pavlovian conditioning: Conditioned reinforcement, inhibition, and opponent processing / 10:
Neural Dynamics of Decision Making under Risk: Affective Balance and Cognitive-Emotional Interactions / 11:
Neural dynamics of planned arm movements: Emergent invariants and speed-accuracy properties during trajectory formation / 12:
Author Index
Subject Index
List of Authors
Preface
Cortical dynamics of three-dimensional form, color, and brightness perception, I: Monocular theory / 1:
41.

図書

図書
Neil C. Rowe
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1988  xx, 451 p. ; 25 cm
所蔵情報: loading…
42.

図書

図書
edited by B.A. Huberman
出版情報: Amsterdam ; New York : North-Holland , New York, N.Y., U.S.A. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1988  vi, 342 p. ; 25 cm
シリーズ名: Studies in computer science and artificial intelligence ; 2
所蔵情報: loading…
43.

図書

図書
edited by Manfred Kochen and Harold M. Hastings
出版情報: Boulder : Westview Press, 1988  xiii, 283 p. ; 23 cm
シリーズ名: AAAS selected symposia series ; 104
所蔵情報: loading…
44.

図書

図書
Roger C. Schank with Peter G. Childers
出版情報: Reading, Mass. : Addison-Wesley Pub. Co., c1984  xiii, 268 p. ; 25 cm
所蔵情報: loading…
45.

図書

図書
editors, D. Sriram, R.A. Adey
出版情報: Southampton : Computational Mechanics Publications, c1987  370 p. ; 24 cm
所蔵情報: loading…
46.

雑誌

雑誌
出版情報: Boston : Pitman Advanced Pub. Program
所蔵情報: loading…
47.

図書

図書
W. Daniel Hillis
出版情報: Cambridge, Mass. : MIT Press, c1985  xiii, 190 p. ; 24 cm
シリーズ名: The MIT Press series in artificial intelligence
所蔵情報: loading…
48.

図書

図書
Bo Göranzon and Ingela Josefson (eds.)
出版情報: London ; Tokyo : Springer-Verlag, c1988  xx, 193 p. ; 24 cm
シリーズ名: Springer series on foundations and applications of artificial intelligence
所蔵情報: loading…
49.

図書

図書
edited by Janet L. Kolodner, Christopher K. Riesbeck
出版情報: Hillsdale, N.J. : L. Erlbaum Associates, 1986  xv, 256 p. ; 24 cm
シリーズ名: The Artificial intelligence series
所蔵情報: loading…
目次情報: 続きを見る
List of Contributors
Preface
Acknowledgments
Introduction / 1:
Organization of the Book
Knowledge Organization And Representation / I:
References
Knowledge Representation -- A Critique and A Proposal / 2:
Learning and Memory In Machines and Animals: An Al Model That Accounts for Some Neurobiological Data / 3:
Functional Representation Of Devices and Compilation Of Diagnostic Problem-Solving Systems / 4:
Appendix
Knowledge-Directed Retrieval Of Autobiographical Memories / 5:
Memory-Based Hypothesis Formation / II:
Problem Solving and Dynamic Memory / 6:
Learning How to Argue Using Hypotheticals / 7:
Acknowledgment
Assignment of Responsibility In Ethical Judgments / 8:
Explanation: A First Pass / 9:
Acquisition of Device Models In Instructionless Learning / 10:
Memory-Based Natural Language Understanding / III:
Using Memory in Text Understanding / 11:
A More General Approach To Word Disambiguation / 12:
Direct Memory Access Parsing Christopher K. Riesbeck Charles E. Martin Department of Computer Science Yale University / 13:
Parsing with Parallelism: A Spreading-Activation Model Of Inference Processing During Text Understanding / 14:
Author Index
Subject Index
List of Contributors
Preface
Acknowledgments
50.

図書

図書
H. Wertz ; [translator, Jonathan Barchan]
出版情報: Chichester : Ellis Horwood , New York : Halsted Press, c1987  viii, 196 p. ; 25 cm
シリーズ名: Ellis Horwood books in computing science ; . Series in artificial intelligence
Ellis Horwood series in artificial intelligence
所蔵情報: loading…
51.

図書

図書
Martin A. Fischler, Oscar Firschein
出版情報: Reading, Mass. ; Tokyo : Addison-Wesley, c1987  xiv, 331 p. ; 25 cm
所蔵情報: loading…
52.

図書

図書
edited by Michael Brady and Robert C. Berwick ; contributors, James Allen ... [et al.]
出版情報: Cambridge, Mass. : MIT Press, c1983  xxiii, 403 p. ; 24 cm
シリーズ名: The MIT Press series in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Foreword / Michael Brady
Preface / David Israel
Computational aspects of discourse / Robert C. Berwick
Recognizing intentions from natural language utterances / James Allen
Cooperative responses from a portable natural language database query system / Jerrold Kaplan
Natural language generation as a computational problem: an Introduction / David D. McDonald
Focusing in the comprehension of definite anaphora / Candace L. Sidner
So what can we talk about now? / Bonnie L. Webber
Bibliography
Index
Foreword / Michael Brady
Preface / David Israel
Computational aspects of discourse / Robert C. Berwick
53.

図書

図書
David S. Touretzky
出版情報: London : Pitman , Los Altos, Calif. : M. Kaufmann Publishers, 1986  220 p. ; 25 cm
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
54.

図書

図書
edited by P. Morasso and V. Tagliasco
出版情報: Amsterdam ; Tokyo : North-Holland, 1986  x, 382 p. ; 24 cm
シリーズ名: Advances in psychology ; 33
所蔵情報: loading…
55.

図書

図書
Ernest Davis
出版情報: London : Pitman , Los Altos, Calif. : Morgan Kaufmann, 1986  [xvi], 223 p. ; 25 cm
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
56.

図書

図書
Kurt Konolige
出版情報: London : Pitman , Los Altos, Calif. : Morgan Kaufmann, 1986  165 p. ; 25 cm
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
57.

図書

図書
editors, Luc Steels and J.A. Campbell
出版情報: Chichester, West Sussex, England : E. Horwood , New York : Halsted Press, 1985  320 p. ; 25 cm
シリーズ名: Ellis Horwood series in artificial intelligence
所蔵情報: loading…
58.

図書

図書
Jerry R. Hobbs and Robert C. Moore, editors
出版情報: Norwood, NJ : Ablex Pub., 1985  xxii, 455 p. ; 24 cm
シリーズ名: Ablex series in artificial intelligence
所蔵情報: loading…
59.

図書

図書
Paul Harmon and David King
出版情報: New York : J. Wiley, c1985  xii, 283 p. ; 25 cm
所蔵情報: loading…
60.

図書

図書
Donald Michie and Rory Johnston
出版情報: New York : W. Morrow, 1985  300 p. ; 22 cm
所蔵情報: loading…
61.

図書

図書
Donald Michie and Rory Johnston
出版情報: Harmondsworth : Viking, 1984  263p,[4]p of plates ; 23cm
所蔵情報: loading…
62.

図書

図書
John F. Sowa
出版情報: Reading, Mass. : Addison-Wesley, c1984  xiv, 481 p. ; 25 cm
シリーズ名: The systems programming series
所蔵情報: loading…
63.

図書

図書
contributors, Saul Amarel ... [et al.] ; editors, Ryszard S. Michalski, Jaime G. Carbonell, Tom M. Mitchell
出版情報: San Mateo, Calif. : Morgan Kaufmann, c1983-c1994  4 v. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
General Issues / Part 1:
Theory Revision / Part 2:
Cooperative Integration / Part 3:
Symbolic and Subsymbolic Learning / Part 4:
Special Topics and Applications / Part 5:
General Issues / Part 1:
Theory Revision / Part 2:
Cooperative Integration / Part 3:
64.

図書

図書
Rachel Reichman
出版情報: Cambridge, Mass. : MIT Press, c1985  xiii, 221 p. ; 24 cm
シリーズ名: Bradford book
所蔵情報: loading…
65.

図書

図書
edited by R.S. Michalski, J.G. Carbonell, T.M. Mitchell
出版情報: Berlin : Springer, 1984  xi, 572 p. ; 25 cm
シリーズ名: Symbolic computation
所蔵情報: loading…
66.

図書

図書
edited by Masoud Yazdani
出版情報: London : Chapman and Hall, 1986  xiv, 348 p. ; 24 cm
所蔵情報: loading…
67.

図書

図書
edited by Laveen N. Kanal and John F. Lemmer
出版情報: Amsterdam ; Tokyo : North-Holland, 1986-  v. ; 23 cm
シリーズ名: Machine intelligence and pattern recognition ; v. 4, 5, 8, 9, 10, 12
所蔵情報: loading…
68.

図書

図書
Hubert L. Dreyfus, Stuart E. Dreyfus, with Tom Athanasiou
出版情報: Oxford, UK : B. Blackwell, 1986  xviii, 231 p. ; 24 cm
所蔵情報: loading…
69.

図書

図書
[J.R. Ennals, editor]
出版情報: Oxford [Oxfordshire] ; New York : Pergamon Infotech, c1987  xxiv, 275 p. ; 31 cm
シリーズ名: State of the art report ; ser. 15, no. 3
所蔵情報: loading…
70.

図書

図書
[editor, A. Bond]
出版情報: Maidenhead : Pergamon Infotech, c1981  iv,407p ; 30cm
シリーズ名: Infotech state of the art report ; ser. 9, no.3
所蔵情報: loading…
71.

図書

図書
Robert Wilensky
出版情報: New York : Garland Pub., 1980  viii, 317 p. ; 24 cm
シリーズ名: Outstanding dissertations in the computer sciences
所蔵情報: loading…
72.

図書

図書
Wendy B. Rauch-Hindin
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1985-c1986  2 v. ; 25 cm
所蔵情報: loading…
73.

図書

図書
Ernest R. Tello
出版情報: Reading, Mass. : Addison-Wesley, c1989  xv, 335 p. ; 24 cm
所蔵情報: loading…
74.

図書

図書
Hans Werner Güsgen
出版情報: London : Pitman , San Mateo, Calif. : M. Kaufmann, 1989  xiii, 138 p. ; 25 cm
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
75.

図書

図書
edited by Lawrence E. Widman, Kenneth A. Loparo, and Norman R. Nielsen
出版情報: New York : Wiley, c1989  xvii, 556 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Partial table of contents
Conceptual Bases for Artificial Intelligence and Simulation
The Nature of Modeling / J. Rothenberg
Process Abstraction in Simulation Modeling / P. Fishwick
Problems with Problem Solving in Parallel: The Poligon System / J. Rice
Reasoning by Simulation in Artificial Intelligence Systems
Qualitative Reasoning with Causal Models in Diagnosis of Complex Systems / B. Kuipers
Constructing Qualitative Domain Maps from Quantitative Simulation Models / C. Chiu
Issues in Qualitative Reasoning about Diffusional Processes / S. Hardt
Applying Artificial Intelligence to Enrich Simulation
The Role of Causal and Noncausal Constraints in Steady-State Qualitative Modeling / O. Oyeleye ; M. Kramer
A Hybrid Paradigm for Modeling of Complex Systems / S. Ruiz-Mier ; J. Talavage
A Hierarchical Framework for Learning Control / K. Berger ; K. Loparo
References
Index
Partial table of contents
Conceptual Bases for Artificial Intelligence and Simulation
The Nature of Modeling / J. Rothenberg
76.

図書

図書
Roger Penrose ; foreword by Martin Gardner
出版情報: Oxford ; Tokyo : Oxford University Press, 1989  xiii, 466 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Prologue
Can a computer have a mind? / 1:
Algorithms and Turing Machines / 2:
Mathematics and Reality / 3:
Truth, Proof, and Insight / 4:
The Classical World / 5:
Quantum Magic and Quantum Mystery / 6:
Cosmology and the Arrow of Time / 7:
In Search of Quantum Gravity / 8:
Real brains and Model Brains / 9:
Where Lies the Physics of the Mind? / 10:
Epilogue
References
Index.
Prologue
Can a computer have a mind? / 1:
Algorithms and Turing Machines / 2:
77.

図書

図書
Kumpati S. Narendra, Mandayam A.L. Thathachar
出版情報: Englewood Cliffs, N.J. : Prentice Hall, c1989  xiv, 476 p. ; 25 cm
所蔵情報: loading…
78.

図書

図書
edited by Jean R. Brink, C. Roland Haden ; Christopher Burawa, (editorial assistant)
出版情報: Amsterdam ; Tokyo : North-Holland , New York, N.Y., U.S.A. : Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989  xvi, 263 p. ; 24 cm
所蔵情報: loading…
79.

図書

図書
Lokendra Shastri
出版情報: London : Pitman , Los Altos, Calif. : M. Kaufmann, 1988  222 p. ; 25 cm
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
80.

図書

図書
Samuel Holtzman
出版情報: Reading, Mass. ; Tokyo : Addison-Wesley, c1989  xv, 304 p. ; 25 cm
シリーズ名: Teknowledge series in knowledge engineering
所蔵情報: loading…
81.

図書

図書
Nils J. Nilsson
出版情報: Palo Alto, Calif. : Tioga Pub. Co., c1980  xv, 476 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Production Systems and Ai / Chapter 1:
Search Strategies for Ai Production Systems / Chapter 2:
Search Strategies for Decomposable Production Systems / Chapter 3:
The Predicate Calculus in Ai / Chapter 4:
Resolution Refutation Systems / Chapter 5:
Rule-Based Deduction Systems / Chapter 6:
Basic Plan-Generating Systems / Chapter 7:
Advanced Plan-Generating Sytems / Chapter 8:
Structured Object Representations Prospectus / Chapter 9:
Production Systems and Ai / Chapter 1:
Search Strategies for Ai Production Systems / Chapter 2:
Search Strategies for Decomposable Production Systems / Chapter 3:
82.

図書

図書
edited by J. S. Gero
出版情報: Amsterdam ; Tokyo : Elsevier , Southampton : Co-published with Computational Mechanics Pub., 1988  421 p. ; 24 cm
シリーズ名: Artificial intelligence in engineering / edited by J. S. Gero
所蔵情報: loading…
83.

図書

図書
Muralidhara Subbarao
出版情報: London : Pitman , San Mateo, Calif. : Morgan Kaufmann Pub., 1988  [xii], 139 p. ; 25 cm
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
84.

図書

図書
M. Mitchell Waldrop
出版情報: New York : Walker, 1987  280 p
所蔵情報: loading…
85.

図書

図書
Pentti Kanerva
出版情報: Cambridge, Mass. : MIT Press, c1988  xxii, 155 p. ; 24 cm
所蔵情報: loading…
86.

図書

図書
S. Lakshmivarahan
出版情報: New York : Springer-Verlag, c1981  x, 279 p. ; 24 cm
所蔵情報: loading…
87.

図書

図書
Rolf T. Nossum (ed.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  vi, 233 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 345 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Contents: Fundamental Mechanisms for Artificial Intelligence Programming Languages - An Introduction.
Advanced Topics in Automated Deduction.
Qualitative Reasoning.
Knowledge Acquisition for Expert Systems.
Fundamental Mechanisms in Machine Learning and Inductive Inference: Part 2.
Topics in Planning.
Natural Language Systems.
Contents: Fundamental Mechanisms for Artificial Intelligence Programming Languages - An Introduction.
Advanced Topics in Automated Deduction.
Qualitative Reasoning.
88.

図書

図書
Mark Fox
出版情報: London : Pitman , Los Altos, Calif. : M. Kaufmann, 1987  184 p. ; 25 cm
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
89.

図書

図書
contributing authors, John Anderson ... [et al.] ; editors, Ryszard S. Michalski, Jaime G. Carbonell, Tom M. Mitchell
出版情報: Palo Alto, Calif. : Tioga Pub. Co., c1983  xi, 572 p. ; 24 cm
所蔵情報: loading…
90.

図書

図書
edited by Avron Barr and Edward A. Feigenbaum
出版情報: Stanford, Calif. : HeurisTech Press, c1981-c1982  v. ; 24 cm
所蔵情報: loading…
91.

図書

図書
edited by Robert W. Lawler and Masoud Yazdani
出版情報: Norwood, N.J. : Ablex Pub. Corp., 1987  xiv, 439 p. ; 23 cm
シリーズ名: Artificial intelligence and education / edited by Robert W. Lawler, Masoud Yazdani ; v. 1
所蔵情報: loading…
92.

図書

図書
Richard K. Miller and Terri C. Walker
出版情報: Madison, Georgia : SEAI Technical Publications , Lilburn, Georgia : Fairmont Press, c1988  364 p.
所蔵情報: loading…
93.

図書

図書
edited by Paul A. Luker and Graham Birtwistle
出版情報: San Diego, Calif. : Simulation Councils, c1987  viii, 99 p. ; 29 cm
シリーズ名: Simulation series ; v. 18, no. 3
所蔵情報: loading…
94.

図書

図書
edited by Ewald Heer, Henry Lum
出版情報: Washington, DC : American Institute of Aeronautics and Astronautics, c1988  xv, 355 p. ; 24 cm
シリーズ名: Progress in astronautics and aeronautics ; v. 115
所蔵情報: loading…
95.

図書

図書
edited by Richmond H. Thomason
出版情報: Dordrecht : Kluwer Academic, c1989  222 p. ; 23 cm
所蔵情報: loading…
96.

図書

図書
Stuart J. Russell
出版情報: London : Pitman , San Mateo, Calif. : Morgan Kaufmann Publishers, 1989  x, 164 p. ; 25 cm
シリーズ名: Research notes in artificial intelligence
所蔵情報: loading…
97.

図書

図書
Marc H. Raibert
出版情報: Cambridge, Mass. : MIT Press, c1986  xiii, 233 p. ; 24 cm
シリーズ名: The MIT Press series in artificial intelligence
所蔵情報: loading…
98.

図書

図書
W. Daniel Hillis
出版情報: Cambridge, Mass. : MIT Press, 1989  xiii, 190 p. ; 24 cm
シリーズ名: ACM distinguished dissertations ; 1985
所蔵情報: loading…
99.

図書

図書
Yoshiaki Shirai and Junʾichi Tsujii; translated by F.R.D. Apps, Ingatestone Translations
出版情報: Chichester ; New York : Wiley, c1984  viii, 177 p. ; 23 cm
シリーズ名: Wiley series in computing
所蔵情報: loading…
100.

図書

図書
Raymond Turner
出版情報: Chichester : E. Horwood, 1985, c1984  121 p. ; 25 cm
シリーズ名: Ellis Horwood series in artificial intelligence
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼