1421. Simon J. С and Dubois O. (1989) Number of solutions to satisfiability instances — applications toknowledge bases. Int. J Pattern Recognition and Artificial Intelligence, 3, p. 53—65.

1422. Sirovitch L. and Kirby M. (1987) Low-dimensional procedure for the characterization of humanfaces. Journal of the Optical Society of America A, 2, p. 586—591.

1423. Skinner B. F. (1953) Science and Human Behavior. Macmillan, London.

1424. Skolem T. (1920) Logisch-kombinatorische Untersuchungen Uber die ErfbUbarkeit oderBeweisbarkeit mathematischer Satze nebst einem Theoreme uber die dichte Mengen. Videnskapsselskapets skrifter I. Matematisk-naturvidenskabelig klasse, 4.

1425. Skolem T. (1928) Uber die mathematische Logik. Norsk matematisk tidsskrift, 10, p. 125-142.

1426. Slagle J. R. (1963a) A heuristic program that solves symbolic integration problems in freshmancalculus. Journal of the Association for Computing Machinery, /0(4)1427. Slagle J. R. (1963b) Game trees, m & n minimaxing, and the m & n alpha-beta procedure.Artificial intelligence group report 3, University of California, Lawrence Radiation Laboratory, Livermore, California.

1428. Slagle J. R. and Dixon J. K. (1969) Experiments with some programs that search game trees. Journalof the Association for Computing Machinery, 16(2), 189-207.

1429. Slate D. J. and Atkin L. R. (1977) CHESS 4.

5 — Northwestern University chess program. In Frey P.W. (Ed.) Chess Skill in Man and Machine, p. 82-118. Springer-Verlag, Berlin.

1430. Slater E. (1950) Statistics for the chess computer and the factor of mobility. In Symposium onInformation Theory, p. 150—152, London. Ministry of Supply.

1431. Sleator D. and Temperley D. (1993) Parsing English with a link grammar. In Third Annual Workshopon Parsing technologies.

1432. Sloman A. (1978) The Computer Revolution in Philosophy. Harvester Press, Hassocks, Sussex, UK.

1433. Smallwood R. D. and Sondik E. J. (1973) The optimal control of partially observable Markovprocesses over a finite horizon. Operations Research, 21, p. 1071-1088.

1434. Smith D. E., Genesereth M. R., and Ginsberg M. L. (1986) Controlling recursive inference. ArtificialIntelligence, 30(3), p. 343-389.

1435. Smith D. R. (1990) KIDS: a semiautomatic program development system. IEEE Transactions onSoftware Engineering, 16(9), p. 1024-1043.

1436. Smith D. R. (1996) Machine support for software development. In Proceedings of the 18thInternational Conference on Software Engineering, p. 167—168, Berlin. IEEE Computer Society Press.

1437. Smith D. E. and Weld D. S. (1998) Conformant Graphplan. In Proceedings of the Fifteenth NationalConference on Artificial Intelligence (AAAI-98), p. 889-896, Madison, Wisconsin. AAAI Press.

1438. Smith J. Q. (1988) Decision Analysis. Chapman and Hall, London.

1439. Smith J. M. and Szathmary E. (1999) The Origins of Life: From the Birth of Life to the Origin ofLanguage. Oxford University Press, Oxford, UK.

1440. Smith R. C. and Cheeseman P. (1986) On the representation and estimation of spatial uncertainty.International Journal of Robotics Research, 5(4), p. 56—68.