{"id":"https://openalex.org/W2808078614","doi":"https://doi.org/10.1007/s13218-018-0548-6","title":"Industrial Applications of Answer Set Programming","display_name":"Industrial Applications of Answer Set Programming","publication_year":2018,"publication_date":"2018-06-13","ids":{"openalex":"https://openalex.org/W2808078614","doi":"https://doi.org/10.1007/s13218-018-0548-6","mag":"2808078614"},"language":"en","primary_location":{"id":"doi:10.1007/s13218-018-0548-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s13218-018-0548-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s13218-018-0548-6.pdf","source":{"id":"https://openalex.org/S4210234608","display_name":"KI - K\u00fcnstliche Intelligenz","issn_l":"0933-1875","issn":["0933-1875","1610-1987"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"KI - K\u00fcnstliche Intelligenz","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s13218-018-0548-6.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034729769","display_name":"Andreas Falkner","orcid":"https://orcid.org/0000-0002-2894-3284"},"institutions":[{"id":"https://openalex.org/I4210127033","display_name":"Siemens (Austria)","ror":"https://ror.org/03794w632","country_code":"AT","type":"company","lineage":["https://openalex.org/I1325886976","https://openalex.org/I4210127033"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Andreas Falkner","raw_affiliation_strings":["Siemens AG \u00d6sterreich, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Siemens AG \u00d6sterreich, Vienna, Austria","institution_ids":["https://openalex.org/I4210127033"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037543382","display_name":"Gerhard Friedrich","orcid":"https://orcid.org/0000-0002-1992-4049"},"institutions":[{"id":"https://openalex.org/I4210166741","display_name":"University of Klagenfurt","ror":"https://ror.org/05q9m0937","country_code":"AT","type":"education","lineage":["https://openalex.org/I4210166741"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Gerhard Friedrich","raw_affiliation_strings":["Alpen-Adria-Universit\u00e4t Klagenfurt, Klagenfurt, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Alpen-Adria-Universit\u00e4t Klagenfurt, Klagenfurt, Austria","institution_ids":["https://openalex.org/I4210166741"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055185135","display_name":"Konstantin Schekotihin","orcid":"https://orcid.org/0000-0002-0286-0958"},"institutions":[{"id":"https://openalex.org/I4210166741","display_name":"University of Klagenfurt","ror":"https://ror.org/05q9m0937","country_code":"AT","type":"education","lineage":["https://openalex.org/I4210166741"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Konstantin Schekotihin","raw_affiliation_strings":["Alpen-Adria-Universit\u00e4t Klagenfurt, Klagenfurt, Austria"],"raw_orcid":"https://orcid.org/0000-0002-0286-0958","affiliations":[{"raw_affiliation_string":"Alpen-Adria-Universit\u00e4t Klagenfurt, Klagenfurt, Austria","institution_ids":["https://openalex.org/I4210166741"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082759754","display_name":"Richard Taupe","orcid":"https://orcid.org/0000-0001-7639-1616"},"institutions":[{"id":"https://openalex.org/I4210127033","display_name":"Siemens (Austria)","ror":"https://ror.org/03794w632","country_code":"AT","type":"company","lineage":["https://openalex.org/I1325886976","https://openalex.org/I4210127033"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Richard Taupe","raw_affiliation_strings":["Siemens AG \u00d6sterreich, Vienna, Austria"],"raw_orcid":"https://orcid.org/0000-0001-7639-1616","affiliations":[{"raw_affiliation_string":"Siemens AG \u00d6sterreich, Vienna, Austria","institution_ids":["https://openalex.org/I4210127033"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001442569","display_name":"Erich Teppan","orcid":"https://orcid.org/0000-0001-8397-9303"},"institutions":[{"id":"https://openalex.org/I4210166741","display_name":"University of Klagenfurt","ror":"https://ror.org/05q9m0937","country_code":"AT","type":"education","lineage":["https://openalex.org/I4210166741"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Erich C. Teppan","raw_affiliation_strings":["Alpen-Adria-Universit\u00e4t Klagenfurt, Klagenfurt, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Alpen-Adria-Universit\u00e4t Klagenfurt, Klagenfurt, Austria","institution_ids":["https://openalex.org/I4210166741"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5034729769"],"corresponding_institution_ids":["https://openalex.org/I4210127033"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":4.9061,"has_fulltext":true,"cited_by_count":88,"citation_normalized_percentile":{"value":0.96047202,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":"32","issue":"2-3","first_page":"165","last_page":"176"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9941999912261963,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.8520097732543945},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7442637085914612},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.7406802177429199},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5768038630485535},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5730965733528137},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5326991081237793},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.5011858940124512},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4841671586036682},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.47721248865127563},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.45661064982414246},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3760850429534912}],"concepts":[{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.8520097732543945},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7442637085914612},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.7406802177429199},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5768038630485535},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5730965733528137},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5326991081237793},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.5011858940124512},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4841671586036682},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.47721248865127563},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.45661064982414246},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3760850429534912},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s13218-018-0548-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s13218-018-0548-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s13218-018-0548-6.pdf","source":{"id":"https://openalex.org/S4210234608","display_name":"KI - K\u00fcnstliche Intelligenz","issn_l":"0933-1875","issn":["0933-1875","1610-1987"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"KI - K\u00fcnstliche Intelligenz","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s13218-018-0548-6","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s13218-018-0548-6","pdf_url":"https://link.springer.com/content/pdf/10.1007/s13218-018-0548-6.pdf","source":{"id":"https://openalex.org/S4210234608","display_name":"KI - K\u00fcnstliche Intelligenz","issn_l":"0933-1875","issn":["0933-1875","1610-1987"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"KI - K\u00fcnstliche Intelligenz","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6399999856948853,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G2381546066","display_name":"Electronics and ICT as enabler for digital industry and optimized supply chain management covering the entire product lifecycle","funder_award_id":"737459","funder_id":"https://openalex.org/F4320338475","funder_display_name":"H2020 LEIT Information and Communication Technologies"},{"id":"https://openalex.org/G339643385","display_name":null,"funder_award_id":"737459","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G4187175520","display_name":null,"funder_award_id":"737459","funder_id":"https://openalex.org/F4320327207","funder_display_name":"Electronic Components and Systems for European Leadership"},{"id":"https://openalex.org/G7790046445","display_name":null,"funder_award_id":"FFG-PNr.: 861263","funder_id":"https://openalex.org/F4320323031","funder_display_name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft"},{"id":"https://openalex.org/G8906543023","display_name":null,"funder_award_id":"Productive4.0","funder_id":"https://openalex.org/F4320327207","funder_display_name":"Electronic Components and Systems for European Leadership"}],"funders":[{"id":"https://openalex.org/F4320323031","display_name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft","ror":"https://ror.org/028jc0449"},{"id":"https://openalex.org/F4320323033","display_name":"Bundesministerium f\u00fcr Verkehr, Innovation und Technologie","ror":"https://ror.org/04marky29"},{"id":"https://openalex.org/F4320327207","display_name":"Electronic Components and Systems for European Leadership","ror":null},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320338475","display_name":"H2020 LEIT Information and Communication Technologies","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2808078614.pdf","grobid_xml":"https://content.openalex.org/works/W2808078614.grobid-xml"},"referenced_works_count":79,"referenced_works":["https://openalex.org/W101294428","https://openalex.org/W102682372","https://openalex.org/W121194604","https://openalex.org/W169672073","https://openalex.org/W175551733","https://openalex.org/W285857824","https://openalex.org/W1458406845","https://openalex.org/W1482498688","https://openalex.org/W1498722751","https://openalex.org/W1511456606","https://openalex.org/W1525843884","https://openalex.org/W1526119385","https://openalex.org/W1564010253","https://openalex.org/W1674351989","https://openalex.org/W1787538678","https://openalex.org/W1885448744","https://openalex.org/W1913619011","https://openalex.org/W1967527902","https://openalex.org/W1987080413","https://openalex.org/W1987742978","https://openalex.org/W1990623219","https://openalex.org/W1993398079","https://openalex.org/W1997780525","https://openalex.org/W2014205104","https://openalex.org/W2017898908","https://openalex.org/W2032560235","https://openalex.org/W2035142469","https://openalex.org/W2049791401","https://openalex.org/W2054623824","https://openalex.org/W2079809671","https://openalex.org/W2083413555","https://openalex.org/W2091138122","https://openalex.org/W2101585749","https://openalex.org/W2101666345","https://openalex.org/W2108654542","https://openalex.org/W2111566314","https://openalex.org/W2114568665","https://openalex.org/W2121444716","https://openalex.org/W2132185527","https://openalex.org/W2139922246","https://openalex.org/W2142785340","https://openalex.org/W2143934828","https://openalex.org/W2155618896","https://openalex.org/W2161403060","https://openalex.org/W2187530266","https://openalex.org/W2193751002","https://openalex.org/W2199344934","https://openalex.org/W2211798527","https://openalex.org/W2229796007","https://openalex.org/W2265638991","https://openalex.org/W2394499116","https://openalex.org/W2406583502","https://openalex.org/W2485533331","https://openalex.org/W2506402500","https://openalex.org/W2514670910","https://openalex.org/W2542981480","https://openalex.org/W2543811341","https://openalex.org/W2549574390","https://openalex.org/W2571845910","https://openalex.org/W2578895614","https://openalex.org/W2584466208","https://openalex.org/W2604586794","https://openalex.org/W2605176063","https://openalex.org/W2613166649","https://openalex.org/W2619622334","https://openalex.org/W2624964952","https://openalex.org/W2728577422","https://openalex.org/W2729610333","https://openalex.org/W2731692319","https://openalex.org/W2732697010","https://openalex.org/W2779166857","https://openalex.org/W2790306361","https://openalex.org/W2798790471","https://openalex.org/W2891080833","https://openalex.org/W2964112034","https://openalex.org/W2964210039","https://openalex.org/W3106329485","https://openalex.org/W3151491159","https://openalex.org/W4293029109"],"related_works":["https://openalex.org/W2280422768","https://openalex.org/W3143197806","https://openalex.org/W1507678681","https://openalex.org/W561688239","https://openalex.org/W1580791651","https://openalex.org/W3155306957","https://openalex.org/W1458406845","https://openalex.org/W1526119385","https://openalex.org/W2203799225","https://openalex.org/W1529147315"],"abstract_inverted_index":{"Automated":[0],"problem":[1],"solving":[2,61],"in":[3,100],"combination":[4],"with":[5],"declarative":[6],"specifications":[7],"of":[8,26,37,62,77,86,97],"search-problems":[9,63],"have":[10],"shown":[11],"to":[12,109],"substantially":[13],"improve":[14],"the":[15,23,58,73,91,95,111],"implementation":[16],"and":[17,33,47,60,67,94,119],"maintenance":[18],"costs":[19],"as":[20,22,117],"well":[21],"man-machine":[24],"interaction":[25],"deployed":[27],"industrial":[28,75,102],"applications.":[29],"The":[30],"knowledge":[31],"representation":[32,45,59],"reasoning":[34],"(KRR)":[35],"framework":[36],"answer":[38],"set":[39],"programming":[40],"(ASP)":[41],"offers":[42],"a":[43],"rich":[44],"language":[46],"high":[48],"performance":[49],"solvers.":[50],"Therefore,":[51],"ASP":[52,87,98],"has":[53],"become":[54],"very":[55],"attractive":[56],"for":[57,65],"both":[64],"academia":[66],"industry.":[68],"This":[69],"article":[70],"focuses":[71],"on":[72],"latest":[74],"applications":[76,85],"ASP.":[78],"We":[79],"do":[80],"not":[81],"only":[82],"present":[83],"successful":[84],"but":[88],"also":[89],"describe":[90],"development":[92],"process":[93],"design":[96],"programs":[99],"an":[101],"context.":[103],"Finally,":[104],"we":[105],"discuss":[106],"current":[107],"approaches":[108],"tackle":[110],"most":[112],"significant":[113],"application":[114],"challenges":[115],"such":[116],"grounding":[118],"runtime":[120],"improvements":[121],"by":[122],"heuristics.":[123]},"counts_by_year":[{"year":2026,"cited_by_count":6},{"year":2025,"cited_by_count":12},{"year":2024,"cited_by_count":9},{"year":2023,"cited_by_count":22},{"year":2022,"cited_by_count":10},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":12},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":2}],"updated_date":"2026-05-21T09:19:25.381259","created_date":"2025-10-10T00:00:00"}