{"id":"https://openalex.org/W2755687384","doi":"https://doi.org/10.1613/jair.5373","title":"The Sixth Answer Set Programming Competition","display_name":"The Sixth Answer Set Programming Competition","publication_year":2017,"publication_date":"2017-09-13","ids":{"openalex":"https://openalex.org/W2755687384","doi":"https://doi.org/10.1613/jair.5373","mag":"2755687384"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1613/jair.5373","pdf_url":"https://jair.org/index.php/jair/article/download/11081/26266","source":{"id":"https://openalex.org/S139930977","display_name":"Journal of Artificial Intelligence Research","issn_l":"1076-9757","issn":["1076-9757","1943-5037"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310315760","host_organization_name":"AI Access Foundation","host_organization_lineage":["https://openalex.org/P4310315760"],"host_organization_lineage_names":["AI Access Foundation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://jair.org/index.php/jair/article/download/11081/26266","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5006066772","display_name":"Martin Gebser","orcid":"https://orcid.org/0000-0002-8010-4752"},"institutions":[{"id":"https://openalex.org/I176453806","display_name":"University of Potsdam","ror":"https://ror.org/03bnmw459","country_code":"DE","type":"education","lineage":["https://openalex.org/I176453806"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Martin Gebser","raw_affiliation_strings":["UNI-POTSDAM.DE IfICS, University of Potsdam, August-Bebel-Str. 89, 14482 Potsdam, Germany"],"affiliations":[{"raw_affiliation_string":"UNI-POTSDAM.DE IfICS, University of Potsdam, August-Bebel-Str. 89, 14482 Potsdam, Germany","institution_ids":["https://openalex.org/I176453806"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077756388","display_name":"Marco Maratea","orcid":"https://orcid.org/0000-0002-9034-2527"},"institutions":[{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marco Maratea","raw_affiliation_strings":["IT DIBRIS, University of Genoa, Viale F. Causa 15, 16145 Genova, Italy"],"affiliations":[{"raw_affiliation_string":"IT DIBRIS, University of Genoa, Viale F. Causa 15, 16145 Genova, Italy","institution_ids":["https://openalex.org/I83816512"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013411309","display_name":"Francesco Ricca","orcid":"https://orcid.org/0000-0001-8218-3178"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesco Ricca","raw_affiliation_strings":["IT DeMaCS, University of Calabria, Viale P. Bucci, Cubo 31B, 87036 Rende, Italy"],"affiliations":[{"raw_affiliation_string":"IT DeMaCS, University of Calabria, Viale P. Bucci, Cubo 31B, 87036 Rende, Italy","institution_ids":["https://openalex.org/I45204951"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5006066772"],"corresponding_institution_ids":["https://openalex.org/I176453806"],"apc_list":{"value":0,"currency":"USD","value_usd":0,"provenance":"doaj"},"apc_paid":null,"fwci":8.785,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":63,"citation_normalized_percentile":{"value":0.999968,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":"60","issue":null,"first_page":"41","last_page":"95"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic Programming and Knowledge Representation","score":0.9998,"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 Programming and Knowledge Representation","score":0.9998,"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":"Methods and Techniques for Agent-Based Modeling","score":0.9972,"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/T11727","display_name":"Fuzzy Logic and Residuated Lattices","score":0.9837,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.64197},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.57315797},{"id":"https://openalex.org/keywords/nonmonotonic-reasoning","display_name":"Nonmonotonic Reasoning","score":0.527355},{"id":"https://openalex.org/keywords/argumentation-frameworks","display_name":"Argumentation Frameworks","score":0.518029},{"id":"https://openalex.org/keywords/constraint-logic-programming","display_name":"Constraint Logic Programming","score":0.517636}],"concepts":[{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.6948463},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6317409},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.61702484},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5852368},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.57315797},{"id":"https://openalex.org/C91306197","wikidata":"https://www.wikidata.org/wiki/Q45767","display_name":"Competition (biology)","level":2,"score":0.55954105},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.519144},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.4642575},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.4511749},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.4194566},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.36421007},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34937513},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3381275},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.26161748},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19789264},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"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/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1613/jair.5373","pdf_url":"https://jair.org/index.php/jair/article/download/11081/26266","source":{"id":"https://openalex.org/S139930977","display_name":"Journal of Artificial Intelligence Research","issn_l":"1076-9757","issn":["1076-9757","1943-5037"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310315760","host_organization_name":"AI Access Foundation","host_organization_lineage":["https://openalex.org/P4310315760"],"host_organization_lineage_names":["AI Access Foundation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://www.openaccessrepository.it/record/155738","pdf_url":"https://www.openaccessrepository.it/record/155738/files/fulltext.pdf","source":{"id":"https://openalex.org/S4306402478","display_name":"INFM-OAR (INFN Catania)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210116497","host_organization_name":"Istituto Nazionale di Fisica Nucleare, Sezione di Catania","host_organization_lineage":["https://openalex.org/I4210116497"],"host_organization_lineage_names":["Istituto Nazionale di Fisica Nucleare, Sezione di Catania"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1613/jair.5373","pdf_url":"https://jair.org/index.php/jair/article/download/11081/26266","source":{"id":"https://openalex.org/S139930977","display_name":"Journal of Artificial Intelligence Research","issn_l":"1076-9757","issn":["1076-9757","1943-5037"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310315760","host_organization_name":"AI Access Foundation","host_organization_lineage":["https://openalex.org/P4310315760"],"host_organization_lineage_names":["AI Access Foundation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":132,"referenced_works":["https://openalex.org/W145815032","https://openalex.org/W1471542436","https://openalex.org/W1482498688","https://openalex.org/W1482894264","https://openalex.org/W1484403583","https://openalex.org/W1488953560","https://openalex.org/W1495775210","https://openalex.org/W149637118","https://openalex.org/W1497192272","https://openalex.org/W1498722751","https://openalex.org/W1502948544","https://openalex.org/W1505706329","https://openalex.org/W1505818550","https://openalex.org/W1505903937","https://openalex.org/W1510110946","https://openalex.org/W1511456606","https://openalex.org/W1514300868","https://openalex.org/W1514469540","https://openalex.org/W1520000071","https://openalex.org/W1537418306","https://openalex.org/W1540443495","https://openalex.org/W1551250655","https://openalex.org/W1552168992","https://openalex.org/W1554238444","https://openalex.org/W1558832481","https://openalex.org/W1573992413","https://openalex.org/W1605107773","https://openalex.org/W1606891084","https://openalex.org/W1674351989","https://openalex.org/W1683598260","https://openalex.org/W1712761282","https://openalex.org/W1752491870","https://openalex.org/W1770532937","https://openalex.org/W1817519191","https://openalex.org/W1885448744","https://openalex.org/W1929859906","https://openalex.org/W193474923","https://openalex.org/W1964680470","https://openalex.org/W1968513265","https://openalex.org/W1976055110","https://openalex.org/W1984932993","https://openalex.org/W1993398079","https://openalex.org/W2004414305","https://openalex.org/W2011124182","https://openalex.org/W2011958646","https://openalex.org/W2012999037","https://openalex.org/W2013951121","https://openalex.org/W2022397086","https://openalex.org/W2023141722","https://openalex.org/W2029958553","https://openalex.org/W2034521022","https://openalex.org/W2036241121","https://openalex.org/W203746830","https://openalex.org/W2039887949","https://openalex.org/W2040411190","https://openalex.org/W2043829066","https://openalex.org/W2044560939","https://openalex.org/W2046239089","https://openalex.org/W2049791401","https://openalex.org/W2050842068","https://openalex.org/W2054623824","https://openalex.org/W2056850725","https://openalex.org/W2062897452","https://openalex.org/W2064864283","https://openalex.org/W2069650148","https://openalex.org/W2075056819","https://openalex.org/W2076698873","https://openalex.org/W2079430756","https://openalex.org/W2087432892","https://openalex.org/W2091138122","https://openalex.org/W2092775861","https://openalex.org/W2093907667","https://openalex.org/W2100699693","https://openalex.org/W2101666345","https://openalex.org/W2103446906","https://openalex.org/W2105869173","https://openalex.org/W2108375259","https://openalex.org/W2118707097","https://openalex.org/W2125110780","https://openalex.org/W2130489957","https://openalex.org/W2132878464","https://openalex.org/W2139922246","https://openalex.org/W2144892150","https://openalex.org/W2147148915","https://openalex.org/W2147277731","https://openalex.org/W2149412470","https://openalex.org/W2161955265","https://openalex.org/W2167808293","https://openalex.org/W2170245713","https://openalex.org/W2198541531","https://openalex.org/W2265638991","https://openalex.org/W2282536569","https://openalex.org/W2293171224","https://openalex.org/W2295253487","https://openalex.org/W2302072668","https://openalex.org/W23241257","https://openalex.org/W2394499116","https://openalex.org/W2394640999","https://openalex.org/W2399343913","https://openalex.org/W2406583502","https://openalex.org/W2417688306","https://openalex.org/W2471277801","https://openalex.org/W2542981480","https://openalex.org/W2554080479","https://openalex.org/W2555981498","https://openalex.org/W2576170812","https://openalex.org/W2605289564","https://openalex.org/W2755687384","https://openalex.org/W2914880889","https://openalex.org/W2950221451","https://openalex.org/W2962859023","https://openalex.org/W2963933247","https://openalex.org/W2994667977","https://openalex.org/W3099141706","https://openalex.org/W3099669149","https://openalex.org/W3104588709","https://openalex.org/W3105012855","https://openalex.org/W3105413812","https://openalex.org/W4206031975","https://openalex.org/W4206807714","https://openalex.org/W4233090747","https://openalex.org/W4238923739","https://openalex.org/W4244653005","https://openalex.org/W4251625379","https://openalex.org/W4288358488","https://openalex.org/W4298335305","https://openalex.org/W4299104877","https://openalex.org/W4361876935","https://openalex.org/W4393988223","https://openalex.org/W777473119","https://openalex.org/W89328955","https://openalex.org/W96215098"],"related_works":["https://openalex.org/W648195185","https://openalex.org/W4250566046","https://openalex.org/W2553706208","https://openalex.org/W2542995117","https://openalex.org/W2535967376","https://openalex.org/W2438481272","https://openalex.org/W2348463574","https://openalex.org/W2106957639","https://openalex.org/W1903938722","https://openalex.org/W1505955281"],"abstract_inverted_index":{"Answer":[0],"Set":[1],"Programming":[2,85],"(ASP)":[3],"is":[4],"a":[5,112,136,148],"well-known":[6],"paradigm":[7],"of":[8,52,64,73,93,103,122],"declarative":[9],"programming":[10,15],"with":[11,78],"roots":[12],"in":[13,34,39,76,98,116],"logic":[14],"and":[16,31,50,70,86,108,147],"non-monotonic":[17],"reasoning.":[18],"Similar":[19],"to":[20,111,118,143],"other":[21,128],"closely":[22],"related":[23],"problem-solving":[24],"technologies,":[25],"such":[26],"as":[27],"SAT/SMT,":[28],"QBF,":[29],"Planning":[30],"Scheduling,":[32],"advancements":[33],"ASP":[35,55],"solving":[36,160],"are":[37,155],"assessed":[38],"competition":[40],"events.":[41],"In":[42],"this":[43],"paper,":[44],"we":[45],"report":[46],"about":[47],"the":[48,53,62,71,79,94,101,105,109,120,123,127,152],"design":[49,95],"results":[51],"Sixth":[54],"Competition,":[56],"which":[57],"was":[58],"jointly":[59],"organized":[60],"by":[61],"University":[63,68,72],"Calabria":[65],"(Italy),":[66,75],"Aalto":[67],"(Finland),":[69],"Genoa":[74],"affiliation":[77],"13th":[80],"International":[81],"Conference":[82],"on":[83],"Logic":[84],"Non-Monotonic":[87],"Reasoning.":[88],"This":[89],"edition":[90],"maintained":[91],"some":[92,133],"decisions":[96],"introduced":[97],"2014,":[99],"e.g.,":[100],"conception":[102],"sub-tracks,":[104],"scoring":[106],"scheme,":[107],"adherence":[110],"fixed":[113],"modeling":[114],"language":[115],"order":[117],"push":[119],"adoption":[121],"ASP-Core-2":[124],"standard.":[125],"On":[126],"hand,":[129],"it":[130],"featured":[131],"also":[132],"novelties,":[134],"like":[135],"benchmark":[137],"selection":[138],"stage":[139],"classifying":[140],"instances":[141],"according":[142],"their":[144],"empirical":[145],"hardness,":[146],"\"Marathon\"":[149],"track":[150],"where":[151],"top-performing":[153],"systems":[154],"given":[156],"more":[157],"time":[158],"for":[159],"hard":[161],"benchmarks.":[162]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2755687384","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":23},{"year":2018,"cited_by_count":20},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1}],"updated_date":"2024-11-30T00:03:40.697279","created_date":"2017-09-25"}
