{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:40:12Z","timestamp":1742593212611,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540529521"},{"type":"electronic","value":"9783540471837"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52952-7_9","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:51:41Z","timestamp":1330206701000},"page":"71-81","source":"Crossref","is-referenced-by-count":0,"title":["Changing philosophy of teaching artificial intelligence a case study"],"prefix":"10.1007","author":[{"given":"Jozef","family":"Kelemen","sequence":"first","affiliation":[]},{"given":"Peter","family":"Mikuleck\u00fd","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"9_CR1","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C.-L. Chang","year":"1973","unstructured":"Chang, C.-L., Lee, R.C.-T.: Symbolic Logic and Mechanical Theorem Proving. Academic Press, New York, 1973"},{"key":"9_CR2","first-page":"121","volume-title":"Artificial Intelligence and Information-Control Systems of Robots '89","author":"E. Csuhaj-Varj\u00fa","year":"1989","unstructured":"Csuhaj-Varj\u00fa, E., Kelemen, J.: Cooperating Grammar Systems \u2014 A Syntactical Framework for Blackboard Model of Problem Solving. In: Artificial Intelligence and Information-Control Systems of Robots '89 (I. Plander, ed.), North-Holland, Amsterdam, 1989, pp. 121\u2013127"},{"volume-title":"Syntactic Pattern Recognition, Applications","year":"1977","key":"9_CR3","unstructured":"Fu, K.S. (Ed.): Syntactic Pattern Recognition, Applications. Springer-Verlag, Berlin, 1977"},{"key":"9_CR4","volume-title":"Logical Foundations of Artificial Intelligence","author":"M.R. Genesereth","year":"1987","unstructured":"Genesereth, M.R., Nilsson, N.J.: Logical Foundations of Artificial Intelligence. Morgan Kaufman, Inc., Los Altos, Cal., 1987"},{"key":"9_CR5","first-page":"821","volume-title":"Cybernetics and System Research","author":"F. Gy\u00e1rf\u00e1\u0161","year":"1984","unstructured":"Gy\u00e1rf\u00e1\u0161, F., Popper, M.: CODEX \u2014 Prototypes Driven Backward and Forward Chaining Computer-Based Diagnostic Expert System. In: Cybernetics and System Research, Vol.2 (R. Trappl, Ed.), North-Holland, Amsterdam, 1984, pp. 821\u2013824"},{"key":"9_CR6","volume-title":"Robotics \u2014 An Introduction to the Theory of Cognitive Robots","author":"I.M. Havel","year":"1980","unstructured":"Havel, I.M.: Robotics \u2014 An Introduction to the Theory of Cognitive Robots. SNTL, Prague, 1980 (in Czech)"},{"key":"9_CR7","first-page":"39","volume":"10","author":"J. Hromkovi\u010c","year":"1988","unstructured":"Hromkovi\u010c, J., Kelemen, J.: How to Define Complex Symbol Systems. Papers on Automata and Languages 10 (1988), pp. 39\u201347","journal-title":"Papers on Automata and Languages"},{"key":"9_CR8","volume-title":"Artificial Intelligence","author":"E.B. Hunt","year":"1975","unstructured":"Hunt, E.B.: Artificial Intelligence. Academic Press, New York, 1975"},{"key":"9_CR9","volume-title":"Languages for Frame Representation of Knowledge","author":"I. Kala\u0160","year":"1981","unstructured":"Kala\u0160, I.: Languages for Frame Representation of Knowledge (Diploma thesis). Department of Theoretical Cybernetics, Comenius University, Bratislava, 1981 (in Slovak)"},{"key":"9_CR10","first-page":"170","volume-title":"Trends, Techniques, and Problems in Theoretical Computer Science","author":"I. Kala\u0160","year":"1987","unstructured":"Kala\u0160, I.: A Formal Model of Knowledge-Based Systems. In: Trends, Techniques, and Problems in Theoretical Computer Science (A. Kelemenov\u00e1, J. Kelemen, eds.), Springer-Verlag, Berlin, 1987, pp. 170\u2013181"},{"key":"9_CR11","volume-title":"Another Programming \u2014 An Encounter with Lisp","author":"I. Kala\u0160","year":"1990","unstructured":"Kala\u0160, I.: Another Programming \u2014 An Encounter with Lisp. Alfa, Bratislava, 1990 (in Slovak; to appear)"},{"key":"9_CR12","first-page":"29","volume":"8","author":"J. Kelemen","year":"1989","unstructured":"Kelemen, J.: Measuring Cognitive Resource Use. Computers and Artificial Intelligence 8 (1989), pp. 29\u201342","journal-title":"Computers and Artificial Intelligence"},{"key":"9_CR13","volume-title":"Introduction to Artificial Intelligence","author":"J. Kelemen","year":"1979","unstructured":"Kelemen, J., Mikuleck\u00fd, P., Str\u013a\u017denec, M.: Introduction to Artificial Intelligence. Comenius University, Bratislava, 1979 (in Slovak)"},{"key":"9_CR14","volume-title":"Artificial Intelligence","author":"J. Kelemen","year":"1985","unstructured":"Kelemen, J., Kala\u0160, I., Mikuleck\u00fd, P., Vojtko, M.: Artificial Intelligence. Comenius University, Bratislava, 1985 (in Slovak)"},{"key":"9_CR15","volume-title":"Introduction to the Theory of Artificial Intelligence","author":"J. Kelemen","year":"1989","unstructured":"Kelemen, J., Nagy, S.: Introduction to the Theory of Artificial Intelligence. Tankonyvkiad\u00f3, Budapest, 1989 (in Hungarian)"},{"key":"9_CR16","volume-title":"Logic for Problem Solving","author":"R.A. Kowalski","year":"1979","unstructured":"Kowalski, R.A.: Logic for Problem Solving. North-Holland, Amsterdam, 1979"},{"key":"9_CR17","unstructured":"Marr,D.: Vision. Freeman and Co., San Francisco, Cal., 1982"},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1016\/0010-4655(86)90079-2","volume":"41","author":"P. Mikuleck\u00fd","year":"1986","unstructured":"Mikuleck\u00fd, P.: On Knowledge-Based Software Tools. Computer Physics Communications 41 (1986), pp. 397\u2013401","journal-title":"Computer Physics Communications"},{"key":"9_CR19","first-page":"223","volume":"5","author":"P. Mikuleck\u00fd","year":"1986","unstructured":"Mikuleck\u00fd, P., Kala\u0160, I., Kelemen, J.: Representation of Meta-Knowledge in Expert Systems. Computers and Artificial Intelligence 5 (1986), pp.223\u2013234","journal-title":"Computers and Artificial Intelligence"},{"key":"9_CR20","first-page":"355","volume-title":"Artificial Intelligence and Information-Control Systems of Robots '87","author":"P. Mikuleck\u00fd","year":"1987","unstructured":"Mikuleck\u00fd, P., Chorv\u00e1tov\u00e1, I.: Knowledge-Based Tool for a Scientific Program Library. In: Artificial Intelligence and Information-Control Systems of Robots '87 (I. Plander, Ed.), North-Holland, Amsterdam, 1987, pp. 355\u2013358"},{"key":"9_CR21","volume-title":"A Framework for Representing Knowledge","author":"M. Minsky","year":"1974","unstructured":"Minsky, M.: A Framework for Representing Knowledge. Memo No. 306, MIT AI Lab., Cambridge, Mass., 1974"},{"key":"9_CR22","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/S0364-0213(80)80015-2","volume":"4","author":"A. Newell","year":"1980","unstructured":"Newell, A.: Physical Symbol Systems. Cognitive Science 4, (1980), pp. 135\u2013183","journal-title":"Cognitive Science"},{"key":"9_CR23","volume-title":"The Study of Information: Interdisciplinary Messages","author":"A. Newell","year":"1983","unstructured":"Newell, A.: Intellectual Issues in the History of Artificial Intelligence. In: The Study of Information: Interdisciplinary Messages (F. Machlup, U. Mansfield, Eds.), J.Wiley and Sons, New York, 1983"},{"key":"9_CR24","volume-title":"Problem Solving Methods in Artificial Intelligence","author":"N.J. Nilsson","year":"1971","unstructured":"Nilsson, N.J.: Problem Solving Methods in Artificial Intelligence. McGraw-Hill, New York, 1971"},{"key":"9_CR25","volume-title":"Principles of Artificial Intelligence","author":"N.J. Nilsson","year":"1980","unstructured":"Nilsson, N.J.: Principles of Artificial Intelligence. Tioga, Palo Alto, 1980"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"P\u00e1le\u0160,E.: Cooperation of Syntax and Semantics in Flexive Languages. Journal of Exp. and Theoretical Artificial Intelligence 2 (1990), to appear","DOI":"10.1080\/09528139008953712"},{"key":"9_CR27","volume-title":"Mindstorms","author":"S. Papert","year":"1981","unstructured":"Papert, S.: Mindstorms. Basic Books, New York, 1981"},{"key":"9_CR28","first-page":"423","volume":"3","author":"M. Popper","year":"1984","unstructured":"Popper, M., Kelemen, J.: An Attempt to Conceptualize the Medical Diagnostic Process. Computers and Artificial Intelligence 3 (1984), pp. 423\u2013435","journal-title":"Computers and Artificial Intelligence"},{"key":"9_CR29","volume-title":"Expert Systems","author":"M. Popper","year":"1989","unstructured":"Popper, M., Kelemen, J.: Expert Systems. Alfa, Bratislava, 1989 (in Slovak)"},{"key":"9_CR30","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2004.001.0001","volume-title":"Computation and Cognition","author":"Z. Pylyshyn","year":"1984","unstructured":"Pylyshyn, Z.: Computation and Cognition. The MIT Press, Cambridge, Mass., 1984"},{"key":"9_CR31","volume-title":"The FRL Manual","author":"R.B. Roberts","year":"1977","unstructured":"Roberts, R.B., Goldstein, I.P.: The FRL Manual. Memo No.409, MIT AI Lab., Cambridge, Mass., 1977"},{"key":"9_CR32","volume-title":"Cognitive Science \u2014 An Introduction","author":"N.A. Stillings","year":"1987","unstructured":"Stillings, N.A. et al.: Cognitive Science \u2014 An Introduction. The MIT Press, Cambridge, Mass., 1987"},{"key":"9_CR33","volume-title":"Theory of Pattern Recognition","author":"V.N. Vapnik","year":"1974","unstructured":"Vapnik, V.N., Chervonenkis, A.Ja.: Theory of Pattern Recognition. Nauka, Moscow, 1974 (in Russian)"},{"key":"9_CR34","volume-title":"Language as a Cognitive Process","author":"T. Winograd","year":"1983","unstructured":"Winograd, T.: Language as a Cognitive Process. Addison-Wesley, Reading, Mass., 1983"},{"key":"9_CR35","volume-title":"Artificial Intelligence","author":"P.H. Winston","year":"1977","unstructured":"Winston, P.H.: Artificial Intelligence. Addison-Wesley, Reading, Mass., 1977"},{"key":"9_CR36","volume-title":"Lisp","author":"P.H. Winston","year":"1981","unstructured":"Winston, P.H., Horn, B.K.P.: Lisp. Addison-Wesley, Reading, Mass., 1981"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence in Higher Education"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52952-7_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:06:57Z","timestamp":1742591217000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52952-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540529521","9783540471837"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/3-540-52952-7_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}