861. Kruppa E. (1913) Zur Ermittlung eines Objecktes aus zwei Perspektiven mit innerer Orientierung.Sitz.-Ber. Akad. Wiss., Wien, Math. Naturw., Kl. Abt. Ila, 122, p. 1939-1948.

862. Kuhn H. W. (1953) Extensive games and the problem of information. In Kuhn H. W. and Tucker A.W. (Eds.), Contributions to the Theory of Games II Princeton University Press, Princeton, New Jersey.

863. Kuipers B. J. and Levitt T. S. (1988) Navigation and mapping in large-scale space. AIMagazine, 9(2),p. 25-43.

864. Kukich K. (1992) Techniques for automatically correcting words in text. ACM Computing Surveys,24(4), p. 377-439.

865. Kumar P. R. and Varaiya P. (1986) Stochastic systems: Estimation, identification, and adaptive control.Prentice-Hall, Upper Saddle River, New Jersey.

866. Kumar V. (1992) Algorithms for constraint satisfaction problems: A survey. AIMagazine, 13(\), p. 32-44.

867. Kumar V. and Kanal L. N. (1983) A general branch and bound formulation for understanding andsynthesizing and/or tree search procedures. Artificial Intelligence, 21, p. 179-198.

868. Kumar V. and Kanal L. N. (1988) The CDP: A unifying formulation for heuristic search, dynamicprogramming, and branch-and-bound. In Kanal L. N. and Kumar V. (Eds.), Search in Artificial Intelligence, chap. 1, p. 1-27. Springer-Verlag, Berlin.

869. Kumar V., Nau D. S., and Kanal L. N. (1988) A general branch-and-bound formulation for AND/ORgraph and game tree search. In Kanal L. N. and Kumar V. (Eds.), Search in Artificial Intelligence, chap. 3, p. 91-130. Springer-Verlag, Berlin.

870. Kuper G. M. and Vardi M. Y. (1993) On the complexity of queries in the logical data model.Theoretical Computer Science, 116(1), p. 33-57.

871. Kurzweil R. (1990) The Age of Intelligent Machines. MIT Press, Cambridge, Massachusetts.

872. Kurzweil R. (2000) The Age of Spiritual Machines. Penguin.

873. Kyburg H. E. (1977) Randomness and the right reference class. The Journal of Philosophy, 74(9),p. 501-521.

874. Kyburg H. E. (1983) The reference class. Philosophy of Science, 50, p. 374-397.

875. La Mettrie J. O. (1748) L'homme machine. E. Luzac, Leyde, France.

876. La Mura P. and Shoham Y. (1999) Expected utility networks. In Uncertainty in Artificial Intelligence:Proceeding? of the Fifteenth Conference, p. 366-373, Stockholm. Morgan Kaufmann.

877. Ladkin P. (1986a) Primitives and units for time specification. In Proceeding? of the Fifth NationalConference on Artificial Intelligence (AAAI-86), Vol. 1, p. 354-359, Philadelphia. Morgan Kaufmann.

878. Ladkin P. (1986b) Time representation: a taxonomy of interval relations. In Proceedings of the FifthNational Conference on Artificial Intelligence (AAAI-86), Vol. 1, p. 360-366, Philadelphia. Morgan Kaufmann.

879. Lafferty J. and Zhai С (2001) Probabilistic relevance models based on document and querygeneration. In Proceedings of the Workshop on Language Modeling and Information retrieval.

880. Laird J. E., Newell A., and Rosenbloom P. S. (1987) SOAR: An architecture for general intelligence.Artificial Intelligence, 33(\), p. 1—64.