A. Falkner, A. Haselböck, G. Krames, G. Schenner, H. Schreiner & R. Taupe (2020):
Solver Requirements for Interactive Configuration..
Journal of Universal Computer Science 26(3),
pp. 343–373.
A. Falkner, A. Ryabokon, G. Schenner & K. Shchekotykhin (2015):
OOASP: Connecting Object-Oriented and Logic Programming.
In: F. Calimeri, G. Ianni & M. Truszczyński: Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15),
Lecture Notes in Artificial Intelligence 9345.
Springer-Verlag,
pp. 332–345,
doi:10.1007/978-3-319-23264-5_28.
A. Falkner & H. Schreiner (2014):
SIEMENS: Configuration and Reconfiguration in Industry.
In: Felfernig, chapter 16,
pp. 199–210,
doi:10.1016/b978-0-12-415817-7.00016-5.
A. Felfernig, A. Falkner, M. Atas, S. Erdeniz, C. Uran & P. Azzoni (2017):
ASP-based Knowledge Representations for IoT Configuration Scenarios.
In: L. Zhang & A. Haag: Proceedings of the Nineteenth International Configuration Workshop (CONF'17),
pp. 62–67.
A. Felfernig, G. Friedrich, D. Jannach, M. Stumptner & M. Zanker (2003):
Configuration knowledge representations for Semantic Web applications.
Artificial Intelligence for Engineering Design, Analysis and Manufacturing 17(1),
pp. 31–50,
doi:10.1017/s0890060403171041.
A. Felfernig, L. Hotz, C. Bagley & J. Tiihonen (2014):
Knowledge-Based Configuration: From Research to Business Cases.
Elsevier/Morgan Kaufmann,
doi:10.1016/b978-0-12-415817-7.00029-3.
M. Gebser, R. Kaminski, B. Kaufmann & T. Schaub (2014):
Clingo = ASP + Control: Preliminary Report.
In: M. Leuschel & T. Schrijvers: Technical Communications of the Thirtieth International Conference on Logic Programming (ICLP'14),
Theory and Practice of Logic Programming, Online Supplement 14(4-5).
Available at http://arxiv.org/abs/1405.3694v1.
M. Gebser, R. Kaminski & T. Schaub (2011):
aspcud: A Linux Package Configuration Tool Based on Answer Set Programming.
In: C. Drescher, I. Lynce & R. Treinen: Proceedings of the Second International Workshop on Logics for Component Configuration (LoCoCo'11),
Electronic Proceedings in Theoretical Computer Science (EPTCS) 65,
pp. 12–25,
doi:10.4204/eptcs.65.2.
M. Gelfond & V. Lifschitz (1988):
The Stable Model Semantics for Logic Programming.
In: R. Kowalski & K. Bowen: Proceedings of the Fifth International Conference and Symposium of Logic Programming (ICLP'88).
MIT Press,
pp. 1070–1080,
doi:10.1201/b10397-6.
P. Hertum, I. Dasseville, G. Janssens & M. Denecker (2017):
The KB paradigm and its application to interactive configuration.
Theory and Practice of Logic Programming 17(1),
pp. 91–117,
doi:10.1007/978-3-319-28228-2_2.
L. Hotz, A. Felfernig, M. Stumptner, A. Ryabokon, C. Bagley & K. Wolter (2014):
Configuration Knowledge Representation and Reasoning.
In: Felfernig, chapter 6,
pp. 41–72,
doi:10.1016/b978-0-12-415817-7.00006-2.
U. Junker (2004):
QUICKXPLAIN: Preferred Explanations and Relaxations for Over-Constrained Problems.
In: D. McGuinness & G. Ferguson: Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI'04).
AAAI Press,
pp. 167–172.
D. Mailharro (1998):
A classification and constraint-based framework for configuration.
Artificial Intelligence for Engineering Design, Analysis and Manufacturing 12(4),
pp. 383–397,
doi:10.1017/s0890060498124101.
J. McDermott (1982):
R1: A Rule-Based Configurer of Computer Systems.
Artificial Intelligence 19(1),
pp. 39–88,
doi:10.1016/0004-3702(82)90021-2.
S. Mittal & B. Falkenhainer (1990):
Dynamic Constraint Satisfaction Problems.
In: H. Shrobe, T. Dietterich & W. Swartout: Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI'90).
AAAI Press,
pp. 25–32.
S. Mittal & F. Frayman (1989):
Towards a Generic Model of Configuraton Tasks.
In: N. Sridharan: Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI'89).
Morgan Kaufmann Publishers,
pp. 1395–1401.
V. Myllärniemi, J. Tiihonen, M. Raatikainen & A. Felfernig (2014):
Using Answer Set Programming for Feature Model Representation and Configuration.
In: A. Felfernig, C. Forza & A. Haag: Proceedings of the Sixteenth International Configuration Workshop (CONF'14),
CEUR Workshop Proceedings 1220.
CEUR-WS.org,
pp. 1–8.
K. Orsvärn & H. Bennick (2014):
Tacton: Use of Tacton Configurator at FLSmidth.
In: Felfernig, chapter 17,
pp. 211–218,
doi:10.1016/b978-0-12-415817-7.00017-7.
T. Soininen & I. Niemelä (1999):
Developing a declarative rule language for applications in product configuration.
In: G. Gupta: Proceedings of the First International Workshop on Practical Aspects of Declarative Languages (PADL'99),
Lecture Notes in Computer Science 1551.
Springer-Verlag,
pp. 305–319,
doi:10.1007/3-540-49201-1_21.
T. Soininen, I. Niemelä, J. Tiihonen & R. Sulonen (2001):
Representing Configuration Knowledge With Weight Constraint Rules..
In: A. Provetti & T. Son: Proceedings of the AAAI Spring Symposium on Answer Set Programming (ASP'01).
AAAI/MIT Press,
pp. 195–201.
T. Soininen, J. Tiihonen, T. Männistö & R. Sulonen (1998):
Towards a general ontology of configuration.
Artificial Intelligence for Engineering Design, Analysis and Manufacturing 12(4),
pp. 357–372,
doi:10.1017/s0890060498124083.
M. Stumptner, G. Friedrich & A. Haselböck (1998):
Generative constraint-based configuration of large technical systems.
Artificial Intelligence for Engineering Design, Analysis and Manufacturing 12(4),
pp. 307–320,
doi:10.1017/s0890060498124046.
J. Tiihonen, M. Heiskala, A. Anderson & T. Soininen (2013):
WeCoTin - A practical logic-based sales configurator.
AI Communications 26(1),
pp. 99–131,
doi:10.3233/aic-2012-0547.
J. Tiihonen, T. Soininen, I. Niemelä & R. Sulonen (2003):
A Practical Tool for Mass-Customising Configurable Products.
In: A. Folkeson, K. Gralen, M. Norell & U. Sellgren: Proceedings of the Fourteenth International Conference on Engineering Design (ICED'03).
Design Society (DS),
pp. 1290–1299.
L. Zhang (2014):
Product configuration: a review of the state-of-the art and future research.
International Journal of Production Research 52(21),
pp. 6381–6398,
doi:10.1080/00207543.2014.942012.