1381. Selman B. and Levesque H. J. (1993) The complexity of path-based defeasible inheritance. ArtificialIntelligence, 62(2), p. 303-339.

1382. Selman В., Levesque H. J., and Mitchell D. (1992) A new method for solving hard satisfiability

problems. In Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI-92), p. 440-446, San Jose. AAAI Press.

1383. Shachter R. D. (1986) Evaluating influence diagrams. Operations Research, 34, p. 871-882.

1384. Shachter R. D. (1998) Bayes-ball: The rational pastime (for determining irrelevance and requisiteinformation in belief networks and influence diagrams). In Uncertainty in Artificial Intelligence: Proceedings of the Fourteenth Conference, p. 480-487, Madison, Wisconsin. Morgan Kaufmann.

1385. Shachter R. D., D'Ambrosio В., and Del Favero B. A. (1990) Symbolic probabilistic inference inbelief networks. In Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI- 90), p. 126-131, Boston. MIT Press.

1386. Shachter R. D. and Kenley С R. (1989) Gaussian influence diagrams. Management Science, 35(5),p. 527-550.

1387. Shachter R. D. and Peot M. (1989) Simulation approaches to general probabilistic inference on beliefnetworks. In Proceedings of the Fifth Conference on Uncertainty in Artificial Intelligence (UAI-89), Windsor, Ontario. Morgan Kaufmann.

1388. Shafer G. (1976) A Mathematical Theory of Evidence. Princeton University Press, Princeton, NewJersey.

1389. Shafer G. and Pearl J. (Eds.) (1990) Readings in Uncertain Reasoning. Morgan Kaufmann, SanMateo, California.

1390. Shahookar K. and Mazumder P. (1991) VLSI cell placement techniques. Computing Surveys, 23(2),p. 143-220.

1391. Shanahan M. (1997) Solving the Frame Problem. MIT Press, Cambridge, Massachusetts.

1392. Shanahan M. (1999) The event calculus explained. In Wooldridge M. J. and Veloso M. (Eds.)Artificial Intelligence Today, p. 409-430. Springer- Verlag, Berlin.

1393. Shankar N. (1986) Proof-Checking Metamathematics. Ph.D. thesis, Computer Science Department,University of Texas at Austin.

1394. Shannon С. Е. and Weaver W. (1949) The Mathematical Theory of Communication. University ofIllinois Press, Urbana, Illinois.

1395. Shannon С. Е. (1950) Programming a computer for playing chess. Philosophical Magazine, 41(A),p. 256-275.

1396. Shapiro E. (1981) An algorithm that infers theories from facts. In Proceedings of the SeventhInternational Joint Conference on Artificial Intelligence (IJCAI-81), p. 1064, Vancouver, British Columbia. Morgan Kaufmann.

1397. Shapiro S. C. (Ed.) (1992) Encyclopedia of Artificial Intelligence (second edition). Wiley, New York.

1398. Shapley S. (1953) Stochastic games. In Proceedings of the National Academy of Sciences, Vol. 39,p. 1095-1100.

1399. Shavlik J. and Dietterich T. (Eds.) (1990) Readings in Machine Learning. Morgan Kaufmann, SanMateo, California.

1400. Shelley M. (1818) Frankenstein: or, the Modern Prometheus. Pickering and Chatto.