781. Kay M., Gawron J. M., and Norvig P. (1994) Verbmobil: A Translation System for Face-To-FaceDialog. CSLI Press, Stanford, California.

782. Kaye R. (2000) Minesweeper is NP-complete! Mathematical Intelligencer, 5(22), p. 9-15.

783. Kearns M. (1990) The Computational Complexity of Machine Learning. MIT Press, Cambridge,Massachusetts.

784. Kearns M., Mansour Y., and Ng A. Y. (2000) Approximate planning in large POMDPs via reusabletrajectories. In Solla S. A., Leen Т. К., and Muller K.-R. (Eds.), Advances in Neural Information Processing Systems 12. MIT Press, Cambridge, Massachusetts.

785. Kearns M. and Singh S. P. (1998) Near-optimal reinforcement learning in polynomial time. InProceedings of the Fifteenth International Conference on Machine Learning, p. 260-268, Madison, Wisconsin. Morgan Kaufmann.

786. Kearns M. and Vazirani U. (1994) An Introduction to Computational Learning Theory. MIT Press,Cambridge, Massachusetts.

787. Keeney R. L. (1974) Multiplicative utility functions. Operations Research, 22, p. 22-34.

788. Keeney R. L. and Raiffa H. (1976) Decisions with Multiple Objectives: Preferences and Value Tradeoffs.Wiley, New York.

789. Kehler A. (1997) Probabilistic coreference in information extraction. In Cardie С and Weischedel R.(Eds.), Proceedings of the Second Conference on Empirical Methods in Natural Language Processing, p. 163—173. Association for Computational Linguistics, Somerset, New Jersey.

790. Kemp M. (Ed.) (1989) Leonardo on Painting: An Anthology of Writings. Yale University Press, NewHaven, Connecticut.

791. Kern С. and Greenstreet M. R. (1999) Formal verification in hardware design: A survey. ACMTransactions on Design Automation of Electronic Systems, 4(2), p. 123—193.

792. Keynes J. M. (1921) A Treatise on Probability. Macmillan, London.

793. Khatib O. (1986) Real-time obstacle avoidance for robot manipulator and mobile robots. TheInternational Journal of Robotics Research, 5(1), p. 90-98.

794. Kietz J.-U. and Dzeroski S. (1994) Inductive logic programming and learnability. SIGART Bulletin,5(1), p. 22-32.

795. Kim J. H. (1983) CONVINCE: A Conversational Inference Consolidation Engine. Ph.D. thesis,Department of Computer Science, University of California at Los Angeles.

796. Kim J. H. and Pearl J. (1983) A computational model for combined causal and diagnostic reasoning ininference systems. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence (IJCAI-83), p. 190-193, Karlsruhe, Germany. Morgan Kaufmann.

797. Kim J. H. and Pearl J. (1987) CONVINCE: A conversational inference consolidation engine. IEEETransactions on Systems, Man, and Cybernetics, 17(2), p. 120-132.

798. King R. D., Muggleton S. H., Lewis R. A., and Sternberg M. J. E. (1992) Drug design by machinelearning: 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, 89(23), p. 11322-11326.

799. Kirkpatrick S., Gelatt С D., and Vecchi M. P. (1983) Optimization by simulated annealing. Science,220, p. 671-680.

800. Kirkpatrick S. and Selman B. (1994) Critical behavior in the satisfiability of random Booleanexpressions. Science, 264(5163), p. 1297-1301.