AI - Bibliography
: W
Alex
Waibel : publication
- Readings in Speech Recognition, San Francisco: Morgan Kaufmann,
1990.
- honeme Recognition: Neural
Networks versus Hidden Markov Models, in Proc. of the International
Conf. on Acoustics, Speech and Signal Processing, New York, 1988.
Richard Waldinger
- Achieving
Several Goals Simultaneously, in Elcock, E., & Michie, D. (eds.), Machine
Intelligence 8, pp.94-138, Chichester, England: Ellis Horwood, 1975
William Grey Walter
- The Living Brain,
New York: Norton and Company, 1953
David
Waltz
- Understanding
Line Drawings of Scenes with Shadows, in Winston, P. (ed.), The Psychology
of Computer Vision, pp.19-91, New York: McGraw-Hill, 1975
Mitchell Wand
- Continuation-based program transformation strategies.
Journal of the ACM, 1980
- Essentials of Programming Languages
: (2nd
ed), Daniel P.
Friedman, Mitchell
Wand, Christopher T. Haynes, 2001
Hao Wang
- Toward mechanical mathematics. IBM Journal of Research
and Development, 1960
Xuemei Wang
- Learning by Observation
and Practice: An Incremental Approach for Planning Operator Acquisition :
in Proceedings of the Twelfth International Conference on Machine Learning,
pp.549-557, San Francisco: Morgan Kaufmann, 1995
Eric Wanner
- Language Acquisition: The
State of the Art. Cambridge University Press.
1982
David H.D. Warren
- WARPLAN: a system for generating plans. Department
of Computational Logic Memo 76, University of Edinburgh, Edinburgh, Scotland.
1974
- Generating conditional plans and programs. In
Proceedings of the AISB Summer Conference, 1976
- An abstract Prolog instruction set. Technical Note
309, SRI International, Menlo Park, California.
1983
- PROLOG: The
language and its implementation compared with LISP. SIGPLAN Notices,
1977
Philip D. Wasserman
- NeuralSource: The
Bibliographic Guide to Artificial Neural Networks. Van Nostrand Reinhold,
New York.
1990
C. J. Watkins
- Models of delayed reinforcement learning.
PhD thesis, Psychology Department, Cambridge University, Cambridge, United
Kingdom.
1989
Charles S. Watson
- Speech-perception aids for hearing-impaired people:
current status and needed research. Journal of the Acoustical Society of
America, 1991
- Auditory Processing of Complex
Sounds : W.A. Yost and C.S. Watson (Eds.) Erlbaum Associates, Hillsdale, NJ. 1987
Bonnie
L. Webber : papers
- So what can we talk about now. In Brady, M. &
Berwick, R., editors, Computational Models of Discourse. MIT Press.
1983,
Reprinted in Grosz et al 1986.
- Tense as discourse anaphora. Computational
Linguistics, 1988
- Readings in Artificial
Intelligence. Morgan Kaufmann, San Mateo, California.
1981
Joseph Weber
: publications
- Robust computation of optical flow in a
multi-scale differential framework. International Journal of Computer
Vision. To appear.
1994
Sholom Weiss
- Computer Systems That Learn:
Classification and Prediction Methods from Statistics, Neural Nets, Machine
Learning, and Expert Systems. Morgan Kaufmann, San Mateo, California.
1991
Joseph Weizenbaum
- ELIZA
-
A Computer Program for the Study of Natural Language Communication between Man
and Machine : Communications of the Association for Communications of
the Association for Computing Machinery, 9(1):36-45, 1965
- Computer
Power and Human Reason: From Judgment to Calculation, New York: W. H. Freeman,
1976
Daniel Weld
- The first law of robotics: A call to arms.
In Proceedings of the Twelfth National Conference on Artificial Intelligence
(AAAI-94), Seattle, Washington. AAAI Press.
1994
- An introduction to least commitment planning. AI
Magazine. To appear.
1994
- Readings in Qualitative Reasoning about Physical Systems, San
Francisco: Morgan Kaufmann, 1990
- UCPOP: A Sound, Complete Partial-Order Planner for ADL,
in Proceedings of the Third International Conference on Principles of Knowledge
Representation and Reasoning (KR-92), pp.103-113, San Francisco: Morgan
Kaufmann, 1992
Michael Wellman
- Modular utility representation for
decision-theoretic planning. In Proceedings, First International Conference
on AI Planning Systems, College Park, Maryland. Morgan Kaufmann.
1992
- Reasoning about preference models. Technical Report
MIT/LCS/TR-340, Laboratory for Computer Science, MIT, Cambridge, Massachusetts.
M.S. thesis.
1985
- Formulation of tradeoffs in planning under
uncertainty. PhD thesis, Massachusetts Institute of Technology, Cambridge,
Massachusetts.
1988
- Fundamental
Concepts of Qualitative Probabilistic Networks : Artificial Intelligence,
44:257-303, 1990.
- Market-Oriented
Programming: Some Early Lessons : in Clearwater, S. (ed.), Market-Based
Controlm A Paradigm for Distributed Resource Allocation, Singapore: World
Scientific, 1996.
Paul Werbos
- Beyond Regression:
New Tools for Prediction and Analysis in the Behavioral Sciences, Ph.D..
Thesis, Harvard University, 1974.
Richard W. Weyhrauch
- Prolegomena
to a Theory of Mechanized Formal Reasoning, Artificial Intelligence,
13(1-2):133-170, 1980.
Charles Wheatstone
- On some remarkable, and hitherto unresolved,
phenomena of binocular vision. Philosophical Transactions of the Royal
Society of London, 1838
Alfred
North Whitehead
- An Introduction to Mathematics. Williams
and Northgate, London.
1911
- Principia Mathematica.
Cambridge University Press, Cambridge.
1910
Steven D. Whitehead
- Learning Multiple Goal
Behavior via Task Decomposition and Dynamic Policy Merging, in Connell,
J., & Mahadevan, S. (eds.), Robot Learning, Ch.3, Boston: Kluwer Academic
Publishers, 1993.
Benjamin Lee Whorf
- Language, Thought, and Reality. MIT Press,
Cambridge, Massachusetts.
1956
Bernard
Widrow
- Adaptive Switching Circuits, 1960 IRE WESCON Convention
Record, pp.96-104, New York, 1960
- Generalization
and Information Storage in Networks of Adaline 'Neurons,'h 10 ; in Yovitz,
M., Jacobi, G., & Goldstein, G. (eds.), Self-Organizing Systems 1962, pp.435-461,
Washington, DC: Spartan Books, 1962
Norbert
Wiener
- The extrapolation, interpolation, and smoothing of
stationary time series. OSRD 370, Report to the Services 19, Research Project
DIC-6037, MIT.
1942
- Cybernetics: Control
and Communication in the Animal and in the Machine, New York: John Wiley
& Sons, 1948.
Robert Wilensky
- Planning and Understanding. Addison-Wesley.
1983
- Computability, consciousness, and algorithms.
Behavioral and Brain Sciences, 13(4):690-691. Peer commentary on Penrose, 1990.
David E.
Wilkins
- Using patterns and plans in chess. Artificial
Intelligence, 1980
- Hierarchical planning: definition and implementation.
In ECAI '86: 7th European Conference on Artificial Intelligence, volume
1, pages 466-478, Brighton, United Kingdom.
1986
- Can AI planners solve practical problems?
Computational Intelligence, 1990
- Practical
Planning: Extending the Classical AI Planning Paradigm, San Francisco: Morgan
Kaufmann, 1988.
- "Planning and Reacting in Uncertain and
Dynamic Domains," Journal of Experimental and Theoretical Artificial
Intelligence, 7(1):197-227, 1995.
Yorick Wilks
- An intelligent analyzer and understander of English.
Communications of the ACM, 18(5):264-274. 1975, Reprinted in Grosz et
al 1986.
Stewart W. Wilson
- The Animat Path
to AI, in Meyer, J. A., & Wilson, S. (eds.), From Animals to Animats;
Proceedings of the First International Conference on the Simulation of Adaptive
Behavior, Combridge, MA: MIT Press/Bradford Books, 1991.
Randall H. Wilson
- Assembling polyhedra with single
translations. In IEEE Conference on Robotics and Automation, 1992
Shmuel Winograd
- Reliable Computation in the
Presence of Noise. MIT Press, Cambridge, Massachusetts.
1963
Terry
Winograd
- Understanding natural language. Cognitive
Psychology, 3(1). Reprinted as a book by Academic Press.
1972
- Understanding Computers and Cognition: A New Foundation for Design,
Norwood, NJ: Ablex, 1986. (Four reviews and a response appear in Artificial
Intelligence, 32(2):213-261, 1987.)
Patrick Henry Winston
- Learning structural descriptions from examples.
Technical Report MAC-TR-76, Department of Electrical Engineering and Computer
Science, Massachusetts Institute of Technology, Cambridge, Massachusetts. PhD
dissertation.
1970
- 인공지능
(Artificial Intelligence). Addison-Wesley,
Reading, Massachusetts, third edition.
1992
Niklaus E. Wirth
- Program Development by Stepwise Refinement
-
Algorithms + Data Structures = Programs
Ludwig Wittgenstein
Jack Woehr
- Lotfi visions, part 2. Dr. Dobbs Journal, 217.
1994
Witold S. Wojciechowski
- Automated design of
multiple-valued logic circuits by automated theorem proving techniques. IEEE
Transactions on Computers.
1983
Anthony S. Wojcik
- Formal design verification of digital systems. In
Proceedings of the 20th Design Automation Conference.
1983
William Woods
- Progress in natural language understanding: An application
to lunar geology. In AFIPS Conference Proceedings. Vol. 42.
1972
- Semantics and quantification in natural language question
ans wering. In Advances in Computers. Academic Press.
1978, Reprinted in Grosz et
al 1986.
- "Transition Network
Grammars for Natural Language Analysis," Communications of the Association
for Computing Machinery, 13(10):591-606, 1970.
- "Progress in Natural
Language Understanding: An Application to Lunar Geology," in AFIPS Conf.
Proc., vol.42, pp.441-450, 1973.
- What's in a link: Foundations for semantic networks. In
Bobrow, D. G. & Collins, A. M., editors, Representation and Understanding:
Studies in Cognitive Science, pages 35-82. Academic Press, New York.
1975
Dean E. Wooldridge
- Mechanical
Man: The Physical Basis of Intelligent Life, New York: McGraw-Hill, 1968.
Larry
Wos
- The unit preference strategy
in theorem proving. In Proceedings of the Fall Joint Computer
Conference, 1964
- Efficiency and Completeness of the Set-of-Support
Strategy in Theorem Proving : Journal of the Association for Computing
Machinery, 12:536-541, 1965.
- The concept of
demodulation in theorem proving. Journal of the Association for Computing
Machinery, 1967
- Paramodulation and set of Support : in Proc. of the IRIA
Symposium on Automatic Demonstration, pp.276-310, Berlin: Springer-Verlag,
1968
- Open Questions Solved with the Assistance of AURA
: in Bledsoe,
W., & Loveland, D. (eds.), Automated Theorem Proving: After 25 Years: Proceedings
of the Special Session of the 89th Annual Meeting of the American Mathematical
Society, pp.71-88, Denver, Colorado: American Mathematical Society, 1983.
- Automated Reasoning: Introduction and Applications, second
edition, New York: McGraw-Hill, 1992.
- Automated Reasoning
Answers Open Questions : Notices of the AMS, 5(1):15-26, January 1993.
Sewall Wright
- Correlation and causation. Journal of Agricultural
Research, 1921
- The method of path coefficients. Annals of
Mathematical Statistics, 1934
Dekai Wu