{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T07:27:37Z","timestamp":1761290857000},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1989,12,1]],"date-time":"1989-12-01T00:00:00Z","timestamp":628473600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Intell Robot Syst"],"published-print":{"date-parts":[[1989,12]]},"DOI":"10.1007\/bf00126469","type":"journal-article","created":{"date-parts":[[2004,11,11]],"date-time":"2004-11-11T16:14:37Z","timestamp":1100189677000},"page":"407-425","source":"Crossref","is-referenced-by-count":7,"title":["A framework for knowledge-based control"],"prefix":"10.1007","volume":"1","author":[{"given":"Spyros","family":"Tzafestas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antoni","family":"Lig\u0119za","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF00126469_CR1","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1177\/003754978604600102","volume":"46","author":"R. O'Keefe","year":"1986","unstructured":"O'Keefe, R., Simulation and expert systems \u2014 a taxonomy and some examples, Simulation 46, 10\u201316 (1986).","journal-title":"Simulation"},{"key":"BF00126469_CR2","unstructured":"Iserman, R., Preprints of the 10th IFAC World Congress, Vol. 7, Munich (1987)."},{"key":"BF00126469_CR3","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/0005-1098(86)90026-9","volume":"22","author":"K.J. \u00c5str\u00f6m","year":"1986","unstructured":"\u00c5str\u00f6m, K.J., Anton, J.J. and Arzen, K.-E., Expert control, Automatica 22, 277\u2013286 (1986).","journal-title":"Automatica"},{"key":"BF00126469_CR4","unstructured":"Tzafestas, S., AI techniques in control: an overview, Reprints of the IMACS Int. Symposium on AI, Expert Systems and Languages in Modelling and Simulation, Barcelona (1987), pp. 55\u201367."},{"key":"BF00126469_CR5","unstructured":"Tzafestas, S. and Lig\u0119za, A., Expert control through decision making, Reprints of the IMACS Int. Symposium on AI, Expert Systems and Languages in Modelling and Simulation, Barcelona (1987), pp. 91\u201396."},{"key":"BF00126469_CR6","unstructured":"Lig\u0119za, A., An Expert systems approach to analysis and control in certain complex systems, Preprints of the 4-th IFAC\/IFIP Symposium for Computer Control SOCOCO '86, Graz (1986), pp. 147\u2013152."},{"key":"BF00126469_CR7","unstructured":"Lig\u0119za, A., Knowledge engineering bases for expert systems, Proceedings of the Second National Polish Seminar on Artificial Intelligence, Warsaw, (1987)."},{"key":"BF00126469_CR8","doi-asserted-by":"crossref","first-page":"725","DOI":"10.1109\/TSMC.1978.4309842","volume":"8","author":"M.C. Pease","year":"1978","unstructured":"Pease, M.C., ACS. 1: An experimental command support system, IEEE Trans. Systems Man. Cybernet. 8, 725\u2013735 (1978).","journal-title":"IEEE Trans. Systems Man. Cybernet."},{"key":"BF00126469_CR9","volume-title":"The Handbook of Artificial Intelligence","year":"1982","unstructured":"Barr A. and Feigenbaum E., (eds.), The Handbook of Artificial Intelligence, Vol. II, William Kaufmann, Los Altos, California (1982)."},{"key":"BF00126469_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-2471-1","volume-title":"Knowledge-Based System Diagnosis, Supervision and Control","author":"S. Tzafestas","year":"1989","unstructured":"Tzafestas, S., Knowledge-Based System Diagnosis, Supervision and Control, Plenum, New York (1989)."},{"key":"BF00126469_CR11","volume-title":"Programming in Prolog","author":"W.F. Clocksin","year":"1984","unstructured":"Clocksin, W.F. and Mellish, C.S., Programming in Prolog (second edn), Springer-Verlag, Berlin (1984).","edition":"second edn"},{"key":"BF00126469_CR12","first-page":"455","volume-title":"Machine Intelligence 10","author":"K.L. Clark","year":"1982","unstructured":"Clark, K.L. and McCabe, F.G., PROLOG: a language for implementing expert systems, in J.E. Hayes, D. Michie and Y.-H. Pao (eds.) Machine Intelligence 10, Ellis Horwood, Chichester (1982), pp. 455\u2013470."},{"key":"BF00126469_CR13","first-page":"164","volume":"4","author":"T. Szuba","year":"1984","unstructured":"Szuba, T., PC-PROLOG for process control applications, Angew. Informatik (Applied Informatics) 4, 164\u2013171 (1984a).","journal-title":"Angew. Informatik (Applied Informatics)"},{"key":"BF00126469_CR14","first-page":"370","volume":"9","author":"T. Szuba","year":"1984","unstructured":"Szuba, T., PROLOG as a real time language for process control, Angew. Informatik (Applied Informatics) 9, 370\u2013374 (1984b).","journal-title":"Angew. Informatik (Applied Informatics)"},{"key":"BF00126469_CR15","volume-title":"Symbolic Logic and Mechanical Theorem Proving","author":"C.L. Chang","year":"1973","unstructured":"Chang, C.L. and Lee, R.C.T., Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York, London (1973)."},{"key":"BF00126469_CR16","volume-title":"Principles of Artificial Intelligence","author":"N.J. Nilsson","year":"1973","unstructured":"Nilsson, N.J., Principles of Artificial Intelligence, Tioga Pub. Co., Palo Alto, California (1973)."},{"key":"BF00126469_CR17","volume-title":"Artificial Intelligence","author":"E. Rich","year":"1983","unstructured":"Rich, E., Artificial Intelligence, McGraw-Hill, Singapore (1983)."},{"key":"BF00126469_CR18","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R.E. Fikes","year":"1971","unstructured":"Fikes, R.E. and Nilsson, N.J., STRIPS: a new approach to the application of theorem proving to problem solving, Artificial Intelligence 2, 189\u2013208 (1971).","journal-title":"Artificial Intelligence"},{"issue":"No. 1","key":"BF00126469_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/comjnl\/26.1.1","volume":"26","author":"P. Leith","year":"1983","unstructured":"Leith, P., Hierarchically structured production rules, The Computer Journal, 26, No. 1, 1\u20135 (1983).","journal-title":"The Computer Journal"},{"key":"BF00126469_CR20","unstructured":"Barski, J., An automatic control system for sinking and hoisting operations on a laboratory model of a drilling rig with the use of MERA 400 computer: Design and implementation, Master Thesis, Academy of Mining and Metallurgy, Krakow (in Polish), 1987."},{"key":"BF00126469_CR21","unstructured":"Lig\u0119za, A., Time-optimal control of the process of sinking drilling instrument, Scientific Bull. Acad. Mining Metallurgy, No. 867, Automatica 24, Krakow (in Polish) (1982)."},{"key":"BF00126469_CR22","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/0004-3702(81)90002-3","volume":"16","author":"T.G. Dietterich","year":"1981","unstructured":"Dietterich, T.G. and Michalski, R.S., Inductive learning of structural descriptions: evaluation criteria and comparative review of selected methods, Artificial Intelligence 16, 257\u2013294 (1981).","journal-title":"Artificial Intelligence"},{"key":"BF00126469_CR23","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/S0020-7373(80)80054-X","volume":"12","author":"R.S. Michalski","year":"1980","unstructured":"Michalski, R.S. and Chilausky, R.L., Knowledge acquisition by encoding expert rules versus computer induction from examples: a case study involving soybean pathology. Int. J. Man-Machine Studies 12 63\u201387 (1980).","journal-title":"Int. J. Man-Machine Studies"},{"key":"BF00126469_CR24","volume-title":"A Practical Guide to Designing Expert Systems","author":"S.M. Weiss","year":"1984","unstructured":"Weiss, S.M. and Kulikowski, C.A., A Practical Guide to Designing Expert Systems, Chapman and Hall, London (1984)."}],"container-title":["Journal of Intelligent and Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00126469.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00126469\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00126469","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T09:19:32Z","timestamp":1554283172000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00126469"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,12]]},"references-count":24,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1989,12]]}},"alternative-id":["BF00126469"],"URL":"https:\/\/doi.org\/10.1007\/bf00126469","relation":{},"ISSN":["0921-0296","1573-0409"],"issn-type":[{"value":"0921-0296","type":"print"},{"value":"1573-0409","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,12]]}}}