메뉴 건너뛰기




Volumn , Issue , 2014, Pages 41-72

Configuration Knowledge Representation and Reasoning

Author keywords

Answer Set Programming; Constraints; Description Logics; Feature Models; Knowledge Representation; Knowledge based Configuration; Unified Modelling Language

Indexed keywords

COMPUTER PROGRAMMING; DATA DESCRIPTION; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; MODELING LANGUAGES; PERSONAL COMPUTERS; PRODUCT DESIGN; UNIFIED MODELING LANGUAGE;

EID: 84902216801     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1016/B978-0-12-415817-7.00006-2     Document Type: Chapter
Times cited : (60)

References (77)
  • 1
    • 0036467697 scopus 로고    scopus 로고
    • Consistency restoration and explanations in dynamic CSPs - application to configuration
    • Amilhastre J., Fargier H., Marquis P. Consistency restoration and explanations in dynamic CSPs - application to configuration. Artificial Intelligence 2002, 135(1-2):199-234.
    • (2002) Artificial Intelligence , vol.135 , Issue.1-2 , pp. 199-234
    • Amilhastre, J.1    Fargier, H.2    Marquis, P.3
  • 3
    • 0003727420 scopus 로고    scopus 로고
    • Cambridge University Press, New York, NY, F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider (Eds.)
    • The Description Logic Handbook: Theory, Implementation, and Applications 2003, Cambridge University Press, New York, NY. F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider (Eds.).
    • (2003) The Description Logic Handbook: Theory, Implementation, and Applications
  • 5
    • 33646190894 scopus 로고    scopus 로고
    • Feature models, grammars, and propositional formulas
    • Springer, Rennes, France, H. Obbink, K. Pohl (Eds.) Software Product Lines Conference
    • Batory D. Feature models, grammars, and propositional formulas. Lecture Notes in Computer Science 2005, vol. 3714:7-20. Springer, Rennes, France. H. Obbink, K. Pohl (Eds.).
    • (2005) Lecture Notes in Computer Science , vol.3714 , pp. 7-20
    • Batory, D.1
  • 6
    • 77955227439 scopus 로고    scopus 로고
    • Automated analysis of feature models 20 years later: a literature review
    • Benavides D., Segura S., Ruiz-Cortés A. Automated analysis of feature models 20 years later: a literature review. Information Systems 2010, 35(6):615-636.
    • (2010) Information Systems , vol.35 , Issue.6 , pp. 615-636
    • Benavides, D.1    Segura, S.2    Ruiz-Cortés, A.3
  • 11
    • 85031227765 scopus 로고
    • Constructive Problem Solving: A Model Construction Approach Towards Configuration, Deutsches Forschungszentrum für Künstliche Intelligenz, Saarbrücken (TM-95-01).
    • Buchheit, M., Klein, R., Nutt, W., 1995. Constructive Problem Solving: A Model Construction Approach Towards Configuration, Deutsches Forschungszentrum für Künstliche Intelligenz, Saarbrücken (TM-95-01).
    • (1995)
    • Buchheit, M.1    Klein, R.2    Nutt, W.3
  • 14
    • 84872973444 scopus 로고    scopus 로고
    • Challenges of knowledge evolution in practice
    • Falkner A., Haselböck A. Challenges of knowledge evolution in practice. AI Communications 2013, 26(1):3-14.
    • (2013) AI Communications , vol.26 , Issue.1 , pp. 3-14
    • Falkner, A.1    Haselböck, A.2
  • 15
    • 84902224450 scopus 로고    scopus 로고
    • SIEMENS: configuration and reconfiguration in industry
    • Morgan Kaufmann Publishers, Waltham, MA, (Chapter 16), A. Felfernig, L. Hotz, C. Bagley, J. Tiihonen (Eds.)
    • Falkner A., Schreiner H. SIEMENS: configuration and reconfiguration in industry. Knowledge-based Configuration - From Research to Business Cases 2014, 199-210. Morgan Kaufmann Publishers, Waltham, MA, (Chapter 16). A. Felfernig, L. Hotz, C. Bagley, J. Tiihonen (Eds.).
    • (2014) Knowledge-based Configuration - From Research to Business Cases , pp. 199-210
    • Falkner, A.1    Schreiner, H.2
  • 16
    • 84255199822 scopus 로고    scopus 로고
    • Recommendation technologies for configurable products
    • Falkner A., Felfernig A., Haag A. Recommendation technologies for configurable products. AI Magazine 2011, 32(3):99-108.
    • (2011) AI Magazine , vol.32 , Issue.3 , pp. 99-108
    • Falkner, A.1    Felfernig, A.2    Haag, A.3
  • 17
    • 84902219777 scopus 로고
    • Constraint-based knowledge representation for configuration systems. Tech. Rep. TR-94/59, Ecole Polytechnique Fédérale de Lausanne (EPFL), Switzerland.
    • Faltings, B., Weigel, R., 1994. Constraint-based knowledge representation for configuration systems. Tech. Rep. TR-94/59, Ecole Polytechnique Fédérale de Lausanne (EPFL), Switzerland.
    • (1994)
    • Faltings, B.1    Weigel, R.2
  • 18
    • 33947283206 scopus 로고    scopus 로고
    • Standardized configuration knowledge representations as technological foundation for mass customization
    • Felfernig A. Standardized configuration knowledge representations as technological foundation for mass customization. IEEE Transactions on Engineering Management 2007, 54(1):41-56.
    • (2007) IEEE Transactions on Engineering Management , vol.54 , Issue.1 , pp. 41-56
    • Felfernig, A.1
  • 20
    • 84942912770 scopus 로고    scopus 로고
    • Diagrammatic acquisition of functional knowledge for product configuration systems with the unified modeling language
    • Springer-Verlag, London, UK, Proceedings of the First International Conference on Theory and Application of Diagrams (Diagrams '00)
    • Felfernig A., Zanker M. Diagrammatic acquisition of functional knowledge for product configuration systems with the unified modeling language. Lecture Notes in Computer Science 2000, vol. 1889:361-375. Springer-Verlag, London, UK.
    • (2000) Lecture Notes in Computer Science , vol.1889 , pp. 361-375
    • Felfernig, A.1    Zanker, M.2
  • 22
    • 84956992023 scopus 로고    scopus 로고
    • Contextual diagrams as structuring mechanisms for designing configuration knowledge bases in UML
    • Springer, York, UK, 3rd International Conference on the Unified Modeling Language (UML2000)
    • Felfernig A., Jannach D., Zanker M. Contextual diagrams as structuring mechanisms for designing configuration knowledge bases in UML. Lecture Notes in Computer Science 2000, Vol. 1939:240-254. Springer, York, UK.
    • (2000) Lecture Notes in Computer Science , vol.1939 , pp. 240-254
    • Felfernig, A.1    Jannach, D.2    Zanker, M.3
  • 30
    • 0012348359 scopus 로고    scopus 로고
    • In pursuit of the holy grail
    • Freuder E. In pursuit of the holy grail. Constraints 1997, 2(1):57-61.
    • (1997) Constraints , vol.2 , Issue.1 , pp. 57-61
    • Freuder, E.1
  • 31
    • 84902218413 scopus 로고    scopus 로고
    • Knowledge engineering for configuration systems
    • Morgan Kaufmann Publishers, Waltham, MA, (Chapter 11), A. Felfernig, L. Hotz, C. Bagley, J. Tiihonen (Eds.)
    • Friedrich G., Jannach D., Stumptner M., Zanker M. Knowledge engineering for configuration systems. Knowledge-based Configuration - From Research to Business Cases 2014, 139-155. Morgan Kaufmann Publishers, Waltham, MA, (Chapter 11). A. Felfernig, L. Hotz, C. Bagley, J. Tiihonen (Eds.).
    • (2014) Knowledge-based Configuration - From Research to Business Cases , pp. 139-155
    • Friedrich, G.1    Jannach, D.2    Stumptner, M.3    Zanker, M.4
  • 32
    • 70349880718 scopus 로고    scopus 로고
    • On the input language of ASP grounder Gringo
    • Springer, Potsdam, Germany, E. Erdem, F. Lin, T. Schaub (Eds.) Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
    • Gebser M., Kaminski R., Ostrowski M., Schaub T., Thiele S. On the input language of ASP grounder Gringo. Lecture Notes in Computer Science 2009, Vol. 5373:502-508. Springer, Potsdam, Germany. E. Erdem, F. Lin, T. Schaub (Eds.).
    • (2009) Lecture Notes in Computer Science , vol.5373 , pp. 502-508
    • Gebser, M.1    Kaminski, R.2    Ostrowski, M.3    Schaub, T.4    Thiele, S.5
  • 34
  • 36
    • 84901698784 scopus 로고    scopus 로고
    • Knowledge-Based Configuration - Survey and Future Directions
    • Springer, Würzburg, F. Puppe (Ed.) XPS-99: knowledge based systems, proceedings 5th biannual german conference on knowledge based systems
    • Günter A., Kühn C. Knowledge-Based Configuration - Survey and Future Directions. Lecture Notes in Artificial Intelligence 1999, Vol. 1570. Springer, Würzburg. F. Puppe (Ed.).
    • (1999) Lecture Notes in Artificial Intelligence , vol.1570
    • Günter, A.1    Kühn, C.2
  • 37
    • 84902217519 scopus 로고    scopus 로고
    • KONWERK
    • Morgan Kaufmann Publishers, Waltham, MA, (Chapter 24), A. Felfernig, L. Hotz, C. Bagley, J. Tiihonen (Eds.)
    • Hotz L., Günter A. KONWERK. Knowledge-based Configuration - From Research to Business Cases 2014, 281-295. Morgan Kaufmann Publishers, Waltham, MA, (Chapter 24). A. Felfernig, L. Hotz, C. Bagley, J. Tiihonen (Eds.).
    • (2014) Knowledge-based Configuration - From Research to Business Cases , pp. 281-295
    • Hotz, L.1    Günter, A.2
  • 38
    • 56549083479 scopus 로고    scopus 로고
    • Scene Interpretation as a Configuration Task
    • Hotz L., Neumann B. Scene Interpretation as a Configuration Task. Künstliche Intelligenz 2005, 3:59-65.
    • (2005) Künstliche Intelligenz , vol.3 , pp. 59-65
    • Hotz, L.1    Neumann, B.2
  • 39
    • 84902217652 scopus 로고    scopus 로고
    • Smarthome Configuration Model
    • Morgan Kaufmann Publishers, Waltham, MA, (Chapter 10), A. Felfernig, L. Hotz, C. Bagley, J. Tiihonen (Eds.)
    • Hotz L., Wolter K. Smarthome Configuration Model. Knowledge-based Configuration - From Research to Business Cases 2014, 121-135. Morgan Kaufmann Publishers, Waltham, MA, (Chapter 10). A. Felfernig, L. Hotz, C. Bagley, J. Tiihonen (Eds.).
    • (2014) Knowledge-based Configuration - From Research to Business Cases , pp. 121-135
    • Hotz, L.1    Wolter, K.2
  • 43
    • 77249179733 scopus 로고    scopus 로고
    • How to complete an interactive configuration process?
    • Springer, Špindlerův Mlýn, Czech Republic, 36th Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2010)
    • Janota M., Botterweck G., Grigore R., Marques-Silva J. How to complete an interactive configuration process?. Lecture Notes in Computer Science 2010, vol. 5901:528-539. Springer, Špindlerův Mlýn, Czech Republic.
    • (2010) Lecture Notes in Computer Science , vol.5901 , pp. 528-539
    • Janota, M.1    Botterweck, G.2    Grigore, R.3    Marques-Silva, J.4
  • 44
    • 0032119214 scopus 로고    scopus 로고
    • Using resource balancing to configure modular systems
    • Jüngst W., Heinrich M. Using resource balancing to configure modular systems. IEEE Intelligent Systems 1998, 13(4):50-58.
    • (1998) IEEE Intelligent Systems , vol.13 , Issue.4 , pp. 50-58
    • Jüngst, W.1    Heinrich, M.2
  • 45
    • 9444247521 scopus 로고    scopus 로고
    • QUICKXPLAIN: preferred explanations and relaxations for over-constrained problems
    • AAAI Press, D.L. McGuinness, G. Ferguson (Eds.)
    • Junker U. QUICKXPLAIN: preferred explanations and relaxations for over-constrained problems. 19th Intl. Conference on Artifical Intelligence (AAAI'04) 2004, 167-172. AAAI Press. D.L. McGuinness, G. Ferguson (Eds.).
    • (2004) 19th Intl. Conference on Artifical Intelligence (AAAI'04) , pp. 167-172
    • Junker, U.1
  • 46
    • 77956714484 scopus 로고    scopus 로고
    • Configuration
    • Elsevier, New York, NY, F. Rossi, P. vanBeek, T. Walsh (Eds.) Handbook of Constraint Programming
    • Junker U. Configuration. Foundations of Artificial Intelligence 2006, vol. 2:837-873. Elsevier, New York, NY. F. Rossi, P. vanBeek, T. Walsh (Eds.).
    • (2006) Foundations of Artificial Intelligence , vol.2 , pp. 837-873
    • Junker, U.1
  • 48
    • 84902219779 scopus 로고
    • Feature-Oriented Domain Analysis Feasibility Study (FODA). Tech. Rep. CMU/SEI-90-TR-021, Carnegie Mellon University, Software Engineering Institute, Pittsburgh, PA.
    • Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, S., 1990. Feature-Oriented Domain Analysis Feasibility Study (FODA). Tech. Rep. CMU/SEI-90-TR-021, Carnegie Mellon University, Software Engineering Institute, Pittsburgh, PA.
    • (1990)
    • Kang, K.1    Cohen, S.2    Hess, J.3    Novak, W.4    Peterson, S.5
  • 50
    • 84902221360 scopus 로고    scopus 로고
    • User interfaces for configuration environments
    • Morgan Kaufmann Publishers, Waltham, MA, (Chapter 8), A. Felfernig, L. Hotz, C. Bagley, J. Tiihonen (Eds.)
    • Leitner G., Felfernig A., Blazek P., Reinfrank F., Ninaus G. User interfaces for configuration environments. Knowledge-based Configuration - From Research to Business Cases 2014, 89-106. Morgan Kaufmann Publishers, Waltham, MA, (Chapter 8). A. Felfernig, L. Hotz, C. Bagley, J. Tiihonen (Eds.).
    • (2014) Knowledge-based Configuration - From Research to Business Cases , pp. 89-106
    • Leitner, G.1    Felfernig, A.2    Blazek, P.3    Reinfrank, F.4    Ninaus, G.5
  • 52
    • 49449120803 scopus 로고
    • Consistency in networks of relations
    • Mackworth A. Consistency in networks of relations. Artificial Intelligence 1977, 8(1):99-118.
    • (1977) Artificial Intelligence , vol.8 , Issue.1 , pp. 99-118
    • Mackworth, A.1
  • 54
    • 0020178841 scopus 로고
    • R1: a rule-based configurer of computer systems
    • McDermott J. R1: a rule-based configurer of computer systems. Artificial Intelligence 1982, 19(1):39-88.
    • (1982) Artificial Intelligence , vol.19 , Issue.1 , pp. 39-88
    • McDermott, J.1
  • 62
    • 0023329093 scopus 로고
    • A theory of diagnosis from first principles
    • Reiter R. A theory of diagnosis from first principles. Artificial Intelligence 1987, 32(1):57-95.
    • (1987) Artificial Intelligence , vol.32 , Issue.1 , pp. 57-95
    • Reiter, R.1
  • 65
    • 0032114898 scopus 로고    scopus 로고
    • Product configuration frameworks - a survey
    • Sabin D., Weigel R. Product configuration frameworks - a survey. IEEE Intelligent Systems 1998, 13(4):42-49.
    • (1998) IEEE Intelligent Systems , vol.13 , Issue.4 , pp. 42-49
    • Sabin, D.1    Weigel, R.2
  • 69
    • 0037881923 scopus 로고    scopus 로고
    • Representing configuration knowledge with weight constraint rules.
    • Provetti, A., Son, T.C. (Eds.), 1st International Workshop on Answer Set Programming: Towards Efficient and Scalable Knowledge (AAAI Technical, Report SS-01-01)
    • Soininen, T., Niemelä, I., Tiihonen, J., Sulonen, R., 2001. Representing configuration knowledge with weight constraint rules. In: Provetti, A., Son, T.C. (Eds.), 1st International Workshop on Answer Set Programming: Towards Efficient and Scalable Knowledge (AAAI Technical, Report SS-01-01). pp. 195-201.
    • (2001)
    • Soininen, T.1    Niemelä, I.2    Tiihonen, J.3    Sulonen, R.4
  • 71
    • 0031175701 scopus 로고    scopus 로고
    • An overview of knowledge-based configuration
    • Stumptner M. An overview of knowledge-based configuration. AI Communications 1997, 10(2):111-126.
    • (1997) AI Communications , vol.10 , Issue.2 , pp. 111-126
    • Stumptner, M.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.