1.
図書
John H. Holland ... [et al.]
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…
所蔵情報:
loading…
3.
図書
A.M. Andrew
4.
図書
by James S. Albus
出版情報:
Peterborough, N.H. : BYTE Books, c1981 x, 352 p. ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…
5.
図書
Ranan B. Banerji
出版情報:
New York : North Holland, c1980 xi, 254 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
6.
図書
David W. Etherington
7.
図書
Stuart Goldkind
目次情報:
続きを見る
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
目次情報:
続きを見る
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…
所蔵情報:
loading…
10.
図書
by William B. Gevarter
出版情報:
Park Ridge, N.J. USA : Noyes Publications, c1984 xiv, 226 p. ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…
11.
図書
Anne von der Lieth Gardner
12.
図書
Michael R. Genesereth and Nils J. Nilsson
出版情報:
Los Altos, Calif. : Morgan Kaufmann, c1987 xviii, 405 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
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
14.
図書
D. Partridge
15.
図書
Douglas R. Hofstadter
出版情報:
New York : Basic Books, c1985 xxviii, 852 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
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…
所蔵情報:
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…
所蔵情報:
loading…
18.
図書
Nigel Ford
出版情報:
Chichester [West Sussex] ; New York : Wiley, c1987 viii, 206 p. ; 23 cm
子書誌情報:
loading…
所蔵情報:
loading…
19.
図書
Vernon Pratt
出版情報:
Oxford, UK ; New York : B. Blackwell, 1987 xii, 254 p. ; 26 cm
子書誌情報:
loading…
所蔵情報:
loading…
20.
図書
edited by Michael N. Huhns
21.
図書
David Bendel Hertz
出版情報:
New York : Wiley, c1988 xvi, 238 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
22.
図書
Yoav Shoham
23.
図書
edited by John Self
出版情報:
London ; New York : Chapman and Hall, 1988 xix, 432 p. ; 24 cm
シリーズ名:
Chapman and Hall computing
子書誌情報:
loading…
所蔵情報:
loading…
24.
図書
Nils J. Nilsson
出版情報:
Berlin ; New York : Springer, 1982 xv, 476 p. ; 25 cm
シリーズ名:
Symbolic computation
子書誌情報:
loading…
所蔵情報:
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
26.
図書
Anoop Gupta
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…
所蔵情報:
loading…
28.
図書
edited by W. Eric L. Grimson and Ramesh S. Patil
目次情報:
続きを見る
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…
所蔵情報:
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…
所蔵情報:
loading…
31.
図書
edited by Leonard Bolc ; with contributions by G.L. Bradshaw ... [et al.]
目次情報:
続きを見る
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…
所蔵情報:
loading…
33.
図書
edited by Michael L. Brodie, John Mylopoulos, Joachim W. Schmidt
34.
図書
Maria Nowakowska
出版情報:
Orlando ; Tokyo : Academic Press, c1986 xii, 379 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
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
36.
図書
Roger C. Schank
出版情報:
Cambridge [Cambridgeshire] ; New York : Cambridge University Press, 1982 xv, 234 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
37.
図書
by Jeffrey Rothfeder
出版情報:
Sussex : Harvester Press, 1986 238 p. ; 23 cm
子書誌情報:
loading…
所蔵情報:
loading…
38.
図書
[International Congress and Exposition, Detroit, Michigan, February 24-28, 1986]
出版情報:
Warrendale, PA : Society of Automotive Engineers, c1986 57 p. ; 28 cm
子書誌情報:
loading…
所蔵情報:
loading…
39.
図書
edited by G.A. Ringland and D.A. Duce
40.
図書
edited by Stephen Grossberg
出版情報:
Cambridge : MIT Press, c1988 xi, 637 p. ; 27 cm
子書誌情報:
loading…
所蔵情報:
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…
所蔵情報:
loading…
42.
図書
edited by B.A. Huberman
43.
図書
edited by Manfred Kochen and Harold M. Hastings
44.
図書
Roger C. Schank with Peter G. Childers
出版情報:
Reading, Mass. : Addison-Wesley Pub. Co., c1984 xiii, 268 p. ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…
45.
図書
editors, D. Sriram, R.A. Adey
出版情報:
Southampton : Computational Mechanics Publications, c1987 370 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
46.
雑誌
出版情報:
Boston : Pitman Advanced Pub. Program
子書誌情報:
loading…
所蔵情報:
loading…
47.
図書
W. Daniel Hillis
48.
図書
Bo Göranzon and Ingela Josefson (eds.)
49.
図書
edited by Janet L. Kolodner, Christopher K. Riesbeck
目次情報:
続きを見る
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]
51.
図書
Martin A. Fischler, Oscar Firschein
出版情報:
Reading, Mass. ; Tokyo : Addison-Wesley, c1987 xiv, 331 p. ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…
52.
図書
edited by Michael Brady and Robert C. Berwick ; contributors, James Allen ... [et al.]
目次情報:
続きを見る
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
54.
図書
edited by P. Morasso and V. Tagliasco
55.
図書
Ernest Davis
56.
図書
Kurt Konolige
57.
図書
editors, Luc Steels and J.A. Campbell
58.
図書
Jerry R. Hobbs and Robert C. Moore, editors
59.
図書
Paul Harmon and David King
出版情報:
New York : J. Wiley, c1985 xii, 283 p. ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…
60.
図書
Donald Michie and Rory Johnston
出版情報:
New York : W. Morrow, 1985 300 p. ; 22 cm
子書誌情報:
loading…
所蔵情報:
loading…
61.
図書
Donald Michie and Rory Johnston
出版情報:
Harmondsworth : Viking, 1984 263p,[4]p of plates ; 23cm
子書誌情報:
loading…
所蔵情報:
loading…
62.
図書
John F. Sowa
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…
所蔵情報:
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…
所蔵情報:
loading…
65.
図書
edited by R.S. Michalski, J.G. Carbonell, T.M. Mitchell
出版情報:
Berlin : Springer, 1984 xi, 572 p. ; 25 cm
シリーズ名:
Symbolic computation
子書誌情報:
loading…
所蔵情報:
loading…
66.
図書
edited by Masoud Yazdani
出版情報:
London : Chapman and Hall, 1986 xiv, 348 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
67.
図書
edited by Laveen N. Kanal and John F. Lemmer
68.
図書
Hubert L. Dreyfus, Stuart E. Dreyfus, with Tom Athanasiou
出版情報:
Oxford, UK : B. Blackwell, 1986 xviii, 231 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
69.
図書
[J.R. Ennals, editor]
70.
図書
[editor, A. Bond]
71.
図書
Robert Wilensky
72.
図書
Wendy B. Rauch-Hindin
出版情報:
Englewood Cliffs, N.J. : Prentice-Hall, c1985-c1986 2 v. ; 25 cm
子書誌情報:
loading…
所蔵情報:
loading…
73.
図書
Ernest R. Tello
出版情報:
Reading, Mass. : Addison-Wesley, c1989 xv, 335 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
74.
図書
Hans Werner Güsgen
75.
図書
edited by Lawrence E. Widman, Kenneth A. Loparo, and Norman R. Nielsen
出版情報:
New York : Wiley, c1989 xvii, 556 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
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…
所蔵情報:
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…
所蔵情報:
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…
所蔵情報:
loading…
79.
図書
Lokendra Shastri
80.
図書
Samuel Holtzman
81.
図書
Nils J. Nilsson
出版情報:
Palo Alto, Calif. : Tioga Pub. Co., c1980 xv, 476 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
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
83.
図書
Muralidhara Subbarao
84.
図書
M. Mitchell Waldrop
出版情報:
New York : Walker, 1987 280 p
子書誌情報:
loading…
所蔵情報:
loading…
85.
図書
Pentti Kanerva
出版情報:
Cambridge, Mass. : MIT Press, c1988 xxii, 155 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
86.
図書
S. Lakshmivarahan
出版情報:
New York : Springer-Verlag, c1981 x, 279 p. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
87.
図書
Rolf T. Nossum (ed.)
目次情報:
続きを見る
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
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…
所蔵情報:
loading…
90.
図書
edited by Avron Barr and Edward A. Feigenbaum
出版情報:
Stanford, Calif. : HeurisTech Press, c1981-c1982 v. ; 24 cm
子書誌情報:
loading…
所蔵情報:
loading…
91.
図書
edited by Robert W. Lawler and Masoud Yazdani
92.
図書
Richard K. Miller and Terri C. Walker
出版情報:
Madison, Georgia : SEAI Technical Publications , Lilburn, Georgia : Fairmont Press, c1988 364 p.
子書誌情報:
loading…
所蔵情報:
loading…
93.
図書
edited by Paul A. Luker and Graham Birtwistle
94.
図書
edited by Ewald Heer, Henry Lum
95.
図書
edited by Richmond H. Thomason
出版情報:
Dordrecht : Kluwer Academic, c1989 222 p. ; 23 cm
子書誌情報:
loading…
所蔵情報:
loading…
96.
図書
Stuart J. Russell
97.
図書
Marc H. Raibert
98.
図書
W. Daniel Hillis
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…
所蔵情報:
loading…
100.
図書
Raymond Turner