{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T06:06:42Z","timestamp":1725602802464},"publisher-location":"Dordrecht","reference-count":30,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789401058117"},{"type":"electronic","value":"9789401141543"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-94-011-4154-3_9","type":"book-chapter","created":{"date-parts":[[2011,8,23]],"date-time":"2011-08-23T22:29:07Z","timestamp":1314138547000},"page":"169-189","source":"Crossref","is-referenced-by-count":4,"title":["An Integrated Development Environment for The Design And Maintenance of Large Configuration Knowledge Bases"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Felfernig","sequence":"first","affiliation":[]},{"given":"Gerhard","family":"Friedrich","sequence":"additional","affiliation":[]},{"given":"Dietmar","family":"Jannach","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Stumptner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"9_CR1","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1145\/62065.62067","volume":"32","author":"VE Barker","year":"1989","unstructured":"Barker, V.E. and O\u2019 Connor, D.E..: 1989, Expert systems for configuration at digital: XCON and beyond, Comm. ACM, 32(3), 298\u2013318.","journal-title":"Comm. ACM"},{"key":"9_CR2","unstructured":"Bond, G.W.: 1994, Logic Programs for Consistency-Based Diagnosis, PhD thesis, Carleton University, Faculty of Engineering, Ottawa, Canada."},{"key":"9_CR3","unstructured":"Bond, G.W.: 1996, Top-down consistency based diagnosis, Proceedings DX\u201996 Workshop, Val Morin, Canada, pp. 18\u201327."},{"issue":"10","key":"9_CR4","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1109\/32.469459","volume":"21","author":"RH Bourdeau","year":"1995","unstructured":"Bourdeau, R.H., Cheng, B.H.C.: 1995, A formal semantics for object model diagrams, IEEE Transactions on Software Engineering, 21(10), 799\u2013821.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Console, L., Friedrich, G., and Dupr\u00e9, D.T.: 1993, Model-based diagnosis meets error diagnosis in logic programs, Proceedings International Joint Conference on Artificial Intelligence, Chambery, Morgan Kaufmann, pp. 1494\u20131499.","DOI":"10.1007\/BFb0019402"},{"key":"9_CR6","unstructured":"Felfernig, A., Friedrich, G., and Jannach, D.: 1999, UML as domain specific language for the construction of knowledge based configuration systems, 11th International Conference on Software Engineering and Knowledge Engineering (SEKE), pp. 337\u2013345."},{"key":"9_CR7","unstructured":"Felfernig, A., Friedrich, G., Jannach, D., and Stumptner, M.: 1999, Consistency based diagnosis of configuration knowledge-bases, AAAI-Workshop on Configuration, Orlando\/Florida, pp. 41\u201347."},{"issue":"4","key":"9_CR8","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1109\/5254.708434","volume":"13","author":"G Fleischanderl","year":"1998","unstructured":"Fleischanderl G., Friedrich, G., Haselb\u00f6ck, A., Schreiner, H., and Stumptner, M.: 1998, Configuring large systems using generative constraint satisfaction, IEEE Intelligent Systems, 13(4), 59\u201368.","journal-title":"IEEE Intelligent Systems"},{"key":"9_CR9","unstructured":"Friedrich, G. and Stumptner, M.: 1999, Consistency-based configuration, AAAI-Workshop on Configuration, Orlando\/Florida, pp. 35\u201340."},{"issue":"2","key":"9_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0004-3702(99)00034-X","volume":"111","author":"G Friedrich","year":"1999","unstructured":"Friedrich, G., Stumptner, M., and Wotawa, F.: 1999, Model-based diagnosis of hardware designs, Artificial Intelligence, 111(2), 3\u201339.","journal-title":"Artificial Intelligence"},{"key":"9_CR11","unstructured":"Gertz, M. and Lipeck, U.W.: 1995, A diagnostic approach to repairing constraint violations in databases, Proceedings DX\u201995 Workshop, pp. 65\u201372."},{"issue":"1","key":"9_CR12","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0004-3702(89)90079-9","volume":"41","author":"R Greiner","year":"1989","unstructured":"Greiner, R., Smith, B.A., and Wilkerson, R.W.: 1989, A correction to the algorithm in Reiter\u2019s theory of diagnosis, Artificial Intelligence, 41(1), 79\u201388.","journal-title":"Artificial Intelligence"},{"issue":"4","key":"9_CR13","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/5254.708436","volume":"13","author":"A Haag","year":"1998","unstructured":"Haag, A.: 1998, Sales configuration in business processes, IEEE Intelligent Systems, 13(4), 78\u201385.","journal-title":"IEEE Intelligent Systems"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Heinrich, M. and J\u00fcngst, E.W.: 1991, A resource-based paradigm for the configuring of technical systems from modular components, Proceedings of the 7th IEEE Conference on AI Applications (CAIA), pp. 257\u2013264.","DOI":"10.1109\/CAIA.1991.120878"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Kolodner, J.: 1993, Case-Based Reasoning, Morgan Kaufmann.","DOI":"10.1016\/B978-1-55860-237-3.50005-4"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Lowry, M., Philpot, A., Pressburger, T., and Underwood, I.: 1994, A formal approach to domain-oriented software design environments, Proceedings of 9th Knowledge-Based Software Engineering Conference, Monterey, CA, Sep. 1994, pp. 48\u201357.","DOI":"10.1109\/KBSE.1994.342678"},{"issue":"4","key":"9_CR17","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1017\/S089006049812406X","volume":"12","author":"DL McGuinness","year":"1998","unstructured":"McGuinness, D.L. and Wright, J.R.: 1998, Conceptual modelling for configuration: A description logic-based approach, Artificial Intelligence for Engineering Design, Analysis and Manufacturing, Special Issue: Configuration Design, 12(4), 333\u2013344.","journal-title":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing, Special Issue: Configuration Design"},{"key":"9_CR18","unstructured":"Mittal, S. and Frayman, F.: 1989, Towards a generic model of configuration tasks, Proceedings of IJCAI\u201989, pp. 1395\u20131401."},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Peltonen, H., M\u00e4nnist\u00f6, T., Alho, K., and Sulonen, R.: 1994, Product configurations\u2014an application for prototype object approach, Object Oriented Programming, ECOOP\u201994, Springer, pp. 513\u2013534.","DOI":"10.1007\/BFb0052199"},{"key":"9_CR20","unstructured":"Peltonen, H., M\u00e4nnist\u00f6, T., Soininen, T., Tiihonen, J., Martio, A., and Sulonen, R.: 1998, Concepts for modeling configurable products, Proceedings of European Conference Product Data Technology Days 1998, Sandhurst, UK, pp. 189\u2013196."},{"key":"9_CR21","unstructured":"Rahmer, J., Vo\u00df, A.: 1996, Case based reasoning in the configuration of telecooperation systems, AAAI\u201996 Fall Symposium \u201cConfiguration\u201d, AAAI Press."},{"issue":"1","key":"9_CR22","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter, R.: 1987, A theory of diagnosis from first principles. Artificial Intelligence, 32(1), 57\u201395.","journal-title":"Artificial Intelligence"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Robbins, J.E., Medvidovic, N., Redmiles, D.F., and Rosenblum, D.S.: 1998, Integrating architecture description languages with a standard design method, Proceedings 20th International Conference on Software Engineering, Kyoto, Japan, pp. 209\u2013218.","DOI":"10.1109\/ICSE.1998.671120"},{"key":"9_CR24","unstructured":"Rumbaugh, J., Jacobson, I., and Booch, G.: 1998, The Unified Modeling Language Reference Manual, Addison-Wesley."},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Runkel, J. T., Balkany, and A., Birmingham, W. P.: 1994, Generating non-brittle configuration-design tools, Proceedings of Artificial Intelligence in Design\u2019 94, Lausanne, Kluwer Academic Publisher, pp. 183\u2013200.","DOI":"10.1007\/978-94-011-0928-4_11"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Smith, I., Faltings B.: 1994, Spatial design of complex artifacts using cases, Proceedings of 10th International Conference on Artificial Intelligence for Applications, IEEE, pp. 70\u201376.","DOI":"10.1109\/CAIA.1994.323690"},{"issue":"2","key":"9_CR27","first-page":"111","volume":"10","author":"M Stumptner","year":"1997","unstructured":"Stumptner, M.: 1997, An overview of knowledge-based configuration, AI Communications 10(2), 111\u2013126.","journal-title":"AI Communications"},{"key":"9_CR28","first-page":"373","volume-title":"A tool for constraint-based, dynamic configuration","author":"M Stumptner","year":"1994","unstructured":"Stumptner, M., Haselb\u00f6ck, A., and Friedrich, G.: Cocos: 1994, A tool for constraint-based, dynamic configuration, Proceedings of 10th Conference on AI for Applications, IEEE Computer Society Press, Calif., pp. 373\u2013380."},{"issue":"4","key":"9_CR29","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1017\/S0890060498124046","volume":"12","author":"M Stumptner","year":"1998","unstructured":"Stumptner, M., Haselb\u00f6ck, A., and Friedrich, G.: 1998, Generative constraint-based configuration of large technical systems, Artificial Intelligence for Engineering Design, Analysis and Manufacturing, Special Issue: Configuration Design, 12(4), 307\u2013320.","journal-title":"Artificial Intelligence for Engineering Design, Analysis and Manufacturing, Special Issue: Configuration Design"},{"issue":"4","key":"9_CR30","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/5254.708431","volume":"13","author":"B Yu","year":"1998","unstructured":"Yu, B. and Skovgaard, H.J.: 1998, A configuration tool to increase product competitiveness, IEEE Intelligent Systems, 13(4), 34\u201341.","journal-title":"IEEE Intelligent Systems"}],"container-title":["Artificial Intelligence in Design \u201900"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-011-4154-3_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,4]],"date-time":"2020-12-04T18:46:40Z","timestamp":1607107600000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-011-4154-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9789401058117","9789401141543"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-94-011-4154-3_9","relation":{},"subject":[],"published":{"date-parts":[[2000]]}}}