AI - Bibliography
: K
Leslie Pack Kaelbling
- "Action and Planning in Embedded Agents,"
Robotics and Autonomous Systems, 1990
-
Learning functions in k-DNF from
reinforcement. In Machine Learning: Proceedings of the Seventh International
Conference, Austin, Texas. Morgan Kaufmann.
1990
- "Reinforcement Learning: A Survey,"
Journal of Artificial Intelligence Research, 1996
Daniel
Kahneman
- Judgment
under Uncertainty: Heuristics and Biases. Cambridge University Press,
Cambridge.
1982
Hermann Kaindl
: publications
- Tree searching algorithms. In Marsland, A. T. &
Schaeffer, J., editors, Computers, Chess, and Cognition,
Springer-Verlag, Berlin.
1990
- Memory-bounded bidirectional search. In
Proceedings of the Twelfth National Conference on Artificial Intelligence
(AAAI-94), Seattle, Washington. AAAI Press.
1994
Rudolf
E. Kalman
- A new approach to linear filtering and prediction
problems. Journal of Basic Engineering, 1960
Subbarao Kambhampati
: papers
Laveen
N. Kanal
- Uncertainty in
Artificial Intelligence. Elsevier/North-Holland, Amsterdam, London, New
York.
1986
- Search in Artificial Intelligence, Berlin: Springer-Verlag,
1988
Eric R. Kandel
-
Principles of Neural Science. Elsevier/North-Holland, Amsterdam,
London, New York, third edition.
1991
David Kaplan
- A paradox regained. Notre Dame
Journal of Formal Logic, Reprinted in Thomason, 1960
David R. Karger
: publications
Narendra Karmarkar
- A New
Polynomial-Time Algorithm for Linear Programming, Combinatorica,
1984
Richard Karp
- Reducibility among combinatorial problems. In Miller, R.
E. & Thatcher, J. W., editors, Complexity of Computer Computations, Plenum, New York.
1972
G. Neelakantan Kartha
- Two Counterexamples~Related
to Baker's Approach to the Frame Problem, Artificial Intelligence, 1994
Tadao Kasami
- An efficient recognition and syntax analysis algorithm
for context-free languages. Technical Report AFCRL-65-758, Air Force Cambridge
Research Laboratory, Bedford, Massachusetts.
1965
Henry Kautz
: papers
- Formalizing Spatial
Concepts and Spatial Language : in Commonsense Summer: Final Report,
Center for the Study of Language and Information (CSLI) Technical Report
CSLI-85-35, Stanford University, Stanford, CA, 1985
- A Formal Theory
of Plan Recognition and Its Implementation : in Allen, J., Kautz, H., Pelavin,
R., & Tenenberg, J. (eds.), Reasoning About Plans, San Francisco:
Morgan Kaufmann, 1991
- Hard problems for simple default logics.
Artificial Intelligence, 1991
- "Forming Concepts for Fast Inference," in Proceedings of the
Tenth National Conference on Artificial Intelligence (AAAI-92),
Menlo Park, CA: AAAI Press, 1992
- "Pushing the Envelope: Planning, Propositional Logic, and Stochastic
Search," in Proceedings of the Thirteenth National Conference on Artificial
Intelligence (AAAI-96), Menlo Park, CA: AAAI Press, 1996
- "Reasoning with Characteristic Models,"
Proceedings of the Eleventh National Conference on Artificial Intelligence
(AAAI-93), Menlo Park, CA: AAAI Press, 1993
- "Encoding Plans in Propositional Logic,"
in Proceedings of the Fifth International Conference on Principles of Knowledge
Representation and Reasoning (KR-96), San Francisco: Morgan
Kaufmann, 1996
Martin Kay
- Verbmobil: A Translation
System for Face-To-Face Dialog. CSLI Press.
1994
Michael J. Kearns
: publications
Ralph L. Keeney
: papers
- Multiplicative utility functions. Operations
Research, 1974
- Decisions with Multiple Objectives:
Preferences and Value Tradeoffs. Wiley, New York.
1976
- Understanding
Life-Threatening Risks : Risk Analysis, 1994
Martin Kemp
- Leonardo on Painting: An Anthology of
Writings. Yale University Press, New Haven, Connecticut.
1989
- The Science of Art: Optical Themes in Western Art from
Brunelleschi to Seurat. Yale University Press, New Haven, Connecticut.
1990
John
Maynard Keynes
- A Treatise on Probability. Macmillan,
1921
Roni Khardon
: publications
Anders Kierulf
- Smart Game Board and Go Explorer: A
Study in Software and Knowledge Engineering, Comm. of the ACM,
1990
Jorg-Uwe Kietz
- Inductive logic programming and
learnability. SIGART Bulletin, 1994
Jin Hyung Kim
- CONVINCE: A conversational inference consolidation
engine. PhD thesis, Department of Computer Science, University of
California at Los Angeles.
1983
-
A Computational Model for Combined Causal and Diagnostic Reasoning in
Inference Systems, in Proceedings of the Eighth International Joint
Conference on Artificial Intelligence (IJCAI-83), San Francisco:
Morgan Kaufmann, 1983
Ross D. King
: publications
-
Drug design by machine learning: the use of inductive logic programming to model
the structure activity relationships of trimethoprim analogues binding to
dihydrofolate reductase. Proceedings of the National Academy of Sciences of
the United States of America, 1992
S. King
- A visual
surveillance system for incident detection. In AAAI 93 Workshop on AI in
Intelligent Vehicle Highway Systems, Washington, D.C.
1993
Scott Kirkpatrick
- Optimization by Simulated Annealing,
Science, 1983
- Critical behavior in the
satisfiability of random Boolean expressions. Science, 1994
Lefteris M. Kirousis
- The complexity of
recognizing polyhedral scenes. Journal of Computer and System Sciences,
1988
David Kirsh
J. Kister
-
Experiments in chess. Journal of the Association for Computing
Machinery, 1957
Uffe Kjaerulff
: publications
Kevin
Knight
- Unification: A multidisciplinary survey. ACM
Computing Surveys, 1989
Craig Knoblock
: publications
- Learning
Abstraction Hierarchies for Problem Solving, in Proceedings of the
Eighth National Conference on Artificial Intelligence (AAAI-90),
Menlo Park, CA: AAAI Press, 1990
- Tutorial
on Planning on the Web, Craig Knoblock and Jose Luis Ambite, 14th
International Conference on Automated Planning and Scheduling, June 3, 2004.
- Tutorial
on Information Integration on the Web, Craig Knoblock and Subbarao
Kambhampati, Eighteenth National Conference on Artificial Intelligence, July
29, 2002.
Donald Knuth
- Semantics for context-free languages. Mathematical
Systems Theory 2, 1968
- The Art of Computer Programming, volume 2:
Fundamental Algorithms. Addison-Wesley, Reading, Massachusetts, second edition.
1973
- Simple word problems in universal
algebras. In Leech, J., editor, Computational Problems in Abstract
Algebra, Pergamon, New York.
1970
- An analysis of alpha-beta pruning.
Artificial Intelligence, 1975
Jan J. Koenderink
: publications
- Invariant properties of the
motion parallax field due to the movement of rigid bodies relative to an
observer. Optica Acta, 1975
- The
Structure of Images, Biological Cybernetics, 1984
- Solid Shape. MIT Press, Cambridge,
Massachusetts.
1990
W. Kohn
- Declarative control architecture. Communications of the
Association for Computing Machinery, 1991
Teuvo
Kohonen
- Self-Organization and Associative Memory.
Springer-Verlag, Berlin, third edition.
1989
Daphne
Koller : papers
- Towards robust automatic traffic scene analysis in
real-time. In Proceedings of the International Conference on Pattern
Recognition, Israel.
1994
- Proceedings of the Seventeenth Conference on Uncertainty in Artificial
Intelligence (UAI-2001), Jack Breese and Daphne Koller, Eds., Morgan
Kaufmann, 2001.
Andrey Nikolayevich Kolmogorov
- Interpolation und extrapolation von stationaren
zufalligen folgen. Bulletin of the Academy of Sciences of the USSR,
1941
- Foundations of the Theory of Probability.
Chelsea, New York. English translation of Kolmogorov, 1950
- On tables of random numbers. Sankhya, the
Indian Journal of Statistics, Series A 25.
1963
- Three approaches to the quantitative definition of
information. Problems in Information Transmission, 1965
Janet Kolodner
- Reconstructive memory: A computer model. Cognitive
Science, 1983
- Case-Based
Reasoning, San Francisco: Morgan Kaufmann, 1993
Kurt Konolige
- A First-Order
Formalization of Knowledge and Action for a Multi-Agent Planning System :
in Hayes, J., Michie, D., & Pao, Y. (eds.), Machine Intelligence 10, Chichester,
England: Ellis Horwood, Ltd., 1982
- A Deduction
Model of Belief, London: Pitman, 1986
Tjalling C. Koopmans
Richard
Korf : publications
- Depth-first iterative-deepening: an optimal admissible
tree search : Artificial Intelligence, 1985
- Iterative-deepening A*: An optimal admissible tree
search : In Proceedings of the Ninth International Joint Conference on
Artificial Intelligence (IJCAI-85) : Los Angeles,
California. Morgan Kaufmann.
1985
- Planning as Search:
A Quantitative Approach : Artificial Intelligence,
1987
- Optimal path finding algorithms : In Kanal, L. N. &
Kumar, V., editors, Search in Artificial Intelligence, Springer-Verlag, Berlin.
1988
- Real-Time
Heuristic Search : Artificial Intelligence, 42, 1990
- Multi-Player Alpha-Beta
Pruning : Artificial Intelligence, 1991
- Search : in
Shapiro, S. (ed.), Encyclopedia of Artificial Intelligence, Second Edition,
pp.1460-1467, New York: John Wiley & Sons, 1992.
- Linear-Space Best-First
Search : Artificial Intelligence, 1993
- Space-Efficient
Search Algorithms : ACM Computing Surveys, 1996
- Finding Optimal
Solutions to Rubik's Cube Using Pattern Databases : in Proceedings of
the Fourteenth National Conference on Artificial Intelligence (AAAI-97), nl
pp.700-705, Menlo Park, CA: AAAI Press, 1997
- Finding Optimal Solutions to the Twenty-Four Puzzle
: in Proceedings
of the Thirteenth National Conference on Artificial Intelligence (AAAI-96),
Menlo Park, CA: AAAI Press, 1996
Bart
A. Kosko : publications
- Neural Networks
and Fuzzy Systems, Prentice-Hall, 1991
- ÆÛÁö½Ä»ç°í
(Fuzzy Thinking) : Hyperion/Disney Books, 1993
- Intelligent
Signal Processing, with S. Haykin (co-editors), IEEE Press , 2001
A. Kotok
- A chess playing program for the IBM 7090. AI Project Memo
41, MIT Computation Center, Cambridge, Massachusetts.
1962
Robert
A. Kowalski
- Predicate
Logic as a Programming Language, in Proceedings of the IFIP-74 Congress, Amsterdam: Elsevier/North-Holland, 1974
- Algorithm = logic + control. Communications of the
Association for Computing Machinery, 1979
- Logic for Problem Solving.
Elsevier/North-Holland, Amsterdam, London, New York.
1979
- The early years of logic programming.
Communications of the Association for Computing Machinery, 1988
- A logic-based calculus of events.
New Generation Computing, 1986
- A Metalogic Programming Approach to Multi-Agent Belief,
in Lifschitz, V. (ed.), Artificial Intelligence and Mathematical Theory of
Computation: Papers in Honor of John McCarthy, Boston: Academic
Press, 1991
John
Koza
- Genetic Programming:
On the Programming of Computers by Means of Natural Selection, Cambridge,
MA: MIT Press, 1992
- {Genetic Programming
II: Automatic Discovery of Reusable Programs}, Cambridge, MA: MIT Press,
1994
- "Automated WYSIWYG Design of Both the Topology
and Component Values of Analog Electrical Circuits Using Genetic Programming,"
in Koza, John R., Goldberg, David E., Fogel, David B., & Riolo, Rick L. (eds.),
{Genetic Programming 1996: Proceedings of the First Annual Conference},
Stanford University, July 28-31, 1996, Cambridge, MA: MIT Press. 1996
Saul Kripke
- Semantical Considerations
on Modal Logic, {Acta Philosophica Fennica}, 1963
E. Kruppa
- Zur Ermittlung eines Objecktes aus zwei Perspektiven mit
innerer Orientierung. Sitz.-Ber. Akad. Wiss., Wien, Math. Naturw., Kl. Abt.
IIa, 1913
D. Kuehner
- A note on the relation between resolution and Maslov's
inverse method. DCL Memo 36, University of Edinburgh.
1971
Benjamin Kuipers
- The Semantic Hierarchy in Robot Learning,
in Connell, J., & Mahadevan, S. (eds.), {Robot Learning}, Boston:
Kluwer Academic Publishers, 1993
- A Robot Exploration and Mapping Strategy Based on a Semantic Hierarchy
of Spatial Representations, Robotics and Autonomous Systems,
1991
Casimir A. Kulikowski
: publications
- Computer Systems That Learn:
Classification and Prediction Methods from Statistics, Neural Nets, Machine
Learning, and Expert Systems. Morgan Kaufmann, San Mateo, California.
1991
Karen Kukich
- Techniques for automatically correcting words in text.
ACM Computing Surveys, 1992
Vipin Kumar
: papers
- A general branch and bound formulation
for understanding and synthesizing and/or tree search procedures. Artificial
Intelligence, 1983
- The CDP: A Unifying Formulation for Heuristic Search, Dynamic Programming,
and Branch-and-Bound, in Kanal, L., & Kumar, V. (eds.), {Search in
Artificial Intelligence}, Berlin: Springer-Verlag, 1988
- A general branch-and-bound
formulation for AND/OR graph and game tree search. In Kanal, L. N. & Kumar,
V., editors, Search in Artificial Intelligence, Springer-Verlag, Berlin.
1988
- Algorithms for
Constraint-Satisfaction Problems: A Survey, Artificial Intelligence
Magazine, 1992
- A general heuristic bottom-up procedure for searching
AND/OR graphs. Information Sciences, 1991
- Introduction to Data Mining.
Pang-Ning Tan, Michael Steinbach,
Vipin Kumar, Addison-Wesley April 2005
Raymond
Kurzweil
- The Age of Intelligent Machines. MIT Press,
Cambridge, Massachusetts.
1990
- The 10% Solution for a
Healthy Life (1994)
- 21¼¼±â È£¸ð »çÇÇ¿£½º
: The Age of Spiritual Machines:
When Computers Exceed Human Intelligence (Viking Penguin, 2000)
- Fantastic Voyage: Live Long
Enough to Live Forever (2004)
- The Singularity Is Near: When Humans
Transcend Biology (2005)
Henry Kyburg
- Randomness and the right reference class. The
Journal of Philosophy, 1977
- The reference class. Philosophy of Science,
1983