{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T22:14:48Z","timestamp":1761862488499},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540635925"},{"type":"electronic","value":"9783540696063"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0026786","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:33:26Z","timestamp":1132385606000},"page":"190-204","source":"Crossref","is-referenced-by-count":3,"title":["Specification of flexible knowledge-based systems"],"prefix":"10.1007","author":[{"given":"Christine","family":"Pierret-Golbreich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xavier","family":"Talon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"13_CR1","unstructured":"Andreka, H., Ryan, M. and Schobbens P.-Y. 1994. Laws of Generalised Priority Operators, In International Workshop on Information Systems \u2014 Correctness and Reusability (ISCORE'94)"},{"key":"13_CR2","unstructured":"R. Wieringa, R. Feenstra (Eds.), VUA IR-357, World Scientific Publishers."},{"key":"13_CR3","unstructured":"Aussenac, N., Frontin, J., Soubie J.L. 1991. Evolution dune reprisentattion dcs connaissances pour l'acquisition. In Knowledge Modelling and Expertise Transfert, 21\u201324, IOS."},{"key":"13_CR4","unstructured":"Angele J., Decker, S., Perkuhn R., Studer R. 1997. Modeling Problem-solving Methods in NewKARL. In 7th workshop Knowledge Engineering Methods and Languages, KEML 97, Milton Keynes, England."},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Benjamins, R. and Pierret-Golbreich, C. 1996. Assumptions of Problem-Solving Methods. Lecture Notes in Artificial Intelligence, 1076, 9th European Knowledge Acquisition Workshop, N. Shadboldt and K. O Hara and G. Schreiber (Ed.), 1\u201316, Springer-Verlag","DOI":"10.1007\/3-540-61273-4_1"},{"key":"13_CR6","unstructured":"Bidoit, M. 1989. PLUSS, un langage pour le d\u00e9veloppement de sp\u00e9cifications alg\u00e9briques modulaires. Th\u00e9se d'Etat, Universit\u00e9 Paris Sud."},{"key":"13_CR7","unstructured":"Bredillet, P., Delouis-Jacob, I., Eyrolles, P., Jehl, O., Krivine J.P., Thiault, P., (1994). The AUSTRAL Expert System for Power Restorationon Distribution Systems, In Fifth Symposium in Intelligent Systems Application to Power Systems (ISAP'94), Montpellier, France"},{"issue":"9","key":"13_CR8","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1145\/130994.131002","volume":"35","author":"B. Chandrasekaran","year":"1992","unstructured":"Chandrasekaran, B., Johnson, T. R. and Smith, J. W. 1992. Task-structure analysis for knowledge modelling. Communications of th ACM, 35(9),124\u2013137.","journal-title":"Communications of th ACM"},{"key":"13_CR9","unstructured":"Ermine, J-L. 1993. G\u00e9nie logiciel et g\u00e9nie cognitif pour les systems \u00e0 base de connaissances. Lavoisier Ed."},{"key":"13_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-2275-1","volume-title":"The Knowledge Acquisition and Representation Language KARL","author":"D. Fensel","year":"1995","unstructured":"Fensel D. 1995. The Knowledge Acquisition and Representation Language KARL. Boston, Dudreccht, London: Kluwer Academic Press."},{"key":"13_CR11","unstructured":"Fensel, D. and Groenbaum, R. 1996. MLPM: Defining semantics and Axiomatisation for Specifying the Reasoning Process of Knowledge-based Systems. In 12th European Conference on Artificial Intelligence, Budapest."},{"key":"13_CR12","unstructured":"Krivine, J. P., & Delouis, I. (1991). Interactive Knowledge-Based System for Assistance in the Analysis and Reinforcement of Power Subtransmission Networks. In Third Symposium on Expert Systems Application to Power Systems, Tokyo, Japon."},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Newell, A. (1982). The knowledge level. Artificial Intelligence, 18.","DOI":"10.1016\/0004-3702(82)90012-1"},{"key":"13_CR14","unstructured":"Pierret-Golbreich, C. and Delouis I. 1991. TASK: task centered representation. In 8th Conference of the Society for the Study of Artificial Intelligence and Simulation of Behavior, Steels and Smith Ed., Springer-Verlag."},{"key":"13_CR15","unstructured":"Pierret-Golbreich, C. 1996. TASK, un environnement pour le d\u00e8veloppement de syst`emes \u00e0 base de connaissances flexibles. Th`ese d'Habilitation \u00e0 diriger des recherehes. Universit\u00e8 Paris Sud."},{"key":"13_CR16","unstructured":"Pierret-Golbreich, C. 1996b. Correctness of Methods w.r.t Problems Specifications, Workshop on Validation Verification and Refinement of Knowledge-based systems of the 12th European Conference on Artificial Intelligence, Wahlster Ed., Wiley & Sons, Ltd."},{"issue":"3","key":"13_CR17","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1017\/S0269888900007918","volume":"11","author":"C. Pierret-Golbreich","year":"1996","unstructured":"Pierret-Golbreich, C. and Talon, X. 1996. TFL: an algebraic language to specify the dynamic behaviour of KBS. The Knowledge Engineering Review, Vol 11: 3 253\u2013280, Cambridge Press.","journal-title":"The Knowledge Engineering Review"},{"key":"13_CR18","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/1042-8143(92)90025-V","volume":"4","author":"A. Puerta","year":"1992","unstructured":"Puerta, A., Agar, J.,Tu, S., and Musen, M. 1992. A multiple method shell for the automatic generation of knowledge acquisition tools. Knowledge Acquisition, 4, 171\u2013196.","journal-title":"Knowledge Acquisition"},{"key":"13_CR19","unstructured":"Ryan, M. D. 1992. Representing defaults as sentences with reduced priority, In B. Nebel and W. Swartout (Ed.), Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92), Morgan Kaufmann."},{"key":"13_CR20","unstructured":"Scapin, D.L., Pierret-Golbreich, C. 1990. Towards a method for task description: MAD. In Berlinguet L. and Berthelette D. (Ed.), Work with Display Units 89. 371\u2013380, Elesevier Science Publishers."},{"key":"13_CR21","volume-title":"Knowledge Based Systems, vol. 11","author":"W. Schreiber","year":"1993","unstructured":"Schreiber, Wielinga and Breuker, J. 1993. KADS. A principled Approach to Knowledge-Based Systems Development. Knowledge Based Systems, vol. 11, Academic Press, London."},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Steels, L. 1990. Components of expertise. AI Magazine, 28\u201340","DOI":"10.1109\/35.57696"},{"key":"13_CR23","unstructured":"Sebillotte, S. and Fallah, D. 1995. Task description \u201cResolve the, emergency situation: Fire\u201d"},{"key":"13_CR24","unstructured":"Final Technical report Esprit Project Intuitive P6593."},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Talon, X. and Pienet-Golbreich, C., 1996. TASK: from the specification to the implementation. In 8th IEEE International Conference on Tools with Artificial Intelligence, 80\u201388, IEEE Computer Society Press.","DOI":"10.1109\/TAI.1996.560404"},{"key":"13_CR26","series-title":"KEML 97","volume-title":"7th Knowledge Engineering Methods and Languages Workshop","author":"X. Talon","year":"1997","unstructured":"Talon, X. and Pierret-Golbreich, C. 1997. A language to specify strategies for flexible problemsolving. In 7th Knowledge Engineering Methods and Languages Workshop, KEML 97, Milton Keynes, England."},{"key":"13_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/1042-8143(92)90012-P","volume":"4","author":"Harmelen","year":"1992","unstructured":"van Harmelen and Balder, 1992. (ML)2, a formal language for KADS conceptual models. Knowledge Acquisition, 4:1, 1992.","journal-title":"Knowledge Acquisition"}],"container-title":["Lecture Notes in Computer Science","Knowledge Acquisition, Modeling and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026786","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T14:02:47Z","timestamp":1683295367000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026786"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540635925","9783540696063"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/bfb0026786","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}