321. Dale R., Moisl H., and Somers H. (2000) Handbook of Natural Language Processing. Marcel Dekker,New York.

322. Dantzig G. B. (1949) Programming of interdependent activities: II. Mathematical model.Econometrica, 17, p. 200—211.

323. Darwiche A. (2001) Recursive conditioning. Artificial Intelligence, 126, p. 5-41.

324. Darwiche A. and Ginsberg M. L. (1992) A symbolic generalization of probability theory. InProceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), p. 622—627, San Jose. AAAI Press.

325. Darwin С (1859) On The Origin of Species by Means ofNatural Selection. J. Murray, London.

326. Darwin С (1871) Descent of Man. J. Murray.

327. Dasgupta P., Chakrabarti P. P., and DeSarkar S. С (1994) Agent searching in a tree and theoptimality of iterative deepening. Artificial Intelligence, 71, p. 195-208.

328. Davidson D. (1980) Essays on Actions and Events. Oxford University Press, Oxford, UK.

329. Davies T. R. (1985) Analogy. Informal note IN-CSLI-85-4, Center for the Study of Language andInformation (CSLI), Stanford, California.

330. Davies T. R. and Russell S. J. (1987) A logical approach to reasoning by analogy. In Proceedings of theTenth International Joint Conference on Artificial Intelligence (IJCAI-87), Vol. 1, p. 264-270, Milan. Morgan Kaufmann.

331. Davis E. (1986) Representing and Acquiring Geographic Knowledge. Pitman and Morgan Kaufmann,London and San Mateo, California.

332. Davis E. (1990) Representations of Commonsense Knowledge. Morgan Kaufmann, San Mateo,California.

333. Davis К. Н., Biddulph R., and Balashek S. (1952) Automatic recognition of spoken digits. Journal ofthe Acoustical Society of America, 24(6), p. 637-642.

334. Davis M. (1957) A computer program for Presburger's algorithm. In Robinson A. (Ed.), ProvingTheorems (as Done by Man, Logician, or Machine), p. 215-233, Cornell University, Ithaca, New York. Communications Research Division, Institute for Defense Analysis. Proceedings of the Summer Institute for Symbolic Logic. Second edition; publication date is 1960.

335. Davis M., Logemann G., and Loveland D. (1962) A machine program for theorem-proving.Communications of the Association for Computing Machinery, 5, p. 394—397.

336. Davis M. and Putnam H. (1960) A computing procedure for quantification theory. Journal of theAssociation for Computing Machinery, 7(3), p. 201-215.

337. Davis R. and Lenat D. B. (1982) Knowledge-Based Systems in Artificial Intelligence. McGraw-Hill,New York.

338. Dayan P. (1992) The convergence of TD(X) for general X. Machine Learning, #(3-4), p. 341-362.

339. Dayan P. and Abbott L. F. (2001) Theoretical Neuroscience: Computational and Mathematical Modelingof Neural Systems. MIT Press, Cambridge, Massachusetts.

340. de Dombal F. Т., Leaper D. J., Horrocks J. C, and Staniland J. R. (1974) Human and computer-aided diagnosis of abdominal pain: Further report with emphasis on performance of clinicians. British Medical Journal, 1, p. 376-380.