{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T05:30:09Z","timestamp":1736487009463,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540645825"},{"type":"electronic","value":"9783540693482"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64582-9_742","type":"book-chapter","created":{"date-parts":[[2006,7,17]],"date-time":"2006-07-17T14:22:10Z","timestamp":1153146130000},"page":"124-133","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Knowledge modeling of program supervision task"],"prefix":"10.1007","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 Pobill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,30]]},"reference":[{"key":"11_CR1","unstructured":"R. Bodington, E. Gallier, and C. Theot. The Vision System Development Environment (VSDE): A software environment for the automatic configuration of inspection systems. Draft version, 1992."},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"R. Benjamins, L. Nunes de Barros, and A. Valente. Constructing Planners Through Problem-Solving Methods. In 10th Banff Knowledge Acquisition for Knowledge-Based Systems Workshop, 1996.","DOI":"10.1007\/3-540-61273-4_1"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"R. Benjamins and C. Pierret-Golbreich. Assumptions of problem-solving methods. In N. Shadbolt, K. O'Hara, and G. Schreiber, editors, Advances in Knowledge Acquisition, number 1076 in Lecture Notes in Artificial Intelligence. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61273-4_1"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"S. Chien. Automated synthesis of image processing procedures for a large-scale image database. IEEE International Conference on Image Processing, pages 796\u2013800, 1994.","DOI":"10.1109\/ICIP.1994.413779"},{"key":"11_CR5","unstructured":"D. Fensel, A. Sch\u00f6negge, R. Groenboom, and B. Wielinga. Specification and Verification of Knowledge-Based Systems. In European Conference on Artificial Intelligence workshop on Validation, Verification and Refinement of Knowledge-Based Systems, 1996."},{"key":"11_CR6","unstructured":"M. Marcos, S. Moisan, and A. P. del Pobil. A Model-Based Approach to the Verification of Program Supervision Systems. In 4th European Symposium on the Validation and Verification of Knowledge Based Systems, pages 231\u2013241, June 1997."},{"key":"11_CR7","unstructured":"L. Nunes de Barros, A. Valente, and R. Benjamins. Modeling Planning Tasks. In 3rd International Conference on Artificial Intelligence Planning Systems, 1996."},{"issue":"2","key":"11_CR8","first-page":"140","volume":"3","author":"M. Thonnat","year":"1994","unstructured":"M. Thonnat, V. Clement, and J. Van den Elst. Supervision of Perception Tasks for Autonomous Systems: The OCAPI Approach. International Journal of Information Science and Technology, 3(2):140\u2013163, 1994.","journal-title":"International Journal of Information Science and Technology"},{"key":"11_CR9","unstructured":"J. van den Elst. Knowledge Modelling for Program Supervision in Image Processing. PhD thesis, Universite de Nice, October 1996."},{"key":"11_CR10","unstructured":"R. Vincent. Etude des m\u00e9canismes de gestion des erreurs dans les syst\u00e8mes \u00e0 base de connaisances de pilotage de programmes. PhD thesis, Universit\u00e9 de Nice, March 1997."},{"key":"11_CR11","unstructured":"B. Wielinga, H. Hassan, O. Olsson, K. Orsviirn, G. Schreiber, P. Terpstra, W. van de Welde, and S. Wells. Expertise Model Definition Document. Technical Report KADS-II\/M2\/UvA\/026\/5.0, 1994."}],"container-title":["Lecture Notes in Computer Science","Methodology and Tools in Knowledge-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64582-9_742","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T22:48:51Z","timestamp":1736462931000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64582-9_742"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540645825","9783540693482"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-64582-9_742","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"30 July 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}