Литература
S
Sacerdoti E. D. (1974). A Structure for Plans and Behavior. Amsterdam: Elsevier North-Holland.
Sandewall E. (1986). Nonmonotonic inference rules for multiple inheritance with exceptions. In Proc. IEEE, 74, p. 81-132.
Sanford A. J. (1987). The Mind of Man: Models of Human Understanding. Brighton: Harvester Press.
Schach S. R. (1993). Software Engineering. Richard D. Irwin.
Schank R. C. (1975). Conceptual Information Processing. Amsterdam: North-Holland.
Schank R. C .and Abelson R. (1977). Scripts, Plans, Goals and Understanding. Hillsdale, NJ: Lawrence Erlbaum.
Schank R. C .and Colby K., eds. (1973). Computer Models of Thought and Language. New York: W. H. Freeman.
Schmolze J. G. (1991). Guaranteeing serializable results in synchronous parallel production systems. Journal of Parallel and Distributed Computing, 13(4), p. 348-365.
Schreiber A. Th., Wielinga B. J .and Breuker J. A., eds. (1993). KADS: A Principled Approach to Knowledge-Based System Development. London: Academic Press.
Schubert L. K. (1976). Extending the expressive power of semantic networks. Artificial Intelligence, 1, p. 163-198.
Selman B .and Levesque H. J. (1989). The tractability of path-based inheritance. In Proc .llth International Joint Conference on Artificial Intelligence, p. 1140-1145.
Shafer G. (1976). A Mathematical Theory of Evidence. Princeton NJ: Princeton University Press.
Shafer G .and Pearl J. (1990). Readings in Uncertain Reasoning. Los Altos, CA: Morgan Kauffman.
Shafer G .and Tversky A. (1985). Languages and designs for probability judgment. Cognitive Science, 9, p. 309-339.
Shannon С. Е. (1950). Automatic chess player. Scientific American, 182(48). (Русский перевод: Шеннон К. Работы по теории информации и кибернетике. – М.: ИЛ., 1963.)
Shepherdson J. С. (1984). Negation as Failure. Journal of Logic Programming, 1, p. 51-81.
Shepherdson J. C. (1985). Negation as Failure II. Journal of Logic Programming, 3, p. 185-202.
Shortliffe E. H. (1976). Computer-Based Medical Consultations: MYCIN. New York: Elsevier.
Shortliffe E. H., Scott A. C, Bischoff M. В., van Melle W .and Jacobs C. D. (1981). ONCOCIN: an expert system for oncology protocol management In Proc. 7th International Joint Conference on Artificial Intelligence, p. 876-881.
Sime M. E .and Coombs M. J., eds. (1983). Designing for Human Computer Communication. London: Academic Press.
Simon H. A. (1983). Why should machines learn? In Machine Learning (Michalski R. S., Car-bonell J. G .and Mitchell T. M., eds.), Chapter 2. Palo Alto, CA: Tioga.
Slade S. (1991). Case-based reasoning: A research paradigm. Al Magazine, 12(1), Spring, p. 42-55.
Sleeman D .and Brown J. S., eds. (1982). Intelligent Tutoring Systems. London: Academic Press.
Smith B. C. (1982). Reflection and Semantics in a Procedural Language. MIT-TR-272, Massachusetts Institute of Technology. Also in Readings in Knowledge Representation (Brachman R. J .and Levesque H. J., eds.), 1985. Los Altos, CA: Morgan Kaufmann.
Smith R. G., Winston H. A., Mitchell T .and Buchanan B. G. (1985). Representation and use of explicit justifications for knowledge base refinement. In Proc. 9th International Joint Conference on Artificial Intelligence, p. 673-680.
Smullyan R. (1978). What Is the Name of this Book? New York: Simon and Schuster.
Stefik M. (1979). An examination of a frame-structured representation system. In Proc. 6th International Joint Conference on Artificial Intelligence, p. 845-852.
Stefik M. (1981, a). Planning with constraints. Artificial Intelligence, 16, p. 111-140. Stefik M. (1981, b). Planning and meta-planm'ng. Artificial Intelligence, 16, p. 141-169.