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. Stefik M. (1995). Introduction to Knowledge Systems. San Francisco, CA: Morgan Kaufmann.

Stefik M. and Bobrow D. G. (1986). Object-oriented programming: themes and variations. Al Magazine, 6(4), p. 40-62.

Stefik M., Aikins J., Balzer R., Benoit J., Bimbaum L,, Hayes-Roth F. and Sacerdoti E. (1983). The architecture of expert Systems. In Building Expert Systems (Hayes-Roth F., Waterman D. A. and Lenat D., eds.). Chapter 4. Reading, MA: Addison-Wesley.

Sterling L. and Shapiro E. (1994). The Art of Prolog, 2nd edn. Cambridge, MA: MIT Press. (Русский перевод первого издания: Стерлинг Л., Шапиро Э. Искусство программирования на языке ПРОЛОГ. — М.: Мир, 1990.)

Stroustrup В. (1997). The C++ Programming Language, 3rd ed. Reading, MA: Addison-Wesley.

Studer R., Benjamins V. R. and Fensel D. (1998). Knowledge Engineering: Principles and Methods. Data and Knowledge Engineering, 25(1, 2), p. 161-198.

Sussman G. J. (1975). A Computer Model of Skill Acquisition. New York: American Elsevier.

Suwa W., Scott A. C. and Shortliffe E. H. (1982). An approach to verifying completeness and consistency in a rule-based expert system. Al Magazine, 3(4), p. 16-21.

Swartout W. R. (1983). XPLAIN: a system for creating and explaining expert consulting programs. Artificial Intelligence, 21, p. 285-325.

Szolovits P., eds. (1982). Artificial Intelligence in Medicine. Boulder, CO: Westview Press.

Tate A. (1977). Generating project networks. In Proc. 5th International Joint Conference on Artificial Intelligence, p. 888-893.

Teknowledge (1985). S.I. Reference Manual. Palo Alto, CA: Teknowledge.

Thomason R. (1992). NETL and subsequent path-based inheritance theories. Computers Math. Applic., 23 (2-5), p. 179-204.

Tommelein I. D., Johnson M. V., Hayes-Roth B. and Levitt R. E. (1987). SIGHTPLAN— a blackboard expert system for the layout of temporary facilities on a construction site. In Proc. IFIP WG5.2 Working Conference on Expert Systems in Computer-Aided Design, Sydney, Australia.

Touretzky D. S. (1986). The Mathematics of Inheritance Systems. London: Pitman.

Touretzky D. S., Horty J. F. and Thomason R. H. (1987). A clash of intuitions: the current state of nonmonotonic multiple inheritance systems. In Proc. 10th International Joint Conference on Artificial Intelligence, p. 476-482.

Tu S. W., Eriksson H., German J., Shahar Y. and Musen M. A. (1995). Ontology-based configuration of problem-solving methods and generation of knowledge-acquisition tools: application of PROTEGE-II to protocol-based decision support. Artificial Intelligence in Medicine, 1, p. 257-289.

Tversky A. and Kahneman D. (1974). Judgment under uncertainty: Heuristics and biases. Science, September. Also in Readings in Uncertain Reasoning (Shafer G. and Pearl J., eds.), 1990. Los Altos, CA: Morgan Kaufrnarm.

van Lamsweerde A. and Dufour P., eds. (1987). Current Issues in Expert Systems. London: Academic Press.

van Melle W. J. (1981). System Aids in Constructing Consultation Programs. Ann Arbor MI: UMI Research Press.

von Luck K. and Marburger H., eds. (1994). Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Proceedings. Lecture Notes in Computer Science Vol. 777. Berlin: Springer Verlag.

Walker E. A. and Nguyen H. T. (1996). A First Course in Fuzzy Logic. Boca Raton, FL: CRC Press.

Ward R. D. and Sleeman D. (1987). Learning to use the S.I knowledge engineering tool. Knowledge Engineering Review, 2(4), p. 265-276.

Waterman D. A. (1986). A Guide to Expert Systems. Reading, MA: Addison-Wesley. (Русский перевод: Уотермен Д. Руководство по экспертным системам. —М.: Мир, 1989.)

Waterman D. A. and Hayes-Roth F. (1978). Pattern Directed Inference Systems. New York: Academic Press.

Watson I. (1995). Progress in Case-Based Reasoning. Lecture Notes in Artificial Intelligence, 1020. Berlin: Springer-Verlag.

Watson I. and Marir F. (1994). Case-Based Reasoning: A Review. The Knowledge Engineering Review, 9 (4), p. 355-381.

Weiss S, M. and Kulikowski C. A. (1983). A Practical Guide to Designing Expert Systems. London: Chapman and Hall.

Wielinga B. J. and Breuker J. A. (1986). Models of expertise. In Proc. 7th European Conference on Artificial Intelligence, p. 306-318.

Wielinga B. J. and Schreiber A. Th. (1994). Conceptual modelling of large reusable knowledge bases. In Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Proceedings (von Luck K. and Mar-burger H., eds.), p. 181-200. Lecture Notes in Computer Science, Vol. 777. Berlin: Springer Verlag.

Wielinga B. J., Schreiber A. Th. and Breuker J. A. (1992). KADS: A modelling approach to knowledge engineering. Knowledge Acquisition, 4(1), p. 5-53. Special issue: The KADS approach to knowledge engineering. Reprinted in Readings in Knowledge Acquisition and Learning (Buchanan B. G. and WilkinsD. G., eds.), 1992. Los Altos, CA: Morgan Kauf-mann.

Wilkins D. C. (1988). Knowledge base refinement using apprenticeship learning techniques. In Proc. National Conference on Artificial Intelligence, p. 646-651.

Wilkins D. C. (1990). Knowledge base refinement as improving an incomplete and incorrect domain theory. In Machine Learning: An Artificial Intelligence Approach, Vol. Ill (Kodratoff Y. and Michalski R. S., eds.), p. 493-514. Los Altos,.CA: Morgan Kaufmann.

Wilkins D. C. and Buchanan B. G. (1986). On debugging rule sets when reasoning under certainty. In Proc. National Conference on Artificial Intelligence, p. 448—454.

Winograd T. (1972). Understanding natural language. Cognitive Psychology, 1, p. 1-191. (Русский перевод первого издания: Виноград Т. Программа, понимающая естественный язык. — М.: Мир, 1976.)

Winograd Т. (1975). Frame representations and the declarative/procedural controversy. In Representation and Understanding (Bobrow D. G. and Collins A., eds.). New York: Academic Press.

Winston P. H. (1975, a). Learning structural descriptions from examples. In The Psychology of Computer Vision (Winston P. H., eds.), Chapter 5. New York: McGraw-Hill.

Winston P. H., eds. (1975, b). The Psychology of Computer Vision. New York: McGraw-Hill. Winston P. H. (1982). Learning new principles from precedents and examples. Artificial Intelligence, 19, p. 321-350.

Winston P. H. (1984). Artificial Intelligence. Reading, MA: Addison-Wesley Winston P. H. (1992). Artificial Intelligence, 3rd edn. Reading, MA: Addison-Wesley. (Русский перевод первого издания: Уинстон П. Искусственный интеллект. — М.: Мир, 1980. — 519с.)

Winston P. H. and Brown R. H. (1979). Artificial Intelligence: An MIT Perspective, Vols 1 and 2. Cambridge, MA: MIT Press.

Winston P. H. and Horn K. P. (1981). LISP. Reading, MA: Addison-Wesley. Winston P. H. and Horn K. P. (1984). LISP, 2nd ed. Reading, MA: Addison-Wesley. Winston P. H. and Horn K. P. (1988). LISP, 3rd ed. Reading, MA: Addison-Wesley.

Winston P. H. and Shellard S. A. (1990). Artificial Intelligence at MIT: Expanding Frontiers, Vols 1 and 2. Cambridge, MA: MIT Press.

Wise B. P. and Henrion M. (1986). A framework for comparing uncertain inference systems to probability. In Uncertainty in Artificial Intelligence (Kanal L. N. and Lemmer J. F., eds.) p. 69-83. Amsterdam: North-Holland.

Woods W. (1975). What's in a link: Foundations for semantic networks. In Representation and Understanding (Bobrow D. G. and Collins A., eds.). New York: Academic Press.

Yager R. R. and Filev D. P. (1994). Essentials of Fuzzy Modeling and Control. New York: Wiley.

Yen J. (1986). A reasoning model based on an extended Dempster-Shafer theory. In Proc National Conference on Artificial Intelligence, p. 125-131. Yen J., Juang H. and MacGregor R. (1991, a). Using polymorphism to improve expert system maintainability. IEEE Expert, April. Yen J., Neches R. and MacGregor R. (1991, b). CLASP: Integrating term subsumption systems and production systems. In IEEE Transactions on Knowledge and Data Engineering, 3, 1, March.

Zadeh L. A. (1965). Fuzzy sets. Information and Control, 8, p. 338-353. Zadeh L. A. (1975). Fuzzy logic and approximate reasoning. Synthese, 30, p. 407-428. Zadeh L. A. (1978). Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems 1, p. 3-28. Zadeh L. A. (1981). PUF — a meaning representation language for natural languages. In Fuzzy

Reasoning and its Applications (Mamdani E. H. and Gaines B. D., eds.), p. 1-66. London:

Academic Press.