{"id":"https://openalex.org/W2938140678","doi":"https://doi.org/10.1017/s1471068419000061","title":"The Seventh Answer Set Programming Competition: Design and Results","display_name":"The Seventh Answer Set Programming Competition: Design and Results","publication_year":2019,"publication_date":"2019-05-31","ids":{"openalex":"https://openalex.org/W2938140678","doi":"https://doi.org/10.1017/s1471068419000061","mag":"2938140678"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068419000061","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068419000061","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1904.09134","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"MARTIN GEBSER","orcid":"https://orcid.org/0000-0002-8010-4752"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"MARTIN GEBSER","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"MARCO MARATEA","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"MARCO MARATEA","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"FRANCESCO RICCA","orcid":"https://orcid.org/0000-0001-8218-3178"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"FRANCESCO RICCA","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.6011,"has_fulltext":false,"cited_by_count":31,"citation_normalized_percentile":{"value":0.92037243,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"20","issue":"2","first_page":"176","last_page":"204"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9872000217437744,"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.9872000217437744,"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.0026000000070780516,"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":"Advanced Algebra and Logic","score":0.0017999999690800905,"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.8901000022888184},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6547999978065491},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.6528000235557556},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6032999753952026},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5163999795913696},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.46050000190734863},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.41990000009536743}],"concepts":[{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.8901000022888184},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8057000041007996},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6547999978065491},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.6528000235557556},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6349999904632568},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6032999753952026},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5163999795913696},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.46050000190734863},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.41990000009536743},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.39959999918937683},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.39100000262260437},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.36230000853538513},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35370001196861267},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.3179999887943268},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.30630001425743103},{"id":"https://openalex.org/C96315309","wikidata":"https://www.wikidata.org/wiki/Q5508829","display_name":"Functional logic programming","level":4,"score":0.26600000262260437},{"id":"https://openalex.org/C119263510","wikidata":"https://www.wikidata.org/wiki/Q7248501","display_name":"Programming domain","level":4,"score":0.2529999911785126}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1017/s1471068419000061","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068419000061","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1904.09134","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1904.09134","pdf_url":"https://arxiv.org/pdf/1904.09134","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:iris.unige.it:11567/1033671","is_oa":true,"landing_page_url":"https://hdl.handle.net/11567/1033671","pdf_url":null,"source":{"id":"https://openalex.org/S4377196291","display_name":"CINECA IRIS Institutial Research Information System (University of Genoa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83816512","host_organization_name":"University of Genoa","host_organization_lineage":["https://openalex.org/I83816512"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:kobv.de-opus4-uni-potsdam:60501","is_oa":false,"landing_page_url":"https://publishup.uni-potsdam.de/frontdoor/index/index/docId/60501","pdf_url":null,"source":{"id":"https://openalex.org/S4306400594","display_name":"publish.UP (University of Potsdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I176453806","host_organization_name":"University of Potsdam","host_organization_lineage":["https://openalex.org/I176453806"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"doc-type:article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1904.09134","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1904.09134","pdf_url":"https://arxiv.org/pdf/1904.09134","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W1502948544","https://openalex.org/W1606891084","https://openalex.org/W1639901403","https://openalex.org/W1752491870","https://openalex.org/W1976055110","https://openalex.org/W2011958646","https://openalex.org/W2023141722","https://openalex.org/W2031579642","https://openalex.org/W2036981717","https://openalex.org/W2054623824","https://openalex.org/W2067092487","https://openalex.org/W2067679576","https://openalex.org/W2087432892","https://openalex.org/W2089102668","https://openalex.org/W2091138122","https://openalex.org/W2092211394","https://openalex.org/W2152131859","https://openalex.org/W2155618896","https://openalex.org/W2211798527","https://openalex.org/W2211903126","https://openalex.org/W2248372602","https://openalex.org/W2265638991","https://openalex.org/W2394640999","https://openalex.org/W2401337862","https://openalex.org/W2417688306","https://openalex.org/W2496580970","https://openalex.org/W2513969152","https://openalex.org/W2555981498","https://openalex.org/W2606948271","https://openalex.org/W2607115772","https://openalex.org/W2733732676","https://openalex.org/W2741566530","https://openalex.org/W2755687384","https://openalex.org/W2776804019","https://openalex.org/W2843957561","https://openalex.org/W2885963677","https://openalex.org/W2964210039","https://openalex.org/W4242361212","https://openalex.org/W6684881037","https://openalex.org/W6712688321","https://openalex.org/W6754701906"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Answer":[1],"Set":[2],"Programming":[3,87],"(ASP)":[4],"is":[5],"a":[6],"prominent":[7],"knowledge":[8],"representation":[9],"language":[10],"with":[11,80],"roots":[12],"in":[13,24,41,78],"logic":[14],"programming":[15],"and":[16,31,52,72,88],"non-monotonic":[17],"reasoning.":[18],"Biennial":[19],"ASP":[20,42,57],"competitions":[21],"are":[22],"organized":[23,60],"order":[25],"to":[26],"furnish":[27],"challenging":[28],"benchmark":[29],"collections":[30],"assess":[32],"the":[33,36,39,50,55,62,67,73,81],"advancement":[34],"of":[35,38,54,64,69,75],"state":[37],"art":[40],"solving.":[43],"In":[44],"this":[45],"paper,":[46],"we":[47],"report":[48],"on":[49,85],"design":[51],"results":[53],"Seventh":[56],"Competition,":[58],"jointly":[59],"by":[61],"University":[63,68,74],"Calabria":[65],"(Italy),":[66,71],"Genova":[70],"Potsdam":[76],"(Germany),":[77],"affiliation":[79],"14th":[82],"International":[83],"Conference":[84],"Logic":[86],"Non-Monotonic":[89],"Reasoning":[90],"(LPNMR":[91],"2017).":[92]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":9},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2019-04-25T00:00:00"}