close
1.

図書

図書
by Oscar Firschein ... [et al.]
出版情報: Park Ridge, N.J. : Noyes Publications, c1986  xiv, 386 p. ; 25 cm
所蔵情報: loading…
2.

図書

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

図書

図書
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
4.

図書

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

図書

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

図書

図書
by Narinder Singh
出版情報: Boston : Kluwer Academic Publishers, c1987  x, 193 p. ; 25 cm
シリーズ名: The Kluwer international series in engineering and computer science ; 19
所蔵情報: loading…
7.

図書

図書
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:
8.

図書

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

図書

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

図書

図書
Russell L. Andersson
出版情報: Cambridge, Mass. : MIT Press, c1988  xiii, 275 p. ; 24 cm
シリーズ名: The MIT Press series in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Series Foreword
Preface
Introduction / 1:
Robot Ping-Pong / 2:
System Design / 3:
Real-Time Vision System / 4:
Robot Controller / 5:
Expert Controller Preliminaries / 6:
Expert Controller / 7:
Robot Ping-Pong Application / 8:
Conclusion / 9:
Robat - The Official Rules / Appendix 1:
Vision Performance Plots / Appendix 2:
Robot Performance Plots / Appendix 3:
Ping-Pong Top Level / Appendix 4:
Initial Planning and Updating / Appendix 5:
Flight Path Correction / Appendix 6:
Acceleration Limit Correction / Appendix 7:
References
Index
Series Foreword
Preface
Introduction / 1:
11.

図書

図書
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
12.

図書

図書
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:
13.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
editor, Stuart E. Savory ; translator and translation editor, M.W. Rogers
出版情報: Chichester, West Sussex : E. Horwood , New York : Halsted Press, 1988  278 p. ; 25 cm
シリーズ名: Ellis Horwood series in artificial intelligence
所蔵情報: loading…
21.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
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
27.

図書

図書
James F. Brulé
出版情報: Blue Ridge Summit, PA : TAB Books, c1986  x, 178 p. ; 24 cm
所蔵情報: loading…
28.

図書

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

図書

図書
Scott Ladd, The Red Feather Press
出版情報: Toronto ; New York : Bantam Books, 1986  xi, 186 p. ; 24 cm
所蔵情報: loading…
30.

図書

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

図書

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

図書

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

図書

図書
by Steven P. Shwartz ; introduction by Roger Schank
出版情報: Princeton, N.J. : Petrocelli Books, c1987  xxvi, 293 p. ; 24 cm
シリーズ名: Petrocelli's series on applied artificial intelligence
所蔵情報: loading…
34.

図書

図書
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
35.

図書

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

図書

図書
Robert I. Levine, Diane E. Drang, Barry Edelson
出版情報: New York : McGraw-Hill, c1986  xi, 245 p. ; 23 cm
シリーズ名: Byte books
所蔵情報: loading…
37.

図書

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

図書

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

図書

図書
edited by Wade Webster
出版情報: San Diego, Calif. : Simulation Councils, 1989  vii, 138 p. ; 29 cm
シリーズ名: Simulation series ; v. 20, no. 3
所蔵情報: loading…
40.

図書

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

図書

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

図書

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

図書

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

図書

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

図書

図書
edited by Zenon W. Pylyshyn
出版情報: Norwood, N.J. : Ablex, c1987  xi, 156 p. ; 24 cm
シリーズ名: Theoretical issues in cognitive science
所蔵情報: loading…
目次情報: 続きを見る
Preface
Modeling Change-The Frame Problem / Lars-Erik Janlert
Cognitive Wheels: The Frame Problem of AI / Daniel C. Dennett Android
Epistemology and the Frame Problem: Comments on Dennett's ""Cognitive Wheels"" / Clark Glymour
An Overview of the Frame Problem / John Haugeland
How to Stop Worrying about the Frame Problem Even though It's Computationally Insoluble / Hubert L. Dreyfus ; Stuart E. Dreyfus
We've Been Framed: Or, Why AI Is Innocent of the Frame Problem / Drew McDermott
What the Frame Problem Is and Isn
Preface
Modeling Change-The Frame Problem / Lars-Erik Janlert
Cognitive Wheels: The Frame Problem of AI / Daniel C. Dennett Android
46.

図書

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

図書

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

図書

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

図書

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

図書

図書
Donald Michie and Rory Johnston
出版情報: Harmondsworth : Viking, 1984  263p,[4]p of plates ; 23cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼