1441. Smith S. J. J., Nau D. S., and Throop T. A. (1998) Success in spades: Using ai planning techniques towin the world championship of computer bridge. In Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI-98), p. 1079-1086, Madison, Wisconsin. AAAI Press.

1442. Smolensky P. (1988) On the proper treatment of connectionism. Behavioral and Brain Sciences, 2,p. 1-74.

1443. Smyth P., Heckerman D., and Jordan M. I. (1997) Probabilistic independence networks for hiddenMarkov probability models. Neural Computation, 9(2), p. 227-269.

1444. Soderland S. and Weld D. S. (1991) Evaluating nonlinear planning. Technical report TR-91-02-03,University of Washington Department of Computer Science and Engineering, Seattle, Washington.

1445. SolomonoffR. J. (1964) A formal theory of inductive inference. Information and Control, 7, p. 1-22;224-254.

1446. Sondik E. J. (1971) The Optimal Control of Partially Observable Markov Decision Processes.Ph.D. thesis, Stanford University, Stanford, California.

1447. Sosic R. and Gu J. (1994) Efficient local search with conflict minimization: A case study of then-queens problem. IEEE Transactions on Knowledge and Data Engineering, 6(5), p. 661—668.

1448. Sowa J. (1999) Knowledge Representation: Logical, Philosophical, and Computational Foundations.Blackwell, Oxford, UK.

1449. Spiegelhalter D. J. (1986) Probabilistic reasoning in predictive expert systems. In Kanal L. N. andLemmer J. F. (Eds.) Uncertainty in Artificial Intelligence, p. 47-67. Elsevier/North-Holland, Amsterdam, London, New York.

1450. Spiegelhalter D. J., Dawid P., Lauritzen S., and Cowell R. (1993) Bayesian analysis in expertsystems. Statistical Science, 8, p. 219-282.

1451. Spielberg S. (2001) AI. Кинофильм.

1452. Spirtes P., Glymour C, and Scheines R. (1993) Causation, prediction, and search. Springer-Verlag,Berlin.

1453. Springsteen B. (1992) 57 channels (and nothin' on). In Human Touch. Sony.

1454. Srinivasan A., Muggleton S. H., King R. D., and Sternberg M. J. E. (1994) Mutagenesis: ILPexperiments in a non-determinate biological domain. In Wrobel S. (Ed.) Proceedings of the 4th International Workshop on Inductive Logic Programming, Vol.

237, p. 217—232. Gesellschaft fur Mathematik und Datenverarbeitung MBH.

1455. Srivas M. and Bickford M. (1990) Formal verification of a pipelined microprocessor. IEEE Software,7(5), p. 52-64.

1456. Stallman R. M. and Sussman G. J. (1977) Forward reasoning and dependency-directed backtrackingin a system for computer-aided circuit analysis. Artificial Intelligence, 9(2), p. 135-196.

1457. Stanfill С and Waltz D. (1986) Toward memory-based reasoning. Communications of the Associationfor Computing Machinery, 29(12), p. 1213-1228.

1458. Stefik M. (1995) Introduction to Knowledge Systems. Morgan Kaufmann, San Mateo, California.

1459. Stein L. A. (2002) Interactive Programming in Java (pre-publication draft). Morgan Kaufmann, SanMateo, California.

1460. Steinbach M., Karypis G., and Kumar V. (2000) A comparison of document clustering techniques.In KDD Workshop on Text Mining, p. 109-110. ACM Press.