{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T17:12:18Z","timestamp":1725729138022},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540545583"},{"type":"electronic","value":"9783662027110"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/978-3-662-02711-0_20","type":"book-chapter","created":{"date-parts":[[2013,6,4]],"date-time":"2013-06-04T12:52:52Z","timestamp":1370350372000},"page":"182-194","source":"Crossref","is-referenced-by-count":5,"title":["Model Representation and Taxonomic Reasoning in Configuration Problem Solving"],"prefix":"10.1007","author":[{"given":"R\u00fcdiger","family":"Klein","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","volume-title":"Is there a Meanng to LIFE?, 2nd International Workshop on Terminological Logic, Schlo\u00df Dagstuhl","author":"H Ait-Kaci","year":"1991","unstructured":"Ait-Kaci, H., and Podelski, A.: Is there a Meanng to LIFE?, 2nd International Workshop on Terminological Logic, Schlo\u00df Dagstuhl, May 1991, Statements of Interest, IBM Report, IWBS Stuttgart, 1991."},{"key":"20_CR2","volume-title":"The Anatomy of the BACK System","author":"K Luck","year":"1987","unstructured":"Luck, K.v. et al.: \u201dThe Anatomy of the BACK System\u201d, KIT\u2014Report 41, TU Berlin, 1987"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Baader, F., B\u00fcrckert, H.-J., Hollunder, B., Nutt, W., and Siekmann, J.H.: Concept Logic, in: [Lloyd 90], pp. 177\u2013201.","DOI":"10.1007\/978-3-642-76274-1_10"},{"key":"20_CR4","volume-title":"Proc. 10th Conf. on Autom Deduction, Kaiserslautern","author":"H-J B\u00fcrckert","year":"1990","unstructured":"B\u00fcrckert, H.-J.: A Resolution Principle for Clauses with Constraints, in: M. Stickel (ed.): Proc. 10th Conf. on Autom Deduction, Kaiserslautern, 1990."},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"R.J. Brachman, J.G. Schmolze: An Overview of the KL\u2014ONE Knowledge Representation System, Cognitive Science 9 (85) 171\u2013216.","DOI":"10.1016\/S0364-0213(85)80014-8"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"A.G. Cohn: \u201dA More Expressive Formulation of Many\u2014Sorted Logic\u201d, J. of Autom. Reasoning, 3\/2 (87) 113","DOI":"10.1007\/BF00243207"},{"key":"20_CR7","unstructured":"Console, L., et al.: A Completion Semantics for Object\u2014Level Abduction, in: [O\u2019Rorke 90], pp. 72\u201376."},{"key":"20_CR8","volume-title":"Knowledge\u2014Based Design Systems, Addison Wesley, Reading","author":"R Coyne","year":"1990","unstructured":"Coyne, R., et al.: Knowledge\u2014Based Design Systems, Addison Wesley, Reading (Mass.), 1990._"},{"key":"20_CR9","volume-title":"Proc. Third Workshop \u201dPlanen und Konfigurieren\u201d","author":"R Cunis","year":"1988","unstructured":"Cunis, R., et al.: PLAKON \u2014 Modellierung von technischen Dom\u00e4nen mit BHIBS, in: M. Hein et al. (eds.): Proc. Third Workshop \u201dPlanen und Konfigurieren\u201d, GMD\u2014Bericht 388, St. Augustin, May 1988."},{"key":"20_CR10","first-page":"126","volume-title":"Proc. of the First International Conference on Principles of Knowledge Representation","author":"A Frisch","year":"1989","unstructured":"Frisch, A.: A General Framework of Sorted Deduction, in: Brachman, R., Levesque, H., and Reiter, R. (eds.): Proc. of the First International Conference on Principles of Knowledge Representation, Toronto, May 1989, pp. 126\u2013136, Morgan Kaufman Publ., 1989."},{"key":"20_CR11","first-page":"77","volume-title":"Thoughts and Afterthoughts on the 1988 Workshop on Hybrid Reasoning","author":"A Frisch","year":"1991","unstructured":"Frisch, A., and Cohn, A.: Thoughts and Afterthoughts on the 1988 Workshop on Hybrid Reasoning, Al Mag. (Special Issue), Jan. 1991, pp.77\u201387."},{"key":"20_CR12","unstructured":"Hollunder, B. and Nutt, W.: Subsumption Algorithms for Concept Languages, Report 90\u201304, DFKI."},{"key":"20_CR13","volume-title":"Problem solving as database construction","author":"R Klein","year":"1990","unstructured":"Klein, R. : Problem solving as database construction, Proc. 4. Workshop \u201dPlanen und Konfigurieren\u201d, FAW Bericht, Ulm, April 1990."},{"key":"20_CR14","volume-title":"Contributions to Al","author":"R Klein","year":"1990","unstructured":"Klein, R.: Towards an Integration of Knowledge Based Systems with Computer\u2014Aided Design, in: U. Geske, D. Koch (eds.): Contributions to Al, Akademie\u2014Verlag, Berlin, 1990."},{"key":"20_CR15","volume-title":"An Approach to the Integration of Term Description Languages and Clauses, 2nd Intern","author":"R Klein","year":"1991","unstructured":"Klein, R.:An Approach to the Integration of Term Description Languages and Clauses, 2nd Intern. Workshop on Terminological Logics, Schlo\u00df Dagstuhl, May 1991, IBM Report, Stuttgart 1991."},{"key":"20_CR16","volume-title":"Constructive Problem Solving, subm. to the 8th Deduction Workshop","author":"R Klein","year":"1991","unstructured":"Klein, R.: Constructive Problem Solving, subm. to the 8th Deduction Workshop, Berlin, Oct. 1991."},{"key":"20_CR17","unstructured":"Klein, R.: Towards a Logic\u2014Based Model Representation in Configuration Problems, \u00d6GAI91 Workshop on Model Based Reasoning, Wien, Sept. 91."},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Kowalski. R.: Problems and Promisses of Computational Logic, in: [Lloyd 90], pp. 1\u201336","DOI":"10.1007\/978-3-642-76274-1_1"},{"key":"20_CR19","unstructured":"Levesque, H.: Making Believers out of Computers, AI30\/1(1986)81\u2013108."},{"key":"20_CR20","volume-title":"A knowledge\u2014level account of abduction","author":"H Levesque","year":"1989","unstructured":"Levesque, H.: A knowledge\u2014level account of abduction, Proc. IJCAI-89, pp.1061\u20131066, Detroit, 1989"},{"key":"20_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-76274-1","volume-title":"Computational Logic","author":"JW Lloyd","year":"1990","unstructured":"Lloyd, J.W.: Computational Logic, Proc. of the ESPRIT Basic Reasaerch Activities Symposium, Bruxels, Nov. 1990, Springer, Berlin, 1990."},{"issue":"2","key":"20_CR22","first-page":"235","volume":"43","author":"B Nebel","year":"1990","unstructured":"Nebel, B.: Terminological Reasoning is Inherently Intractable, Al Journal 43\/2(1990)235\u2013250.","journal-title":"Al Journal"},{"key":"20_CR23","volume-title":"Reasoning and Revision in Hybrid Representation Systems","author":"B Nebel","year":"1990","unstructured":"Nebel, B.: Reasoning and Revision in Hybrid Representation Systems, Lecture Notes in Al 422, Springer, Berlin, 1990."},{"key":"20_CR24","volume-title":"Automated Abduction, Working Notes","author":"P O\u2019Rorke","year":"1990","unstructured":"O\u2019Rorke, P.: Automated Abduction, Working Notes, 1990 AMI Spring Symposium, Stanford\u2014Univ., TR-90\u201332"},{"key":"20_CR25","first-page":"12","volume-title":"Review of MAI-90 Spring Symposium on Automated Abduction","author":"P O\u2019Rorke","year":"1991","unstructured":"O\u2019Rorke, P.: Review of MAI-90 Spring Symposium on Automated Abduction, SIGART Bulletin 1\/3(1991), pp.12\u201317."},{"key":"20_CR26","volume-title":"K\u00fcnstliche Intelligenz, Informatik\u2014Fachberichte 181","author":"B Owsnicki-Kleve","year":"1988","unstructured":"Owsnicki-Kleve, B.: Configuration as a consistency\u2014maintenance task, in: W. Hoeppner (Hrsg.): K\u00fcnstliche Intelligenz, Informatik\u2014Fachberichte 181, Springer, Berlin, 1988f."},{"key":"20_CR27","first-page":"263","volume":"39","author":"P Patel-Schneider","year":"1989","unstructured":"Patel-Schneider, P.: Undecidability of Subsumption in NIKL, Al 39(1989)263\u2013272.","journal-title":"Al"},{"key":"20_CR28","volume-title":"Wissensrepr\u00e4sentation f\u00fcr Entwurfssysteme","author":"C Peltason","year":"1989","unstructured":"Peltason, C.: \u201dWissensrepr\u00e4sentation f\u00fcr Entwurfssysteme\u201d, Diss. TU Berlin, 1989."},{"key":"20_CR29","volume-title":"Die Wissensrepresentationssprache SORT\u2014LILOG","author":"C Pletat","year":"1989","unstructured":"Pletat, C. und v. Luck, K.: Die Wissensrepresentationssprache SORT\u2014LILOG, IWBS\u2014Report 89, IBM Stuttgart, 1989"},{"key":"20_CR30","unstructured":"Poole, D.: Hypo\u2014Deductive Reasoning for Abduction, Default Reasoning and Design, in: [O\u2019Rorke 90], pp. 106\u2013110."},{"key":"20_CR31","volume-title":"Modeling and Reasoning with Defined Roles in BACK, KIT\u2014BACK Report 84","author":"J Quantz","year":"1990","unstructured":"Quantz, J.: Modeling and Reasoning with Defined Roles in BACK, KIT\u2014BACK Report 84, TU Berlin, 1990."},{"key":"20_CR32","unstructured":"Schild, K.: Undecidability of Subsumption in U, KIT\u2014Report 67, TU Berlin, Oct. 88"},{"key":"20_CR33","unstructured":"Schild, K.: Towards a Theory of Frames and Rules, KIT\u2014Report 76, TU Berlin, Dec. 89"},{"key":"20_CR34","unstructured":"Schmidt\u2014Schauss, M. and Smolka, G.: Attributive Concept Description with Unions and Complements,SEKI Report 88\u201321, Universitaet Kaiserslautern, Dec. 88"},{"key":"20_CR35","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0743-1066(90)90051-6","volume":"8","author":"DB Searls","year":"1990","unstructured":"Searls, D.B. and Norton, L.M.: Logic\u2014Based Configuration with a Semantic Network, Journal of Logic Progr. 8(1990)53\u201373.","journal-title":"Journal of Logic Progr"},{"key":"20_CR36","unstructured":"Selman, B., and Levesque, H.: Abductive and Default Reasoning: A Computational Core, Proc. AAAI-90 , pp.343\u2013348."},{"key":"20_CR37","volume-title":"A Feature Logic with Subsorts, IBM Report 33","author":"G Smolka","year":"1988","unstructured":"Smolka, G.: A Feature Logic with Subsorts, IBM Report 33, IWBS Stuttgart, May 1988."},{"key":"20_CR38","doi-asserted-by":"crossref","unstructured":"Stickel, M.: Automated Deduction by Theory Resolution, J. Autom. Reas, 1(85) 333","DOI":"10.1007\/BF00244275"},{"key":"20_CR39","volume-title":"Innovative Anwendungen","author":"W Tank","year":"1990","unstructured":"Tank, W., et al.: AMOR \u2014 eine Wissensrepr\u00e4sentationssprache f\u00fcr die technische Kl\u00e4rung von Auftr\u00e4gen, in: H. Krallmann (Hrsg.): Innovative Anwendungen, Oldenburg\u2014Verlag, M\u00fcnchen, 1990."},{"key":"20_CR40","volume-title":"A Many\u2014Sorted Calculus with Resolution and Paramodulation","author":"C Walther","year":"1987","unstructured":"Walther, C.: A Many\u2014Sorted Calculus with Resolution and Paramodulation, Morgan\u2014Kaufman Publ., 1987."}],"container-title":["Informatik-Fachberichte","GWAI-91 15. Fachtagung f\u00fcr K\u00fcnstliche Intelligenz"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-02711-0_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T18:08:23Z","timestamp":1557770903000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-02711-0_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540545583","9783662027110"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-02711-0_20","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1991]]}}}