{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T15:40:05Z","timestamp":1747582805062,"version":"3.40.5"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,3,1]],"date-time":"1999-03-01T00:00:00Z","timestamp":920246400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Applied Intelligence"],"published-print":{"date-parts":[[1999,3]]},"DOI":"10.1023\/a:1008375803305","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T14:41:38Z","timestamp":1040568098000},"page":"185-196","source":"Crossref","is-referenced-by-count":0,"title":["Knowledge Modeling of Program Supervision Task and its Application to Knowledge Base Verification"],"prefix":"10.1007","volume":"10","author":[{"given":"Mar","family":"Marcos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sabine","family":"Moisan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angel P.","family":"Del Pobil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"206833_CR1","unstructured":"R. Bodington, E. Gallier, and C. Theot, \u201cThe vision system development environment (VSDE): A software environment for the automatic configuration of inspection systems,\u201d Draft version, 1992."},{"issue":"2","key":"206833_CR2","first-page":"140","volume":"3","author":"M. Thonnat","year":"1994","unstructured":"M. Thonnat, V. Cl\u00e9ment, and J. Van den Elst, \u201cSupervision of perception tasks for autonomous systems: The OCAPI approach,\u201d International Journal of Information Science and Technology, vol. 3,no. 2, pp. 140\u2013163, 1994.","journal-title":"International Journal of Information Science and Technology"},{"key":"206833_CR3","doi-asserted-by":"crossref","unstructured":"S. Chien, \u201cAutomated synthesis of image processing procedures for a large-scale image database,\u201d IEEE International Conference on Image Processing, 1994, pp. 796\u2013800.","DOI":"10.1109\/ICIP.1994.413779"},{"key":"206833_CR4","unstructured":"R. Vincent, \u201cEtude des m\u00e9canismes de gestion des erreurs dans les syst\u00e8mes \u00e0 base de connaisances de pilotage de programmes,\u201d Ph.D. Thesis, Universit\u00e9 de Nice, March 1997."},{"key":"206833_CR5","unstructured":"J. van den Elst, \u201cKnowledge modelling for program supervision in image processing,\u201d Ph.D. Thesis, Universit\u00e9 de Nice, October 1996."},{"key":"206833_CR6","unstructured":"M. Marcos, S. Moisan, and A.P. del Pobil, \u201cA model-based approach to the verification of program supervision systems,\u201d in Proc. Fourth European Symposium on the Validation and Verification of Knowledge Based Systems (EUROVAV-97), June 1997, pp. 231\u2013241."},{"key":"206833_CR7","unstructured":"L. Nunes de Barros, A. Valente, and R. Benjamins, \u201cModeling planning tasks,\u201d in Proc. Third International Conference on Artificial Intelligence Planning Systems (AIPS-96), 1996."},{"key":"206833_CR8","doi-asserted-by":"crossref","unstructured":"R. Benjamins, L. Nunes de Barros, and A. Valente, \u201cConstructing planners through problem-solving methods,\u201d in Proc. Tenth Banff Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW-96), Banff, Canada, 1996.","DOI":"10.1007\/3-540-61273-4_1"},{"key":"206833_CR9","unstructured":"B. Wielinga, H. Hassan, O. Olsson, K. Orsv\u00e4rn, G. Schreiber, P. Terpstra, W. van de Welde, and S. Wells, \u201cExpertise model definition document,\u201d Technical Report KADS-II\/M2\/UvA\/026\/5.0, University of Amsterdam, June 1994."},{"issue":"6","key":"206833_CR10","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/64.363263","volume":"9","author":"G. Schreiber","year":"1994","unstructured":"G. Schreiber, B. Wielinga, R. de Hoog, H. Akkermans, and W. van de Welde, \u201cCommonKADS: A comprehensive methodology for KBS development,\u201d IEEE Expert, vol. 9,no. 6, pp. 28\u201337, 1994.","journal-title":"IEEE Expert"},{"key":"206833_CR11","unstructured":"D. Fensel, A. Sch\u00f6negge, R. Groenboom, and B. Wielinga, \u201cSpecification and verification of knowledge-based systems,\u201d in Proc. Workshop on Validation, Verification and Refinement of Knowledge-Based Systems, Twelfth European Conference on Artificial Intelligence (ECAI-96), 1996."},{"key":"206833_CR12","unstructured":"M. Crub\u00e9zy, M. Marcos, and S. Moisan, \u201cExperiments in building program supervision engines from reusable components,\u201d in Proc. Workshop on Applications of Ontologies and Problem-Solving Methods, Thirteenth European Conference on Artificial Intelligence (ECAI-98), Brighton: England, August 1998, pp. 44\u201353."},{"key":"206833_CR13","doi-asserted-by":"crossref","unstructured":"R. Benjamins and C. Pierret-Golbreich, \u201cAssumptions of problem-solving methods,\u201d in Proc. Nineth European Knowledge Acquisition Workshop (EKAW-96), edited by N. Shadbolt, K. O'Hara, and G. Schreiber, number 1076 in Lecture Notes in Artificial Intelligence, Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61273-4_1"},{"key":"206833_CR14","doi-asserted-by":"crossref","unstructured":"M. Thonnat, S. Moisan, and M. Crub\u00e9zy, \u201cExperience in integrating image processing programs,\u201d in Proc. International Conference on Vision Systems (ICVS-99), Las Palmas, Spain, January, 1999.","DOI":"10.1007\/3-540-49256-9_13"}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008375803305.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008375803305\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008375803305.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:59:10Z","timestamp":1747580350000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008375803305"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,3]]},"references-count":14,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1999,3]]}},"alternative-id":["206833"],"URL":"https:\/\/doi.org\/10.1023\/a:1008375803305","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"type":"print","value":"0924-669X"},{"type":"electronic","value":"1573-7497"}],"subject":[],"published":{"date-parts":[[1999,3]]}}}