{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:50:25Z","timestamp":1725493825893},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660446"},{"type":"electronic","value":"9783540487753"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48775-1_18","type":"book-chapter","created":{"date-parts":[[2007,10,26]],"date-time":"2007-10-26T20:39:28Z","timestamp":1193431168000},"page":"291-308","source":"Crossref","is-referenced-by-count":2,"title":["A Constraint-Based Approach to the Description of Competence"],"prefix":"10.1007","author":[{"given":"S.","family":"White","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Sleeman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,11,7]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"Arcos, J. L., Plaza, E., (1994), \u201cIntegration of Learning into a Knowledge Modelling Framework\u201d, in Proceedings of the Eighth European Knowledge Acquisition Workshop (EKAW\u2019 94), LNCS, Springer Verlag.","DOI":"10.1007\/3-540-58487-0_19"},{"key":"18_CR2","volume-title":"Research Report 97-02","author":"J. L. Arcos","year":"1997","unstructured":"Arcos, J. L., Plaza, E., (1997), \u201cNoos: An Integrated Framework for Problem Solving and Learning\u201d, Research Report 97-02, Institut d\u2019Investigaci\u00f3 en Intellig\u00e8ncia Artificial (IIIA), Barcelona, Spain."},{"key":"18_CR3","unstructured":"Benjamins, V. R., Plaza, E., Motta, E., Fensel, D., Studer, R., Wielinga, B., Schreiber, G., Zdrahal, Z., Decker, S., (1998), \u201cIBROW3 \u2014 An Intelligent Brokering Service for Knowledge Component Reuse on the World-Wide Web\u201d, in proceedings of the Eleventh Banff Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW98), Banff, Alberta, Canada."},{"key":"18_CR4","unstructured":"Benjamins, V. R., Wielinga, B., Wielemaker, J., Fensel, D., (1999), \u201cBrokering Problem Solving Knowledge on the Internet\u201d, in the proceedings of the Eleventh European Workshop on Knowledge Acquisition, Modeling, and Management (EKAW\u2019 99), LNCS, Springer Verlag."},{"key":"18_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0364-0213(89)90010-4","volume":"13","author":"A. Collins","year":"1989","unstructured":"Collins, A., Michalski, R. S., (1989), \u201cThe Logic of Plausible Reasoning: A Core Theory\u201d, Cognitive Science, Vol. 13, pp. 1\u201349.","journal-title":"Cognitive Science"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Fensel, D., Sch\u00f6negge, A., (1997), \u201cUsing KIV to Specify and Verify Architectures of Knowledge-Based Systems\u201d, in Proceedings of the Twelfth International Conference on Automated Software Engineering (ASEC-97), Incline Village, Nevada.","DOI":"10.1109\/ASE.1997.632826"},{"issue":"4","key":"18_CR7","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1006\/ijhc.1998.0210","volume":"49","author":"D. Fensel","year":"1998","unstructured":"Fensel, D., Sch\u00f6negge, A., (1998), \u201cInverse Verification of Problem Solving Methods\u201d, International Journal of Human-Computer Studies, Vol. 49,No. 4, pp. 339\u2013361.","journal-title":"International Journal of Human-Computer Studies"},{"issue":"4","key":"18_CR8","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1006\/ijhc.1998.0217","volume":"49","author":"J. H. Gennari","year":"1998","unstructured":"Gennari, J. H., Cheng, H., Altman, R. B., Musen, M. A., (1998), \u201cReuse, CORBA, and Knowledge-based Systems\u201d, International Journal of Human-Computer Studies, Vol. 49,No. 4, pp. 523\u2013546.","journal-title":"International Journal of Human-Computer Studies"},{"issue":"2\u20133","key":"18_CR9","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0004-3702(92)90021-O","volume":"56","author":"F. Giunchiglia","year":"1992","unstructured":"Giunchiglia, F., Walsh, T., (1992), \u201cA Theory of Abstraction\u201d, Artificial Intelligence, Vol. 56,No. 2\u20133, pp. 323\u2013390.","journal-title":"Artificial Intelligence"},{"key":"18_CR10","unstructured":"Graner, N., Sleeman, D., (1993), \u201cMUSKRAT: A Multistrategy Knowledge Refinement and Acquisition Toolbox\u201d, in proceedings of the Second International Workshop on Multistrategy Learning, R. S. Michalski and G. Tecuci (Eds.), pp. 107\u2013119."},{"key":"18_CR11","unstructured":"Imielinski, T., (1987), \u201cDomain Abstraction and Limited Reasoning\u201d, in Proceedings of the Tenth International Joint Conference on Artificial Intelligence, pp. 997\u20131003."},{"issue":"3","key":"18_CR12","first-page":"78","volume":"33","author":"J. Johnson","year":"1997","unstructured":"Johnson, J., (1997), \u201cMathematics, Representation, and Problem Solving\u201d, Mathematics Today (Bulletin of the Institute of Mathematics and its Applications), Vol. 33,No. 3., pp. 78\u201380.","journal-title":"Mathematics Today (Bulletin of the Institute of Mathematics and its Applications)"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"O\u2019Hara, K., Shadbolt, N., (1996), \u201cThe Thin End of the Wedge: Efficiency and the Generalised Directive Model Methodology\u201d, in Shadbolt, N., O\u2019Hara, K., Schreiber, G., (Eds), Advances in Knowledge Acquisition, proceedings of the 9th European Knowledge Acquisition Workshop (EKAW\u2019 96), Nottingham, UK, pp. 33\u201347.","DOI":"10.1007\/3-540-61273-4_3"},{"issue":"4","key":"18_CR14","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1006\/ijhc.1998.0216","volume":"49","author":"K. O\u2019Hara","year":"1998","unstructured":"O\u2019Hara, K., Shadbolt, N., van Heijst, (1998), \u201cGeneralised Directive Models: Integrating Model Development and Knowledge Acquisition\u201d, International Journal of Human-Computer Studies, Vol. 49,No. 4, pp. 497\u2013522.","journal-title":"International Journal of Human-Computer Studies"},{"key":"18_CR15","volume-title":"Knowledge Acquisition and Machine Learning: Theory, Methods and Applications","author":"K. Morik","year":"1993","unstructured":"Morik, K., Wrobel, S., Kietz J-U., Emde, W., (1993), \u201cKnowledge Acquisition and Machine Learning: Theory, Methods and Applications\u201d, Academic Press, London."},{"issue":"3","key":"18_CR16","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1006\/ijhc.1996.0018","volume":"44","author":"E. Motta","year":"1996","unstructured":"Motta, E., O\u2019Hara, K., Shadbolt, N., (1996), \u201cSolving VT in VITAL: A Study in Model Construction and Knowledge Reuse\u201d, International Journal of Human-Computer Studies, Vol. 44,No. 3, pp. 333\u2013371.","journal-title":"International Journal of Human-Computer Studies"},{"key":"18_CR17","volume-title":"Information Retrieval by Plausible Inferences: An Application of the Theory of Plausible Reasoning of Collins and Michalski","author":"F. Oroumchian","year":"1995","unstructured":"Oroumchian, F., (1995), \u201cTheory of Plausible Reasoning\u201d, in Information Retrieval by Plausible Inferences: An Application of the Theory of Plausible Reasoning of Collins and Michalski, PhD Thesis, School of Computer and Information Science, Syracuse University, New York."},{"issue":"4","key":"18_CR18","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1006\/ijhc.1998.0215","volume":"49","author":"C. Pierret-Golbreich","year":"1998","unstructured":"Pierret-Golbreich, C., (1998), \u201cSupporting Organization and Use of Problem-solving Methods Libraries by a Formal Approach\u201d, International Journal of Human-Computer Studies, Vol. 49,No. 4, pp. 471\u2013495.","journal-title":"International Journal of Human-Computer Studies"},{"key":"18_CR19","volume-title":"How To Solve It: A New Aspect of Mathematical Method","author":"G. Polya","year":"1957","unstructured":"Polya, G., (1957), \u201cHow To Solve It: A New Aspect of Mathematical Method\u201d, Doubleday Anchor Books, New York."},{"issue":"4","key":"18_CR20","doi-asserted-by":"publisher","first-page":"627","DOI":"10.1006\/ijhc.1998.0221","volume":"49","author":"F. Puppe","year":"1998","unstructured":"Puppe, F., (1998), \u201cKnowledge Reuse among Diagnostic Problem-Solving Methods in the Shell-Kit D3\u201d, International Journal of Human-Computer Studies, Academic Press, Vol. 49,No. 4, pp. 627\u2013649.","journal-title":"International Journal of Human-Computer Studies, Academic Press"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Simonis, H., (1995), \u201cThe CHIP System and Its Applications\u201d, in Montanari, U., Rossi, F., (Eds.), Principles and Practice of Constraint Programming, proceedings of the First International Conference on the Principles and Practice of Constraint Programming, Lecture Notes in Computer Science Series, Springer Verlag, pp. 643\u2013646.","DOI":"10.1007\/3-540-60299-2_42"},{"key":"18_CR22","unstructured":"J. M. Siskind, D. A. McAllester, (1993), \u201cSCREAMER: A Portable Efficient Implementation of Nondeterministic Common LISP\u2019\u201d, Technical Report IRCS-93-03, University of Pennsylvania Institute for Research in Cognitive Science."},{"key":"18_CR23","unstructured":"J. M. Siskind, D. A. McAllester, (1993), \u201cNondeterministic LISP as a Substrate for Constraint Logic Programming\u201d, in proceedings of AAAI-93."},{"key":"18_CR24","unstructured":"Sleeman, D., White, S., (1997), \u201cA Toolbox for Goal-driven Knowledge Acquisition\u201d, in proceedings of the Nineteenth Annual Conference of the Cognitive Science Society, (COGSCI\u2019 97), Stanford, CA."},{"issue":"ii","key":"18_CR25","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1112\/plms\/s2-42.1.230","volume":"42","author":"A. M. Turing","year":"1937","unstructured":"Turing, A. M., (1937), \u201cOn Computable Numbers, with an Application to the Entscheidungsproblem\u201d, in Proceedings of the London Mathematical Society, Vol. 42(ii), pp. 230\u2013265; correction Vol. 43, pp. 544\u2013546.","journal-title":"Proceedings of the London Mathematical Society"},{"key":"18_CR26","unstructured":"Wallace M. G., Novello, S. and Schimpf, J., (1997) \u201cECLIPSE: A Platform for Constraint Logic Programming\u201d, ICL Systems Journal, Vol 12,Issue 1, May 1997."},{"key":"18_CR27","unstructured":"White, S., Sleeman, D., (1998), \u201cProviding Advice on the Acquisition and Reuse of Knowledge Bases in Problem Solving\u201d, in proceedings of the Eleventh Banff Knowledge Acquisition for Knowledge-Based Systems Workshop (KAW98), Banff, Alberta, Canada."},{"key":"18_CR28","volume-title":"Technical Report AUCS\/TR9805","author":"S. White","year":"1998","unstructured":"White, S., Sleeman, D., (1998), \u201cConstraint Handling in Common LISP\u201d, Technical Report AUCS\/TR9805, Department of Computing Science, University of Aberdeen, Scotland, UK."},{"key":"18_CR29","unstructured":"White, S., (forthcoming), \u201cEnhancing Knowledge Acquisition with Constraint Technology\u201d, PhD Thesis, Department of Computing Science, University of Aberdeen, Scotland, UK."},{"key":"18_CR30","doi-asserted-by":"crossref","unstructured":"Wielinga, B. J., Akkermans, J. M., Schreiber A. Th., (1998), \u201cA Competence Theory Approach to Problem Solving Method Construction\u201d, International Journal of Human-Computer Studies, Vol. 49,No. 4.","DOI":"10.1006\/ijhc.1998.0209"}],"container-title":["Lecture Notes in Computer Science","Knowledge Acquisition, Modeling and Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48775-1_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T01:49:22Z","timestamp":1556934562000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48775-1_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660446","9783540487753"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-48775-1_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}