Applications of non-monotonic reasoning to automotive product configuration using answer set programming

In automotive industry, validation and maintenance of product configuration data is a complex task. Both orders from the customers and new product line designs from the R&D department are subject to a set of configuration rules to be satisfied. In this work, non-monotonic computational logic, an...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Journal of intelligent manufacturing Jg. 30; H. 3; S. 1407 - 1422
Hauptverfasser:	Gençay, Eray, Schüller, Peter, Erdem, Esra
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York Springer US 01.03.2019 Springer Nature B.V
Schlagworte:	Advanced manufacturing technologies Automobile industry Automotive engineering BASIC (programming language) Business and Management Computation Configurations Control Logic programming Logic programs Machines Manufacturing Mathematical programming Mechatronics Personal computers Processes Production R&D Reasoning Research & development Robotics Salesforce automation State of the art Mass customization Automotive production Product configuration Non-monotonic logic Answer set programming Configuration management
ISSN:	0956-5515, 1572-8145
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Abstract	In automotive industry, validation and maintenance of product configuration data is a complex task. Both orders from the customers and new product line designs from the R&D department are subject to a set of configuration rules to be satisfied. In this work, non-monotonic computational logic, answer set programming in particular, is applied to industrial-scale automotive product configuration problems. This methodology provides basic validation of the product configuration documentation and validation of single product orders, where Reiter style diagnosis provides minimal changes needed to correct an invalid order or a product configuration rule set. In addition, a method for discovering groups of product configuration variables that are strongly related can be obtained by small modification of the basic logic program, and by the usage of cautious and brave reasoning methods. As a result, options that are used in every, or respectively in no configuration, can easily be identified, as well as groups of options that are always used together or not at all. Finally it is possible to single out mandatory and obsolete options, relative to a preselected set of included or excluded options. Experimental results on an industrial dataset show applicability, example results, and computational feasibility with computation times on the order of seconds using a state-of-the-art answer set solver on standard PC hardware.
AbstractList	In automotive industry, validation and maintenance of product configuration data is a complex task. Both orders from the customers and new product line designs from the R&D department are subject to a set of configuration rules to be satisfied. In this work, non-monotonic computational logic, answer set programming in particular, is applied to industrial-scale automotive product configuration problems. This methodology provides basic validation of the product configuration documentation and validation of single product orders, where Reiter style diagnosis provides minimal changes needed to correct an invalid order or a product configuration rule set. In addition, a method for discovering groups of product configuration variables that are strongly related can be obtained by small modification of the basic logic program, and by the usage of cautious and brave reasoning methods. As a result, options that are used in every, or respectively in no configuration, can easily be identified, as well as groups of options that are always used together or not at all. Finally it is possible to single out mandatory and obsolete options, relative to a preselected set of included or excluded options. Experimental results on an industrial dataset show applicability, example results, and computational feasibility with computation times on the order of seconds using a state-of-the-art answer set solver on standard PC hardware.
Author	Schüller, Peter Gençay, Eray Erdem, Esra
Author_xml	– sequence: 1 givenname: Eray orcidid: 0000-0002-1510-5628 surname: Gençay fullname: Gençay, Eray email: gencay@tau.edu.tr organization: Turkish-German University – sequence: 2 givenname: Peter surname: Schüller fullname: Schüller, Peter organization: Marmara University – sequence: 3 givenname: Esra surname: Erdem fullname: Erdem, Esra organization: Sabanci University
BookMark	eNp9kE9LxDAQxYMouKt-AG8Bz9GZpmmzRxH_wYIXPYc0TdbKNlmTVPHbm3UFQdDThOH93pu8Odn3wVtCThHOEaC9SAiyFgywZcg5Z3yPzFC0FZNYi30yg4VomBAoDsk8pRcAWMgGZ-T5crNZD0bnIfhEg6PFl43Bhxz8YGi0OpWHX9EcqJ5yGEMe3izdxNBPJlMTvBtWU_zi6ZS2Su3Tu4002byVraIex7I-JgdOr5M9-Z5H5Onm-vHqji0fbu-vLpfM1Bwy47LhPTeVhgYbY5xb1LLthKlrg9BXHXZVozuHwvW6qawT0IEB2cvKOaF7yY_I2c63ZL9ONmX1EqboS6SqUNbFTiAUFe5UJoaUonVqE4dRxw-FoLaFql2hqhSqtoUqXpj2F2OG_PXxHPWw_pesdmQqKX5l489Nf0OfwNqPBA
CitedBy_id	crossref_primary_10_4204_EPTCS_416_38 crossref_primary_10_1016_j_artint_2022_103755
Cites_doi	10.1145/1837274.1837461 10.1016/j.artint.2004.04.004 10.1016/S0004-3702(01)00162-X 10.1080/00207540701644235 10.1109/ISORC.2008.25 10.1007/978-3-642-20895-9_33 10.1007/BFb0024996 10.1080/00207540500142381 10.1109/TRO.2015.2422531 10.1016/S0954-1810(01)00016-4 10.1017/S1471068403001807 10.1145/567752.567763 10.1145/2629454 10.1145/2043174.2043195 10.1007/s11370-012-0119-x 10.1007/3-540-45241-9_12 10.1007/978-3-319-23264-5_31 10.1613/jair.2905 10.1017/S0890060403171065 10.1007/978-3-319-21768-0_10 10.3233/ICA-2003-10207 10.1016/j.eswa.2005.06.026 10.1109/ICRA.2014.6906894 10.1016/j.artint.2014.07.008 10.1016/S1571-0653(04)00323-3 10.1016/B978-0-12-415817-7.00002-5 10.1017/S1471068415000113 10.1007/3-540-49201-1_21 10.3233/AIC-2012-0547 10.1007/10703016_3 10.1017/S1471068412000142 10.1016/0004-3702(87)90062-2 10.1007/978-3-642-20895-9_39 10.1609/aaai.v29i1.9398 10.1007/978-94-011-0928-4_12 10.1007/978-3-540-30201-8_94 10.1109/5254.708432 10.1007/978-3-540-72200-7_23 10.1109/5254.708431 10.2200/S00457ED1V01Y201211AIM019 10.1609/aimag.v37i3.2678 10.1007/978-3-662-02711-0_20 10.1017/S0890060498124101 10.1109/ETFA.2012.6489636 10.1007/BF03037169 10.1017/S147106841100007X 10.1023/A:1006370506164 10.1109/CAIA.1991.120878 10.1007/978-3-319-23264-5_44 10.4230/OASIcs.ICLP.2016.2 10.1017/S1471068413000525 10.1007/s10844-016-0422-7 10.1017/CBO9781139342124 10.1109/5254.708436 10.1109/TSMCC.2007.897503 10.1016/B978-0-12-415817-7.00026-8 10.1016/0004-3702(82)90021-2 10.1177/1063293X0100900407 10.1016/S0004-3702(02)00187-X
ContentType	Journal Article
Copyright	Springer Science+Business Media New York 2017 Journal of Intelligent Manufacturing is a copyright of Springer, (2017). All Rights Reserved.
Copyright_xml	– notice: Springer Science+Business Media New York 2017 – notice: Journal of Intelligent Manufacturing is a copyright of Springer, (2017). All Rights Reserved.
DBID	AAYXX CITATION 3V. 7SC 7TB 7WY 7WZ 7XB 87Z 88E 8AL 8AO 8FD 8FE 8FG 8FJ 8FK 8FL ABJCF ABUWG AEUYN AFKRA ARAPS AZQEC BENPR BEZIV BGLVJ CCPQU DWQXO FR3 FRNLG F~G GHDGH GNUQQ HCIFZ JQ2 K60 K6~ K7- K9. L.- L6V L7M L~C L~D M0C M0N M0S M7S P5Z P62 PHGZM PHGZT PKEHL PQBIZ PQBZA PQEST PQGLB PQQKQ PQUKI PRINS PTHSS Q9U
DOI	10.1007/s10845-017-1333-3
DatabaseName	CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts Mechanical & Transportation Engineering Abstracts ABI/INFORM Collection ABI/INFORM Global (PDF only) ProQuest Central (purchase pre-March 2016) ABI/INFORM Collection Medical Database (Alumni Edition) Computing Database (Alumni Edition) ProQuest Pharma Collection Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection Hospital Premium Collection (Alumni Edition) ProQuest Central (Alumni) (purchase pre-March 2016) ABI/INFORM Collection (Alumni) SciTech Premium Collection ProQuest Central (Alumni) ProQuest One Sustainability ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials ProQuest Central Business Premium Collection Technology Collection (ProQuest) ProQuest One Community College ProQuest Central Engineering Research Database Business Premium Collection (Alumni) ABI/INFORM Global (Corporate) Health Research Premium Collection (Alumni) ProQuest Central Student SciTech Premium Collection ProQuest Computer Science Collection ProQuest Business Collection (Alumni Edition) ProQuest Business Collection Computer Science Database ProQuest Health & Medical Complete (Alumni) ABI/INFORM Professional Advanced ProQuest Engineering Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional ABI/INFORM Global (OCUL) Computing Database ProQuest Health & Medical Collection Engineering Database Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Premium ProQuest One Academic ProQuest One Academic Middle East (New) ProQuest One Business ProQuest One Business (Alumni) ProQuest One Academic Eastern Edition (DO NOT USE) One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China Engineering Collection ProQuest Central Basic
DatabaseTitle	CrossRef ProQuest Business Collection (Alumni Edition) Computer Science Database ProQuest Central Student ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts SciTech Premium Collection ProQuest Central China ABI/INFORM Complete ProQuest One Applied & Life Sciences ProQuest One Sustainability ProQuest Central (New) ProQuest Medical Library (Alumni) Engineering Collection Advanced Technologies & Aerospace Collection Business Premium Collection ABI/INFORM Global Engineering Database ProQuest One Academic Eastern Edition ProQuest Technology Collection Health Research Premium Collection (Alumni) ProQuest Business Collection ProQuest Hospital Collection (Alumni) ProQuest One Academic UKI Edition Engineering Research Database ProQuest One Academic ProQuest One Academic (New) ABI/INFORM Global (Corporate) ProQuest One Business Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) Mechanical & Transportation Engineering Abstracts ProQuest Health & Medical Complete (Alumni) ProQuest Central (Alumni Edition) ProQuest One Community College ProQuest Pharma Collection ProQuest Central ABI/INFORM Professional Advanced ProQuest Engineering Collection Health and Medicine Complete (Alumni Edition) ProQuest Central Korea Advanced Technologies Database with Aerospace ABI/INFORM Complete (Alumni Edition) ProQuest Computing ABI/INFORM Global (Alumni Edition) ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database Materials Science & Engineering Collection ProQuest One Business (Alumni) ProQuest Central (Alumni) Business Premium Collection (Alumni)
DatabaseTitleList	ProQuest Business Collection (Alumni Edition)
Database_xml	– sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database
DeliveryMethod	fulltext_linktorsrc
Discipline	Engineering Computer Science
EISSN	1572-8145
EndPage	1422
ExternalDocumentID	10_1007_s10845_017_1333_3
GrantInformation_xml	– fundername: Türkiye Bilimsel ve Teknolojik Araştirma Kurumu grantid: 114E777 funderid: http://dx.doi.org/10.13039/501100004410 – fundername: Turkish-German University Scientific Research Projects Commission grantid: 2015BM0014 – fundername: Türkiye Bilimsel ve Teknolojik Araştirma Kurumu grantid: TUBITAK 2218 funderid: http://dx.doi.org/10.13039/501100004410 – fundername: Horizon 2020 Framework Programme grantid: 678867 funderid: http://dx.doi.org/10.13039/100010661
GroupedDBID	-4X -57 -5G -BR -EM -~C -~X .4S .86 .DC .VR 06D 0R~ 0VY 1N0 203 29K 2J2 2JN 2JY 2KG 2LR 2~H 30V 4.4 406 408 409 40D 40E 5GY 5VS 67Z 6NX 78A 7WY 7X7 88E 8AO 8FE 8FG 8FJ 8FL 8TC 8UJ 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYQN AAYZH ABAKF ABBBX ABBXA ABDZT ABECU ABFTD ABFTV ABHLI ABHQN ABJCF ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABSXP ABTEG ABTHY ABTKH ABTMW ABUWG ABWNU ABXPI ACAOD ACDTI ACGFO ACGFS ACHSB ACHXU ACIHN ACIWK ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACREN ACSNA ACZOJ ADHHG ADHIR ADIMF ADINQ ADKNI ADKPE ADMLS ADRFC ADTPH ADURQ ADYFF ADYOE ADZKW AEAQA AEFQL AEGAL AEGNC AEJHL AEJRE AEMSY AENEX AEOHA AEPYU AESKC AETLH AEUYN AEVLU AEXYK AFBBN AFKRA AFLOW AFQWF AFWTZ AFYQB AFZKB AGAYW AGDGC AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHQJS AHSBF AHYZX AIAKS AIGIU AIIXL AILAN AITGF AJRNO AJZVZ AKVCP ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMTXH AMXSW AMYLF AMYQR AOCGG ARAPS ARCSS ARMRJ ASPBG AVWKF AXYYD AYQZM AZFZN AZQEC B-. BA0 BAPOH BDATZ BENPR BEZIV BGLVJ BGNMA BPHCQ BSONS CCPQU CS3 CSCUP D-I DDRTE DL5 DNIVK DPUIP DU5 DWQXO EBLON EBS EDO EIOEI EJD ESBYG FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRNLG FRRFC FSGXE FWDCC FYUFA GGCAI GGRSB GJIRD GNUQQ GNWQR GQ6 GQ7 GQ8 GROUPED_ABI_INFORM_COMPLETE GROUPED_ABI_INFORM_RESEARCH GXS HCIFZ HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ I-F I09 IJ- IKXTQ ITM IWAJR IXC IXE IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ K60 K6V K6~ K7- KDC KOV L6V LAK LLZTM M0C M0N M4Y M7S MA- MK~ ML~ NB0 NPVJJ NQJWS NU0 O93 O9G O9I O9J OAM P19 P2P P62 P9P PF0 PQBIZ PQBZA PQQKQ PROAC PT4 PT5 PTHSS QOK QOS R89 R9I RNS ROL RPX RSV S16 S27 S3B SAP SBE SDH SDM SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 TSG TSK TSV TUC TUS U2A U5U UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 WK8 YLTOR Z45 Z7R Z7S Z7V Z7X Z7Z Z81 Z83 Z88 Z8N Z92 ZMTXR ~A9 ~EX -Y2 1SB 2.D 28- 2P1 2VQ 3-Y 5QI AAPKM AARHV AAYTO AAYXX ABBRH ABDBE ABFSG ABQSL ABRTQ ABULA ACBXY ACSTC ADHKG ADKFA AEBTG AEFIE AEKMD AEZWR AFDZB AFEXP AFFHD AFGCZ AFHIU AFOHR AGGDS AGJBK AGQPQ AHKAY AHPBZ AHWEU AI. AIXLP AJBLW ATHPR AYFIA BBWZM CAG CITATION COF H13 IHE KOW N2Q NDZJH O9- OVD PHGZM PHGZT PQGLB Q2X R4E RHV RNI RZC RZE RZK S1Z S26 S28 SCF SCLPG T16 TEORI VH1 ZYFGU 3V. 7SC 7TB 7XB 8AL 8FD 8FK FR3 JQ2 K9. L.- L7M L~C L~D PKEHL PQEST PQUKI PRINS Q9U
ID	FETCH-LOGICAL-c430t-3863d3c2a0616ccff9487b5c44c10d2b1b26abf15fda62ef50b0c08d82ff5ad83
IEDL.DBID	K7-
ISICitedReferencesCount	9
ISICitedReferencesURI	http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000459423700027&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN	0956-5515
IngestDate	Tue Nov 04 23:03:28 EST 2025 Sat Nov 29 04:20:06 EST 2025 Tue Nov 18 22:23:57 EST 2025 Fri Feb 21 02:35:36 EST 2025
IsPeerReviewed	true
IsScholarly	true
Issue	3
Keywords	Mass customization Automotive production Product configuration Non-monotonic logic Answer set programming Configuration management
Language	English
LinkModel	DirectLink
MergedId	FETCHMERGED-LOGICAL-c430t-3863d3c2a0616ccff9487b5c44c10d2b1b26abf15fda62ef50b0c08d82ff5ad83
Notes	ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14
ORCID	0000-0002-1510-5628
PQID	2184948510
PQPubID	32407
PageCount	16
ParticipantIDs	proquest_journals_2184948510 crossref_primary_10_1007_s10845_017_1333_3 crossref_citationtrail_10_1007_s10845_017_1333_3 springer_journals_10_1007_s10845_017_1333_3
PublicationCentury	2000
PublicationDate	2019-03-01
PublicationDateYYYYMMDD	2019-03-01
PublicationDate_xml	– month: 03 year: 2019 text: 2019-03-01 day: 01
PublicationDecade	2010
PublicationPlace	New York
PublicationPlace_xml	– name: New York – name: London
PublicationTitle	Journal of intelligent manufacturing
PublicationTitleAbbrev	J Intell Manuf
PublicationYear	2019
Publisher	Springer US Springer Nature B.V
Publisher_xml	– name: Springer US – name: Springer Nature B.V
References	Junker, U., & Mailharro, D. (2003). The logic of ilog (j) configurator: Combining constraint programming with a description logic. In Workshop on configuration at IJCAI, (pp. 13–20). Mileo, A., & Nickles, M. (2013). Probabilistic inductive answer set programming by model sampling and counting. In International workshop on learning and nonmonotonic reasoning (LNMR), (pp. 5–16). Erdem, E., Haspalamutgil, K., Patoglu, V., & Uras, T. (2012). Causality-based planning and diagnostic reasoning for cognitive factories. In IEEE Conference on emerging technologies and factory automation Klein, R. (1991) Model representation and taxonomic reasoning in configuration problem solving. In Fachtagung für Künstliche intelligenz (GWAI-91), (pp. 182–194). Springer. Najmann, O., & Stein, B. (1992). A theoretical framework for configuration. In International conference on industrial, engineering and other applications of applied intelligent systems, (pp. 441–450). Springer. Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., & Barry, M. (2001). An a-prolog decision support system for the space shuttle. In International symposium on practical aspects of declarative languages, (pp. 169–183). Springer. Walter, R., & Küchlin, W. (2014). ReMax – A MaxSAT aided Product (Re-)Configurator. In International configuration workshop, (p. 59). Hadzic, T., Subbarayan, S., Jensen, R. M., Andersen, H. R., Møller, J., & Hulgaard, H. (2004). Fast backtrack-free product configuration using a precompiled solution space representation. In PETO conference, (pp. 131–138) KüchlinWSinzCProving consistency assertions for automotive product data managementJournal of Automated Reasoning2000241–214516310.1023/A:1006370506164 Hotz, L., Felfernig, A., Günter, A., & Tiihonen, J. (2014). A short history of configuration technologies. Knowledge-based Configuration–From Research to Business Cases (pp. 9–19). Newnes. Lin, F., & Zhao, Y. (2004). ASSAT: Computing answer sets of a logic program by SAT solvers. Artificial Intelligence, 157(1), 115–137. AschingerMDrescherCGottlobGVollmerHLoCo-A logic for configuration problemsACM Transactions on Computational Logic (TOCL)20141532010.1145/2629454 MailharroDA classification and constraint-based framework for configurationArtificial Intelligence for Engineering Design, Analysis and Manufacturing199812438339710.1017/S0890060498124101 FelfernigAFriedrichGJannachDConceptual modeling for configuration of mass-customizable productsArtificial Intelligence in Engineering200115216517610.1016/S0954-1810(01)00016-4 Calimeri, F., Faber, W., Gebser, M., Ianni, G., Kaminski, R., Krennwallner, T., Leone, N., Ricca, F., & Schaub, T. (2012). ASP-Core-2: Input language format (p 15). ASP Standardization Working Group, Tech. Rep. Retrieved May 15, 2017 from https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.00.pdf Lee, E. A. (2008). Cyber physical systems: Design challenges. In IEEE international symposium on object and component-oriented real-time distributed computing (ISORC), (pp. 363–369) Pargamin, B. (2003). Extending cluster tree compilation with non-boolean variables in product configuration: A tractable approach to preference-based configuration. In Proceedings international joint conference on artificial intelligence (IJCAI) Gebser, M., Maratea, M., & Ricca, F. (2016). What’s hot in the Answer Set Programming Competition. In AAAI conference on artificial intelligence EiterTFaberWLeoneNPfeiferGThe diagnosis frontend of the dlv systemAI Communications1999121–299111 McDermottJR1: A rule-based configurer of computer systemsArtificial Intelligence1982191398810.1016/0004-3702(82)90021-2 BaralCKnowledge Representation, Reasoning, and Declarative Problem Solving2004CambridgeCambridge University Press BachantJMcDermottJR1 revisited: Four years in the trenchesAI magazine19845321 RiccaFGrassoGAlvianoMMannaMLioVIiritanoSLeoneNTeam-building with answer set programming in the gioia-tauro seaportTheory and Practice of Logic Programming2012120336138110.1017/S147106841100007X TongCSriramDArtificial Intelligence in Engineering Design, Volume 1: Design Representation and Models of Routine Design1992San Diego, CAAcademic Press KusiakASmithMRSongZPlanning product configurations based on sales dataIEEE Transactions on Systems, Man, and Cybernetics, Part C200737460260910.1109/TSMCC.2007.897503 Felfernig, A., Friedrich, G. E., Jannach, D., & Stumptner, M. (2000). Exploiting structural abstractions for consistency based diagnosis of large configurator knowledge bases. In Proceedings international configuration workshop at ECAI, (pp. 23–28) Mittal, S., & Frayman, F. (1989). Towards a generic model of configuration tasks. In Proceedings international joint conference on artificial intelligence (IJCAI), (pp. 1395–1401). BMBF: Zukunftsbild Industrie 4.0. (2013). In Broschüre (pp. 99999-1679). Bonn: Bundesministerium für Bildung und Forschung (BMBF). Retrieved May 15, 2017 from https://www.bmbf.de/pub/Zukunftsbild_Industrie_4.0.pdf LifschitzVWhat is answer set programming?AAAI2008815941597 Tiihonen, J., & Anderson, A. (2014). VariSales. Knowledge-based configuration-from research to business cases (pp. 377–388). Newnes. AmilhastreJFargierHMarquisPConsistency restoration and explanations in dynamic CSPs-application to configurationArtificial Intelligence2002135119923410.1016/S0004-3702(01)00162-X DuXJiaoJTsengMMArchitecture of product family:Fundamentals and methodologyConcurrent Engineering20019430932510.1177/1063293X0100900407 XieHHendersonPKernahanMModelling and solving engineering product configuration problems by constraint satisfactionInternational Journal of Production Research200543204455446910.1080/00207540500142381 Walter, R., Felfernig, A. & Küchlin, W. (2016). J Intell Inf Syst. doi:10.1007/s10844-016-0422-7. ErdemEPatogluVSaribaturZGSchüllerPUrasTFinding optimal plans for multiple teams of robots through a mediator: A logic-based approachTheory and Practice of Logic Programming2013134–583184610.1017/S1471068413000525 GelfondMKahlYKnowledge representation, reasoning, and the design of intelligent agents: The answer-set programming approach2014CambridgeCambridge University Press10.1017/CBO9781139342124 SinzCKaiserAKüchlinWFormal methods for the validation of automotive product configuration dataArtificial Intelligence for Engineering Design, Analysis and Manufacturing2003171759710.1017/S0890060403171065 Arlt, V., Günter, A., Hollmann, O., Wagner, T., & Hotz, L. (1999). EngCon - Engineering and Configuration. In Workshop on Configuration at AAAI Friedrich, G., Ryabokon, A., Falkner, A. A., Haselböck, A., Schenner, G., & Schreiner, H. (2011). (Re)configuration using Answer Set Programming. In Second workshop on logics for component configuration (LoCoCo 2011), (pp. 26–35) BrewkaGEiterTTruszczyńskiMAnswer set programming at a glanceCommunications of the ACM201154129210310.1145/2043174.2043195 SabinDWeigelRProduct configuration frameworks—a surveyIEEE Intelligent Systems1998134424910.1109/5254.708432 Russel, S., & Norvig, P. (2009). Artificial Intelligence: A Modern Approach (3rd ed.). Prentice Hall. AndersenHRHadzicTPisingerDInteractive cost configuration over decision diagramsJournal of Artificial Intelligence Research20103719914010.1613/jair.2905 Blochinger, W., Sinz, C., & Küchlin, W. (2001). Parallel consistency checking of automotive product data. In Proceedings of the international parallel computing conference, (pp. 50–57). Mittal, S., & Falkenhainer, B. (1990). Dynamic constraint satisfaction. In Proceedings eighth national conference on artificial intelligence, (pp. 25–32). StumptnerMAn overview of knowledge-based configurationAI Communications1997102111125 Møller, J., Andersen, H. R., & Hulgaard, H. (2001). Product configuration over the internet. In Proceedings of the 6th INFORMS SnavelyGLPapalambrosPYAbstraction as a configuration design methodologyAdvances in Design Automation199311993 Soloway, E., Bachant, J., & Jensen, K. (1987). Assessing the maintainability of XCON-in-RIME: Coping with problems of a very large rule base. In Proceedings international conference on artificial intelligence, (pp. 824–829). Morgan Kaufman. Walter, R., Zengler, C., & Küchlin, W. (2013). Applications of MaxSAT in Automotive Configuration. Configuration Workshop, 1(2), 21. 15th International. Lee, J., & Meng, Y. (2013). Answer set programming modulo theories and reasoning about continuous changes. In Proceedings international joint conference on artificial intelligence (IJCAI), (pp. 990–996). HaagASales configuration in business processesIEEE Intelligent Systems and their Applications1998134788510.1109/5254.708436 Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., & Wanko, P. (2016). Theory Solving made easy with Clingo 5. In International conference on logic programming: technical communications. Schloss Dagstuhl–Leibniz-Zentrum für Informatik. doi:10.4230/OASIcs.ICLP.2016.2 Subbarayan, S. (Ed.) (2004). CLib: configuration benchmarks library. Retrieved May 15, 2017 from https://www.itu.dk/research/cla/externals/clib Myllärniemi, V., Asikainen, T., Männistö, T., & Soininen, T. (2005). Kumbang configurator – a configuration tool for software product families. In Proceedings international joint conference on artificial intelligence (IJCAI), (pp. 51–56). EiterTFinkMIanniGKrennwallnerTRedlCSchüllerPA model building framework for answer set programming with external computationsTheory and Practice of Logic Programming2016160441846410.1017/S1471068415000113 TseitinGSOn the complexity of proof in prepositional calculusZapiski Nauchnykh Seminarov POMI19688234259 Soininen, T., & Niemelä, I. (1998). Developing a declarative rule language for applications in product configuration. In Practical aspects of declarative languages, (pp. 305–319). Springer. Aschinger, M., Drescher, C., Friedrich, G., Gottlob, G., Jeavons, P., Ryabokon, A., & Thorstensen, E. (2011). Optimization methods for the partner units problem. In: International Conference on AI and OR Techniques in Constraint Programming for Combinatorial O P Simons (1333_CR78) 2002; 138 1333_CR37 S Zhang (1333_CR101) 2015; 31 W Küchlin (1333_CR51) 2000; 24 1333_CR5 M Gelfond (1333_CR36) 2014 1333_CR6 1333_CR9 1333_CR33 1333_CR34 1333_CR35 1333_CR1 1333_CR30 1333_CR31 1333_CR32 S Marcus (1333_CR59) 1987; 8 1333_CR27 1333_CR28 1333_CR29 F Ricca (1333_CR74) 2012; 12 J McDermott (1333_CR60) 1982; 19 J Bachant (1333_CR8) 1984; 5 1333_CR23 1333_CR24 E Erdem (1333_CR25) 2013; 13 SM Davis (1333_CR17) 1987 1333_CR50 GS Tseitin (1333_CR94) 1968; 8 1333_CR55 1333_CR57 1333_CR53 M Aldanondo (1333_CR2) 2003; 10 1333_CR54 M Ostrowski (1333_CR69) 2012; 12 HR Andersen (1333_CR4) 2010; 37 1333_CR48 T Eiter (1333_CR21) 2014; 216 1333_CR49 M Balduccini (1333_CR10) 2003; 3 HE Tseng (1333_CR95) 2005; 29 X Du (1333_CR18) 2001; 9 T Eiter (1333_CR19) 1999; 12 1333_CR44 1333_CR45 1333_CR47 C Tong (1333_CR93) 1992 B Yu (1333_CR100) 1998; 13 1333_CR40 R Reiter (1333_CR73) 1987; 32 1333_CR42 1333_CR43 V Lifschitz (1333_CR56) 2008; 8 Z Song (1333_CR86) 2009; 47 D Mailharro (1333_CR58) 1998; 12 M Stumptner (1333_CR87) 1997; 10 1333_CR70 1333_CR71 1333_CR72 1333_CR77 1333_CR75 T Eiter (1333_CR20) 2016; 16 C Sinz (1333_CR79) 2001; 9 A Haag (1333_CR41) 1998; 13 M Gelfond (1333_CR38) 1991; 9 H Xie (1333_CR99) 2005; 43 1333_CR61 M Aschinger (1333_CR7) 2014; 15 J Tiihonen (1333_CR91) 2013; 26 1333_CR66 1333_CR67 1333_CR68 1333_CR62 1333_CR63 GL Snavely (1333_CR82) 1993; 1 1333_CR64 1333_CR65 T Syrjänen (1333_CR89) 2006; 6 D Sabin (1333_CR76) 1998; 13 1333_CR16 1333_CR92 J Amilhastre (1333_CR3) 2002; 135 1333_CR90 1333_CR12 1333_CR13 1333_CR14 1333_CR96 1333_CR97 A Kusiak (1333_CR52) 2007; 37 1333_CR98 CP Gomes (1333_CR39) 2008; 3 T Janhunen (1333_CR46) 2011; 11 A Felfernig (1333_CR26) 2001; 15 1333_CR80 C Sinz (1333_CR81) 2003; 17 E Erdem (1333_CR22) 2012; 5 1333_CR83 C Baral (1333_CR11) 2004 1333_CR88 G Brewka (1333_CR15) 2011; 54 1333_CR84 1333_CR85
References_xml	– reference: SimonsPNiemeläISoininenTExtending and implementing the stable model semanticsArtificial Intelligence2002138118123410.1016/S0004-3702(02)00187-X – reference: Tiihonen, J., Soininen, T., Niemelä, I., & Sulonen, R. (2003). A practical tool for mass-customising configurable products. In Proceedings international conference on engineering design, (pp. 1290–1299). – reference: Blochinger, W., Sinz, C., & Küchlin, W. (2001). Parallel consistency checking of automotive product data. In Proceedings of the international parallel computing conference, (pp. 50–57). – reference: SinzCBlochingerWKüchlinWPaSAT - Parallel SAT-checking with lemma exchange: Implementation and applicationsElectronic Notes in Discrete Mathematics2001920521610.1016/S1571-0653(04)00323-3 – reference: AmilhastreJFargierHMarquisPConsistency restoration and explanations in dynamic CSPs-application to configurationArtificial Intelligence2002135119923410.1016/S0004-3702(01)00162-X – reference: Gebser, M., Kaminski, R., Kaufmann, B., & Schaub, T. (2012). Answer set solving in practice. Morgan and Claypool Publishers. – reference: Lee, E. A. (2008). Cyber physical systems: Design challenges. In IEEE international symposium on object and component-oriented real-time distributed computing (ISORC), (pp. 363–369) – reference: Soloway, E., Bachant, J., & Jensen, K. (1987). Assessing the maintainability of XCON-in-RIME: Coping with problems of a very large rule base. In Proceedings international conference on artificial intelligence, (pp. 824–829). Morgan Kaufman. – reference: XieHHendersonPKernahanMModelling and solving engineering product configuration problems by constraint satisfactionInternational Journal of Production Research200543204455446910.1080/00207540500142381 – reference: Walter, R., Zengler, C., & Küchlin, W. (2013). Applications of MaxSAT in Automotive Configuration. Configuration Workshop, 1(2), 21. 15th International. – reference: Havur, G., Ozbilgin, G., Erdem, E., & Patoglu, V. (2014). Geometric rearrangement of multiple movable objects on cluttered surfaces: A hybrid reasoning approach. In IEEE international conference on robotics and automation (ICRA), (pp. 445–452). IEEE. – reference: JanhunenTLiuGNiemeläITight integration of non-ground answer set programming and satisfiability modulo theoriesProceedings of GTTV201111113 – reference: BMBF: Zukunftsbild Industrie 4.0. (2013). In Broschüre (pp. 99999-1679). Bonn: Bundesministerium für Bildung und Forschung (BMBF). Retrieved May 15, 2017 from https://www.bmbf.de/pub/Zukunftsbild_Industrie_4.0.pdf – reference: EiterTFinkMIanniGKrennwallnerTRedlCSchüllerPA model building framework for answer set programming with external computationsTheory and Practice of Logic Programming2016160441846410.1017/S1471068415000113 – reference: SyrjänenTDebugging inconsistent answer set programsProc. NMR200667783 – reference: Lee, J., & Meng, Y. (2013). Answer set programming modulo theories and reasoning about continuous changes. In Proceedings international joint conference on artificial intelligence (IJCAI), (pp. 990–996). – reference: BaralCKnowledge Representation, Reasoning, and Declarative Problem Solving2004CambridgeCambridge University Press – reference: Leone, N., & Ricca, F. (2015). Answer set programming: a tour from the basics to advanced development tools and industrial applications. In Reasoning web international summer school, (pp. 308–326). Springer. – reference: ErdemEPatogluVSaribaturZGSchüllerPUrasTFinding optimal plans for multiple teams of robots through a mediator: A logic-based approachTheory and Practice of Logic Programming2013134–583184610.1017/S1471068413000525 – reference: Gebser, M., Kaminski, R., König, A., & Schaub, T. (2011). Advances in gringo series 3. In Logic programming and nonmonotonic reasoning, (pp. 345–351). Springer. – reference: McDermottJR1: A rule-based configurer of computer systemsArtificial Intelligence1982191398810.1016/0004-3702(82)90021-2 – reference: OstrowskiMSchaubTASP modulo CSP: The clingcon systemTheory and Practice of Logic Programming2012124–548550310.1017/S1471068412000142 – reference: Mileo, A., & Nickles, M. (2013). Probabilistic inductive answer set programming by model sampling and counting. In International workshop on learning and nonmonotonic reasoning (LNMR), (pp. 5–16). – reference: Brewka, G., Delgrande, J., Romero, J., & Schaub, T. (2015) Asprin: Customizing answer set preferences without a headache. In AAAI Conference on artificial intelligence, (pp. 1467–1474). – reference: ReiterRA theory of diagnosis from first principlesArtificial Intelligence1987321579510.1016/0004-3702(87)90062-2 – reference: HaagASales configuration in business processesIEEE Intelligent Systems and their Applications1998134788510.1109/5254.708436 – reference: Balduccini, M. (2011). Industrial-size scheduling with ASP+CP. In International conference on logic programming and nonmonotonic reasoning, (pp. 284–296). Springer. – reference: Gebser, M., Pührer, J., Schaub, T., & Tompits, H. (2008). A meta-programming technique for debugging answer-set programs. In AAAI, (pp. 448–453). – reference: Junker, U., & Mailharro, D. (2003). The logic of ilog (j) configurator: Combining constraint programming with a description logic. In Workshop on configuration at IJCAI, (pp. 13–20). – reference: Soininen, T., & Niemelä, I. (1998). Developing a declarative rule language for applications in product configuration. In Practical aspects of declarative languages, (pp. 305–319). Springer. – reference: Rajkumar, R. R., Lee, I., Sha, L., & Stankovic, J. (2010). Cyber-physical systems. In Design automation conference (DAC), (pp. 731–736). – reference: Gebser, M., Kaminski, R., Kaufmann, B., Romero, J., & Schaub, T. (2015). Progress in clasp series 3. In Logic programming and nonmonotonic reasoning, (pp. 368–383). Springer. – reference: Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., & Wanko, P. (2016). Theory Solving made easy with Clingo 5. In International conference on logic programming: technical communications. Schloss Dagstuhl–Leibniz-Zentrum für Informatik. doi:10.4230/OASIcs.ICLP.2016.2 – reference: Heinrich, M., & Jungst, E. (1991). A resource-based paradigm for the configuring of technical systems from modular components. In IEEE conference on artificial intelligence applications, (pp. 257–264). IEEE. – reference: LifschitzVWhat is answer set programming?AAAI2008815941597 – reference: Tiihonen, J., & Anderson, A. (2014). VariSales. Knowledge-based configuration-from research to business cases (pp. 377–388). Newnes. – reference: Gebser, M., Kaufmann, B., Neumann, A., & Schaub, T. (2007). Clasp: A conflict-driven answer set solver. In Logic programming and nonmonotonic reasoning, (pp. 260–265). Springer. – reference: Hadzic, T., Subbarayan, S., Jensen, R. M., Andersen, H. R., Møller, J., & Hulgaard, H. (2004). Fast backtrack-free product configuration using a precompiled solution space representation. In PETO conference, (pp. 131–138) – reference: BrewkaGEiterTTruszczyńskiMAnswer set programming at a glanceCommunications of the ACM201154129210310.1145/2043174.2043195 – reference: Klein, R. (1991) Model representation and taxonomic reasoning in configuration problem solving. In Fachtagung für Künstliche intelligenz (GWAI-91), (pp. 182–194). Springer. – reference: KüchlinWSinzCProving consistency assertions for automotive product data managementJournal of Automated Reasoning2000241–214516310.1023/A:1006370506164 – reference: KusiakASmithMRSongZPlanning product configurations based on sales dataIEEE Transactions on Systems, Man, and Cybernetics, Part C200737460260910.1109/TSMCC.2007.897503 – reference: Sinz, C., Kaiser, A., & Küchlin, W. (2001). Detection of inconsistencies in complex product configuration data using extended propositional SAT-checking. In FLAIRS conference, (pp. 645–649). – reference: BachantJMcDermottJR1 revisited: Four years in the trenchesAI magazine19845321 – reference: StumptnerMAn overview of knowledge-based configurationAI Communications1997102111125 – reference: Erdem, E., Gelfond, M., & Leone, N. (2016). Applications of asp. AI Magazine, 37(3), 53–68. AAAI Press. – reference: TseitinGSOn the complexity of proof in prepositional calculusZapiski Nauchnykh Seminarov POMI19688234259 – reference: Lin, F., & Zhao, Y. (2004). ASSAT: Computing answer sets of a logic program by SAT solvers. Artificial Intelligence, 157(1), 115–137. – reference: TongCSriramDArtificial Intelligence in Engineering Design, Volume 1: Design Representation and Models of Routine Design1992San Diego, CAAcademic Press – reference: DavisSMFuture perfect1987MAAddison-Wesley Reading – reference: Mittal, S., & Falkenhainer, B. (1990). Dynamic constraint satisfaction. In Proceedings eighth national conference on artificial intelligence, (pp. 25–32). – reference: GelfondMKahlYKnowledge representation, reasoning, and the design of intelligent agents: The answer-set programming approach2014CambridgeCambridge University Press10.1017/CBO9781139342124 – reference: Mittal, S., & Frayman, F. (1989). Towards a generic model of configuration tasks. In Proceedings international joint conference on artificial intelligence (IJCAI), (pp. 1395–1401). – reference: Klein, R., Buchheit, M., & Nutt, W. (1994). Configuration as model construction: The constructive problem solving approach. In Artificial intelligence in design, (pp. 201–218). Springer. – reference: Soininen, T., Niemelä, I., Tiihonen, J., & Sulonen, R. (2001). Representing configuration knowledge with weight constraint rules. In Proceedings of the AAAI Spring 2001 Symposium on Answer Set Programming (pp. 195–201). AAAI Press. – reference: Gelfond, M., & Lifschitz, V. (1988). The stable model semantics for logic programming. In: International conference and symposium on logic programming (ICLP/SLP), (pp. 1070–1080) – reference: Hotz, L., Felfernig, A., Günter, A., & Tiihonen, J. (2014). A short history of configuration technologies. Knowledge-based Configuration–From Research to Business Cases (pp. 9–19). Newnes. – reference: Myllärniemi, V., Asikainen, T., Männistö, T., & Soininen, T. (2005). Kumbang configurator – a configuration tool for software product families. In Proceedings international joint conference on artificial intelligence (IJCAI), (pp. 51–56). – reference: Pargamin, B. (2002). Vehicle sales configuration: the cluster tree approach. In Configuration workshop at ECAI at ECAI, (pp. 35–40). – reference: Møller, J., Andersen, H. R., & Hulgaard, H. (2001). Product configuration over the internet. In Proceedings of the 6th INFORMS – reference: EiterTFaberWLeoneNPfeiferGThe diagnosis frontend of the dlv systemAI Communications1999121–299111 – reference: SnavelyGLPapalambrosPYAbstraction as a configuration design methodologyAdvances in Design Automation199311993 – reference: MailharroDA classification and constraint-based framework for configurationArtificial Intelligence for Engineering Design, Analysis and Manufacturing199812438339710.1017/S0890060498124101 – reference: Arlt, V., Günter, A., Hollmann, O., Wagner, T., & Hotz, L. (1999). EngCon - Engineering and Configuration. In Workshop on Configuration at AAAI – reference: Subbarayan, S. (Ed.) (2004). CLib: configuration benchmarks library. Retrieved May 15, 2017 from https://www.itu.dk/research/cla/externals/clib/ – reference: Erdem, E., Haspalamutgil, K., Patoglu, V., & Uras, T. (2012). Causality-based planning and diagnostic reasoning for cognitive factories. In IEEE Conference on emerging technologies and factory automation – reference: SongZKusiakAOptimising product configurations with a data-mining approachInternational Journal of Production Research20094771733175110.1080/00207540701644235 – reference: Aho, A. V., & Ullman, J. D. (1979). Universality of data retrieval languages. In Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (pp. 110–119). ACM. – reference: Friedrich, G., Ryabokon, A., Falkner, A. A., Haselböck, A., Schenner, G., & Schreiner, H. (2011). (Re)configuration using Answer Set Programming. In Second workshop on logics for component configuration (LoCoCo 2011), (pp. 26–35) – reference: SabinDWeigelRProduct configuration frameworks—a surveyIEEE Intelligent Systems1998134424910.1109/5254.708432 – reference: AndersenHRHadzicTPisingerDInteractive cost configuration over decision diagramsJournal of Artificial Intelligence Research20103719914010.1613/jair.2905 – reference: ZhangSSridharanMWyattJLMixed logical inference and probabilistic planning for robots in unreliable worldsIEEE Transactions on Robotics201531369971310.1109/TRO.2015.2422531 – reference: AschingerMDrescherCGottlobGVollmerHLoCo-A logic for configuration problemsACM Transactions on Computational Logic (TOCL)20141532010.1145/2629454 – reference: ErdemEAkerEPatogluVAnswer set programming for collaborative housekeeping robotics: Representation, reasoning, and executionIntelligent Service Robotics20125427529110.1007/s11370-012-0119-x – reference: Calimeri, F., Faber, W., Gebser, M., Ianni, G., Kaminski, R., Krennwallner, T., Leone, N., Ricca, F., & Schaub, T. (2012). ASP-Core-2: Input language format (p 15). ASP Standardization Working Group, Tech. Rep. Retrieved May 15, 2017 from https://www.mat.unical.it/aspcomp2013/files/ASP-CORE-2.00.pdf – reference: BalducciniMGelfondMDiagnostic reasoning with A-PrologTheory and Practice of Logic Programming20033442546110.1017/S1471068403001807 – reference: Russel, S., & Norvig, P. (2009). Artificial Intelligence: A Modern Approach (3rd ed.). Prentice Hall. – reference: Walter, R., & Küchlin, W. (2014). ReMax – A MaxSAT aided Product (Re-)Configurator. In International configuration workshop, (p. 59). – reference: Orsvärn, K., & Axling, T. (1999). The tacton view of configuration tasks and engines. In Workshop on configuration at national conference on artificial intelligence (AAAI) – reference: TsengHEChangCCChangSHApplying case-based reasoning for product configuration in mass customization environmentsExpert Systems with Applications200529491392510.1016/j.eswa.2005.06.026 – reference: EiterTFinkMSchüllerPWeinzierlAFinding explanations of inconsistency in multi-context systemsArtificial Intelligence201421623327410.1016/j.artint.2014.07.008 – reference: GomesCPKautzHSabharwalASelmanBSatisfiability solvers. Handbook of knowledgeRepresentation2008389134 – reference: AldanondoMHadj-HamouKMoynardGLamotheJMass customization and configuration: Requirement analysis and constraint based modeling propositionsIntegrated Computer-Aided Engineering200310217718910.3233/ICA-2003-10207 – reference: Walter, R., Felfernig, A. & Küchlin, W. (2016). J Intell Inf Syst. doi:10.1007/s10844-016-0422-7. – reference: Jensen, R. M. (2004). CLab: A C++ library for fast backtrack-free interactive product configuration. In Principles and practice of constraint programming–CP 2004, (pp. 816–816). Springer. – reference: Aschinger, M., Drescher, C., Friedrich, G., Gottlob, G., Jeavons, P., Ryabokon, A., & Thorstensen, E. (2011). Optimization methods for the partner units problem. In: International Conference on AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, (pp. 4–19). Springer. – reference: GelfondMLifschitzVClassical negation in logic programs and deductive databasesNew Generation Computing1991936538510.1007/BF03037169 – reference: SinzCKaiserAKüchlinWFormal methods for the validation of automotive product configuration dataArtificial Intelligence for Engineering Design, Analysis and Manufacturing2003171759710.1017/S0890060403171065 – reference: FelfernigAFriedrichGJannachDConceptual modeling for configuration of mass-customizable productsArtificial Intelligence in Engineering200115216517610.1016/S0954-1810(01)00016-4 – reference: Günter, A., & Kühn, C. (1999) Knowledge-based configuration-survey and future directions. In German conference on knowledge-based systems, (pp. 47–66). Springer. – reference: MarcusSStoutJMcDermottJVt: An expert elevator designer that uses knowledge-based backtrackingAI magazine19878441 – reference: RiccaFGrassoGAlvianoMMannaMLioVIiritanoSLeoneNTeam-building with answer set programming in the gioia-tauro seaportTheory and Practice of Logic Programming2012120336138110.1017/S147106841100007X – reference: Felfernig, A., Friedrich, G. E., Jannach, D., & Stumptner, M. (2000). Exploiting structural abstractions for consistency based diagnosis of large configurator knowledge bases. In Proceedings international configuration workshop at ECAI, (pp. 23–28) – reference: Najmann, O., & Stein, B. (1992). A theoretical framework for configuration. In International conference on industrial, engineering and other applications of applied intelligent systems, (pp. 441–450). Springer. – reference: Nogueira, M., Balduccini, M., Gelfond, M., Watson, R., & Barry, M. (2001). An a-prolog decision support system for the space shuttle. In International symposium on practical aspects of declarative languages, (pp. 169–183). Springer. – reference: TiihonenJHeiskalaMAndersonASoininenTWeCoTin-A practical logic-based sales configuratorAI Communications20132619913110.3233/AIC-2012-0547 – reference: YuBSkovgaardHJA configuration tool to increase product competitivenessIEEE Intelligent Systems1998134344110.1109/5254.708431 – reference: Schreiber, A. T., Terpstra, P., Magni, P., & Van Velzen, M. (1994). Analysing and implementing VT using COMMON-KADS. In Proceedings workshop on knowledge acquisition for knowledge-based systems, (pp. 44–1). – reference: DuXJiaoJTsengMMArchitecture of product family:Fundamentals and methodologyConcurrent Engineering20019430932510.1177/1063293X0100900407 – reference: Gebser, M., Maratea, M., & Ricca, F. (2016). What’s hot in the Answer Set Programming Competition. In AAAI conference on artificial intelligence – reference: Pargamin, B. (2003). Extending cluster tree compilation with non-boolean variables in product configuration: A tractable approach to preference-based configuration. In Proceedings international joint conference on artificial intelligence (IJCAI) – volume: 8 start-page: 41 issue: 4 year: 1987 ident: 1333_CR59 publication-title: AI magazine – ident: 1333_CR72 doi: 10.1145/1837274.1837461 – ident: 1333_CR16 – ident: 1333_CR57 doi: 10.1016/j.artint.2004.04.004 – ident: 1333_CR68 – ident: 1333_CR6 – volume: 135 start-page: 199 issue: 1 year: 2002 ident: 1333_CR3 publication-title: Artificial Intelligence doi: 10.1016/S0004-3702(01)00162-X – volume: 47 start-page: 1733 issue: 7 year: 2009 ident: 1333_CR86 publication-title: International Journal of Production Research doi: 10.1080/00207540701644235 – ident: 1333_CR53 doi: 10.1109/ISORC.2008.25 – ident: 1333_CR9 doi: 10.1007/978-3-642-20895-9_33 – ident: 1333_CR66 doi: 10.1007/BFb0024996 – ident: 1333_CR97 – volume: 3 start-page: 89 year: 2008 ident: 1333_CR39 publication-title: Representation – ident: 1333_CR92 – ident: 1333_CR65 – volume: 43 start-page: 4455 issue: 20 year: 2005 ident: 1333_CR99 publication-title: International Journal of Production Research doi: 10.1080/00207540500142381 – volume: 8 start-page: 234 year: 1968 ident: 1333_CR94 publication-title: Zapiski Nauchnykh Seminarov POMI – ident: 1333_CR13 – ident: 1333_CR48 – volume: 31 start-page: 699 issue: 3 year: 2015 ident: 1333_CR101 publication-title: IEEE Transactions on Robotics doi: 10.1109/TRO.2015.2422531 – ident: 1333_CR54 – volume: 15 start-page: 165 issue: 2 year: 2001 ident: 1333_CR26 publication-title: Artificial Intelligence in Engineering doi: 10.1016/S0954-1810(01)00016-4 – volume: 3 start-page: 425 issue: 4 year: 2003 ident: 1333_CR10 publication-title: Theory and Practice of Logic Programming doi: 10.1017/S1471068403001807 – ident: 1333_CR1 doi: 10.1145/567752.567763 – volume: 1 start-page: 1993 year: 1993 ident: 1333_CR82 publication-title: Advances in Design Automation – ident: 1333_CR27 – volume: 15 start-page: 20 issue: 3 year: 2014 ident: 1333_CR7 publication-title: ACM Transactions on Computational Logic (TOCL) doi: 10.1145/2629454 – volume: 54 start-page: 92 issue: 12 year: 2011 ident: 1333_CR15 publication-title: Communications of the ACM doi: 10.1145/2043174.2043195 – volume: 5 start-page: 275 issue: 4 year: 2012 ident: 1333_CR22 publication-title: Intelligent Service Robotics doi: 10.1007/s11370-012-0119-x – ident: 1333_CR71 – ident: 1333_CR67 doi: 10.1007/3-540-45241-9_12 – ident: 1333_CR30 doi: 10.1007/978-3-319-23264-5_31 – ident: 1333_CR85 – volume: 37 start-page: 99 issue: 1 year: 2010 ident: 1333_CR4 publication-title: Journal of Artificial Intelligence Research doi: 10.1613/jair.2905 – volume-title: Artificial Intelligence in Engineering Design, Volume 1: Design Representation and Models of Routine Design year: 1992 ident: 1333_CR93 – volume: 17 start-page: 75 issue: 1 year: 2003 ident: 1333_CR81 publication-title: Artificial Intelligence for Engineering Design, Analysis and Manufacturing doi: 10.1017/S0890060403171065 – ident: 1333_CR55 doi: 10.1007/978-3-319-21768-0_10 – volume: 10 start-page: 177 issue: 2 year: 2003 ident: 1333_CR2 publication-title: Integrated Computer-Aided Engineering doi: 10.3233/ICA-2003-10207 – volume: 29 start-page: 913 issue: 4 year: 2005 ident: 1333_CR95 publication-title: Expert Systems with Applications doi: 10.1016/j.eswa.2005.06.026 – volume: 10 start-page: 111 issue: 2 year: 1997 ident: 1333_CR87 publication-title: AI Communications – ident: 1333_CR63 – ident: 1333_CR43 doi: 10.1109/ICRA.2014.6906894 – volume: 216 start-page: 233 year: 2014 ident: 1333_CR21 publication-title: Artificial Intelligence doi: 10.1016/j.artint.2014.07.008 – volume: 9 start-page: 205 year: 2001 ident: 1333_CR79 publication-title: Electronic Notes in Discrete Mathematics doi: 10.1016/S1571-0653(04)00323-3 – volume: 8 start-page: 1594 year: 2008 ident: 1333_CR56 publication-title: AAAI – ident: 1333_CR88 – volume-title: Future perfect year: 1987 ident: 1333_CR17 – ident: 1333_CR77 – ident: 1333_CR80 – ident: 1333_CR35 – ident: 1333_CR45 doi: 10.1016/B978-0-12-415817-7.00002-5 – volume: 16 start-page: 418 issue: 04 year: 2016 ident: 1333_CR20 publication-title: Theory and Practice of Logic Programming doi: 10.1017/S1471068415000113 – volume: 6 start-page: 77 year: 2006 ident: 1333_CR89 publication-title: Proc. NMR – ident: 1333_CR64 – ident: 1333_CR70 – ident: 1333_CR83 doi: 10.1007/3-540-49201-1_21 – volume: 26 start-page: 99 issue: 1 year: 2013 ident: 1333_CR91 publication-title: AI Communications doi: 10.3233/AIC-2012-0547 – ident: 1333_CR40 doi: 10.1007/10703016_3 – ident: 1333_CR12 – volume: 12 start-page: 485 issue: 4–5 year: 2012 ident: 1333_CR69 publication-title: Theory and Practice of Logic Programming doi: 10.1017/S1471068412000142 – volume: 32 start-page: 57 issue: 1 year: 1987 ident: 1333_CR73 publication-title: Artificial Intelligence doi: 10.1016/0004-3702(87)90062-2 – volume-title: Knowledge Representation, Reasoning, and Declarative Problem Solving year: 2004 ident: 1333_CR11 – ident: 1333_CR32 doi: 10.1007/978-3-642-20895-9_39 – volume: 12 start-page: 99 issue: 1–2 year: 1999 ident: 1333_CR19 publication-title: AI Communications – ident: 1333_CR14 doi: 10.1609/aaai.v29i1.9398 – ident: 1333_CR50 doi: 10.1007/978-94-011-0928-4_12 – ident: 1333_CR47 doi: 10.1007/978-3-540-30201-8_94 – volume: 13 start-page: 42 issue: 4 year: 1998 ident: 1333_CR76 publication-title: IEEE Intelligent Systems doi: 10.1109/5254.708432 – ident: 1333_CR61 – ident: 1333_CR33 doi: 10.1007/978-3-540-72200-7_23 – volume: 13 start-page: 34 issue: 4 year: 1998 ident: 1333_CR100 publication-title: IEEE Intelligent Systems doi: 10.1109/5254.708431 – ident: 1333_CR31 doi: 10.2200/S00457ED1V01Y201211AIM019 – ident: 1333_CR5 – ident: 1333_CR23 doi: 10.1609/aimag.v37i3.2678 – ident: 1333_CR37 – ident: 1333_CR49 doi: 10.1007/978-3-662-02711-0_20 – ident: 1333_CR75 – volume: 12 start-page: 383 issue: 4 year: 1998 ident: 1333_CR58 publication-title: Artificial Intelligence for Engineering Design, Analysis and Manufacturing doi: 10.1017/S0890060498124101 – ident: 1333_CR24 doi: 10.1109/ETFA.2012.6489636 – volume: 9 start-page: 365 year: 1991 ident: 1333_CR38 publication-title: New Generation Computing doi: 10.1007/BF03037169 – volume: 5 start-page: 21 issue: 3 year: 1984 ident: 1333_CR8 publication-title: AI magazine – volume: 12 start-page: 361 issue: 03 year: 2012 ident: 1333_CR74 publication-title: Theory and Practice of Logic Programming doi: 10.1017/S147106841100007X – ident: 1333_CR62 – ident: 1333_CR28 – volume: 24 start-page: 145 issue: 1–2 year: 2000 ident: 1333_CR51 publication-title: Journal of Automated Reasoning doi: 10.1023/A:1006370506164 – ident: 1333_CR44 doi: 10.1109/CAIA.1991.120878 – ident: 1333_CR34 doi: 10.1007/978-3-319-23264-5_44 – ident: 1333_CR42 – ident: 1333_CR29 doi: 10.4230/OASIcs.ICLP.2016.2 – volume: 13 start-page: 831 issue: 4–5 year: 2013 ident: 1333_CR25 publication-title: Theory and Practice of Logic Programming doi: 10.1017/S1471068413000525 – volume: 11 start-page: 1 year: 2011 ident: 1333_CR46 publication-title: Proceedings of GTTV – ident: 1333_CR84 – ident: 1333_CR96 doi: 10.1007/s10844-016-0422-7 – volume-title: Knowledge representation, reasoning, and the design of intelligent agents: The answer-set programming approach year: 2014 ident: 1333_CR36 doi: 10.1017/CBO9781139342124 – volume: 13 start-page: 78 issue: 4 year: 1998 ident: 1333_CR41 publication-title: IEEE Intelligent Systems and their Applications doi: 10.1109/5254.708436 – volume: 37 start-page: 602 issue: 4 year: 2007 ident: 1333_CR52 publication-title: IEEE Transactions on Systems, Man, and Cybernetics, Part C doi: 10.1109/TSMCC.2007.897503 – ident: 1333_CR90 doi: 10.1016/B978-0-12-415817-7.00026-8 – volume: 19 start-page: 39 issue: 1 year: 1982 ident: 1333_CR60 publication-title: Artificial Intelligence doi: 10.1016/0004-3702(82)90021-2 – volume: 9 start-page: 309 issue: 4 year: 2001 ident: 1333_CR18 publication-title: Concurrent Engineering doi: 10.1177/1063293X0100900407 – ident: 1333_CR98 – volume: 138 start-page: 181 issue: 1 year: 2002 ident: 1333_CR78 publication-title: Artificial Intelligence doi: 10.1016/S0004-3702(02)00187-X
SSID	ssj0009861
Score	2.2514813
Snippet	In automotive industry, validation and maintenance of product configuration data is a complex task. Both orders from the customers and new product line designs...
SourceID	proquest crossref springer
SourceType	Aggregation Database Enrichment Source Index Database Publisher
StartPage	1407
SubjectTerms	Advanced manufacturing technologies Automobile industry Automotive engineering BASIC (programming language) Business and Management Computation Configurations Control Logic programming Logic programs Machines Manufacturing Mathematical programming Mechatronics Personal computers Processes Production R&D Reasoning Research & development Robotics Salesforce automation State of the art
SummonAdditionalLinks	– databaseName: SpringerLINK Contemporary 1997-Present dbid: RSV link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LT8MwDLZ4HeDAYIAYDJQDJ1CkNknb9IgQEyeEeGm3KkmTgQTbxDr4-zh9sIEACa5tmkaOXdv1l88ARxK9pFAho0LolIocE1YZW01DxfPExS5iqSqbTSSXl7LfT6_qc9yTBu3elCTLL_XcYTcpPNAsoZhXccoXYRm9nfTWeH1zP2PalSVJakmwh-FA1JQyv5viszOaRZhfiqKlr-m1_rXKDVivQ0tyWunCJizYYRtaTdsGUltxG9bmOAi34OF0roRNRo4MR0OKujkqPGku8Zj18o8tKUZETYsSvPdqybhiiiWYTrvHwbTSI-JR9AOC3u8NXzixBanhX894eRvueue3Zxe0br9AjeBBQbmMec4NU-jyY2OcSzG50ZERwoRBznSoWay0CyOXq5hZFwU6MIHMJXMuUrnkO7CES7a7QHQaMx2lDmOxRNjcaBwUJFZIrVBohnUgaPYhMzU3uW-R8ZTNWJW9XDOUa-blmvEOHH88Mq6IOX4b3G02N6ttdJL55NZz44RBB06azZzd_nGyvT-N3odVjLHSCrbWhaXiZWoPYMW8Fo-Tl8NSdd8BwCPp-A priority: 102 providerName: Springer Nature
Title	Applications of non-monotonic reasoning to automotive product configuration using answer set programming
URI	https://link.springer.com/article/10.1007/s10845-017-1333-3 https://www.proquest.com/docview/2184948510
Volume	30
WOSCitedRecordID	wos000459423700027&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText	1
inHoldings	1
isFullTextHit
isPrint
journalDatabaseRights	– providerCode: PRVAVX databaseName: SpringerLINK Contemporary 1997-Present customDbUrl: eissn: 1572-8145 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0009861 issn: 0956-5515 databaseCode: RSV dateStart: 19970101 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature
link	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1Lb9QwEB7RlgM9UCigLpSVD5xAFo7txM4JlaoVEmK1ankULlH8KpVgs3Sz5e8zThxSkOiFiw-J4zj6xp4Zz-QbgGcataSsM06lNCWVDh1WXXhDs1o4FYqQ87Luik2o2UyfnZXzdOC2SmmVw57YbdSusfGM_GV0RSKTScZeLX_QWDUqRldTCY0N2Mo4z6Kcv1V0JN3VHV9qx7WHlkE-RDX7X-e0jGlriqKXJqj4Uy-NxuZf8dFO7Rzv_O-E78HdZHCSg15C7sMtv9iFnaGYA0lrexe2rzETPoCvB9cC26QJZNEsKI7YtJFKl8RM9u4cl7QNqddtl9J35cmy548l6GSHi_N1L10k5tafE9SJP_GFK9-SlBT2HS8_hA_HR-8P39BUlIFaKVhLhS6EE5bXaAgU1oaA36hMbqW0GXPcZIYXtQlZHlxdcB9yZphl2mkeQl47LR7BJk7Z7wExZcFNXga00JT0zhrsxJSX2tQIkeUTYAMklU2M5bFwxrdq5FqOKFaIYhVRrMQEnv9-ZNnTddzUeX9Arkord1WNsE3gxYD9ePufgz2-ebAncAdNrbLPXtuHzfZy7Z_CbXvVXqwup7ChPn2ewtbro9n8ZNoJMbbv2GFs1Sm28_wLtienH38B84H66Q
linkProvider	ProQuest
linkToHtml	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V3NT9VAEJ8gmKgH-VDjU9A94EWzYbu7bbcHYwhIIMCLB0y41f1EEn198vog_lP-jc72w4KJ3Dh47ce02_5mZ2Zn9jcAmwqtpNQJp1KagkqHAavKvKGJFi4PWUh5oZtmE_l4rE5Pi08L8KvfCxPLKvs5sZmoXWXjGvlWDEUik0nCPkx_0Ng1KmZX-xYaLSwO_c8rDNlm7w928f--4Xzv48nOPu26ClArBaupUJlwwnKNliyzNgSUmpvUSmkT5rhJDM-0CUkanM64DykzzDLlFA8h1U4JlHsPlqREdYilgmxnIPlVDT9rw-2HnkjaZ1HbrXpKxjK5nGJUKKi4aQcH5_avfGxj5vaW_7cPtAKPO4eabLcasAoLfrIGy32zCtLNXWvw6Brz4hP4un0tcU-qQCbVhOIIqjpSBZNYqd-sU5O6InpeNyWLl55MW35cYqtJOD-bt9pD4t6BM4I2_wofOPM16YrevuPhp_D5Tkb_DBbxlf1zIKbIuEmLgB5oLr2zBi9iuZfKaISE5SNgPQRK2zGyx8Yg38qBSzqipkTUlBE1pRjB2z-3TFs6ktsuXu-RUnYz06wcYDKCdz3WhtP_FPbidmGv4cH-yfFReXQwPnwJD9GtLNpKvXVYrC_mfgPu28v6fHbxqlEZAl_uGoK_AaEyUxE
linkToPdf	http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LT9wwEB5RqCp6KC2l6vJofWgvrSwS20mcA6pQYVW01YpDK3FL_aRI7WZhsyD-Gr-OcR4NIJUbB66JY8fJN54Zz_gbgA8StaRQMaNC6JwKiw6rTJ2mseI286lPWK7qYhPZeCyPjvLDBbjqzsKEtMpuTawXaluasEe-HVyRwGQSR9u-TYs43Bt-mZ7SUEEqRFq7choNREbu8gLdt9nOwR7-64-MDfd_fP1G2woD1AgeVZTLlFtumEKtlhrjPY6Q6cQIYeLIMh1rlirt48RblTLnk0hHJpJWMu8TZSXHfp_AEmrhJMjYKKM94a-suVprnj-0SpIuotoc25MipMxlFD1ETvltndgbundis7XKG6485o_1El60hjbZbSTjFSy4ySqsdEUsSLumrcLzG4yMr-H37o2APik9mZQTijMoq0AhTEIGf71_TaqSqHlVpzKeOzJteHOJKSf-5HjeSBUJZwqOCdoCFzjgzFWkTYb7i5fX4OeDzP4NLOIru7dAdJ4yneQeLdNMOGs0NooyJ6RWCA_DBhB1cChMy9QeCob8KXqO6YCgAhFUBAQVfACf_j0ybWhK7mu82aGmaFesWdFDZgCfO9z1t__b2fr9nb2HZ4i84vvBeLQBy2ht5k0C3yYsVmdztwVPzXl1Mjt7V0sPgV8PjcBrdhJbtw
openUrl	ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Applications+of+non-monotonic+reasoning+to+automotive+product+configuration+using+answer+set+programming&rft.jtitle=Journal+of+intelligent+manufacturing&rft.au=Gen%C3%A7ay%2C+Eray&rft.au=Sch%C3%BCller%2C+Peter&rft.au=Erdem%2C+Esra&rft.date=2019-03-01&rft.issn=0956-5515&rft.eissn=1572-8145&rft.volume=30&rft.issue=3&rft.spage=1407&rft.epage=1422&rft_id=info:doi/10.1007%2Fs10845-017-1333-3&rft.externalDBID=n%2Fa&rft.externalDocID=10_1007_s10845_017_1333_3
thumbnail_l	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0956-5515&client=summon
thumbnail_m	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0956-5515&client=summon
thumbnail_s	http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0956-5515&client=summon