{"id":"https://openalex.org/W2963927607","doi":"https://doi.org/10.1017/s1471068419000292","title":"Incremental Answer Set Programming with Overgrounding","display_name":"Incremental Answer Set Programming with Overgrounding","publication_year":2019,"publication_date":"2019-09-01","ids":{"openalex":"https://openalex.org/W2963927607","doi":"https://doi.org/10.1017/s1471068419000292","mag":"2963927607"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068419000292","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068419000292","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/1907.09212","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"FRANCESCO CALIMERI","orcid":"https://orcid.org/0000-0002-0866-0834"},"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 CALIMERI","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Calabria, Italy (e-mail:"],"raw_orcid":"https://orcid.org/0000-0002-0866-0834","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Calabria, Italy (e-mail:","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":null,"display_name":"GIOVAMBATTISTA IANNI","orcid":null},"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":"GIOVAMBATTISTA IANNI","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Calabria, Italy (e-mail:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Calabria, Italy (e-mail:","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":null,"display_name":"FRANCESCO PACENZA","orcid":"https://orcid.org/0000-0001-6632-3492"},"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 PACENZA","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Calabria, Italy (e-mail:"],"raw_orcid":"https://orcid.org/0000-0001-6632-3492","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Calabria, Italy (e-mail:","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":null,"display_name":"SIMONA PERRI","orcid":"https://orcid.org/0000-0002-8036-5709"},"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":"SIMONA PERRI","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Calabria, Italy (e-mail:"],"raw_orcid":"https://orcid.org/0000-0002-8036-5709","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Calabria, Italy (e-mail:","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"last","author":{"id":null,"display_name":"JESSICA ZANGARI","orcid":"https://orcid.org/0000-0002-6418-7711"},"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":"JESSICA ZANGARI","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Calabria, Italy (e-mail:"],"raw_orcid":"https://orcid.org/0000-0002-6418-7711","affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Calabria, Italy (e-mail:","institution_ids":["https://openalex.org/I45204951"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I45204951"],"apc_list":null,"apc_paid":null,"fwci":0.6338,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.77387214,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"19","issue":"5-6","first_page":"957","last_page":"973"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9553999900817871,"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.9553999900817871,"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.00860000029206276,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.006800000090152025,"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.7538999915122986},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.631600022315979},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.625},{"id":"https://openalex.org/keywords/logic-program","display_name":"Logic program","score":0.5392000079154968},{"id":"https://openalex.org/keywords/ground","display_name":"Ground","score":0.47119998931884766},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.44609999656677246},{"id":"https://openalex.org/keywords/series","display_name":"Series (stratigraphy)","score":0.413100004196167},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.322299987077713}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8590999841690063},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.7538999915122986},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.631600022315979},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.625},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.5392000079154968},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5235999822616577},{"id":"https://openalex.org/C168993435","wikidata":"https://www.wikidata.org/wiki/Q6501125","display_name":"Ground","level":2,"score":0.47119998931884766},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.44609999656677246},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.413100004196167},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36230000853538513},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35429999232292175},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.322299987077713},{"id":"https://openalex.org/C2779382394","wikidata":"https://www.wikidata.org/wiki/Q1464197","display_name":"Inductive logic programming","level":2,"score":0.32109999656677246},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.31690001487731934},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.3102000057697296},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.2743000090122223},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.2685000002384186},{"id":"https://openalex.org/C10418432","wikidata":"https://www.wikidata.org/wiki/Q560370","display_name":"AND gate","level":3,"score":0.2635999917984009},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.2563999891281128},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.2556000053882599}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s1471068419000292","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068419000292","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:1907.09212","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1907.09212","pdf_url":"https://arxiv.org/pdf/1907.09212","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1907.09212","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1907.09212","pdf_url":"https://arxiv.org/pdf/1907.09212","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1968513265","https://openalex.org/W1969965298","https://openalex.org/W2036241121","https://openalex.org/W2046213250","https://openalex.org/W2076698873","https://openalex.org/W2117888397","https://openalex.org/W2121444716","https://openalex.org/W2159875930","https://openalex.org/W2269949982","https://openalex.org/W2554080479","https://openalex.org/W2569196563","https://openalex.org/W2607115772","https://openalex.org/W2776804019","https://openalex.org/W2888332150","https://openalex.org/W2907184427","https://openalex.org/W2991673063","https://openalex.org/W6639827933","https://openalex.org/W6659180483","https://openalex.org/W6712688321","https://openalex.org/W6738388615","https://openalex.org/W6741915067","https://openalex.org/W6744620888"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"Repeated":[1],"executions":[2],"of":[3,38,65,78,90,106,113,128],"reasoning":[4],"tasks":[5],"for":[6,28],"varying":[7],"inputs":[8,91],"are":[9],"necessary":[10],"in":[11,58],"many":[12,62],"applicative":[13],"settings,":[14],"such":[15],"as":[16],"stream":[17],"reasoning.":[18],"In":[19,120],"this":[20,121],"context,":[21],"we":[22,123,134],"propose":[23],"an":[24],"incremental":[25,131],"grounding":[26,84,114,132],"approach":[27,99],"the":[29,36,76,97,102,125,129,136],"answer":[30,117],"set":[31,118],"semantics.":[32],"We":[33],"focus":[34],"on":[35,87],"possibility":[37],"generating":[39],"incrementally":[40],"larger":[41],"ground":[42],"logic":[43,79,107],"programs":[44,54,69,80,108],"equivalent":[45],"to":[46,93],"a":[47,71,88],"given":[48],"non-ground":[49],"one;":[50],"so":[51],"called":[52],"overgrounded":[53,68],"can":[55],"be":[56],"reused":[57],"combination":[59],"with":[60],"deliberately":[61],"different":[63],"sets":[64],"inputs.":[66],"Updating":[67],"requires":[70],"small":[72],"effort,":[73],"thus":[74],"making":[75],"instantiation":[77],"considerably":[81],"faster":[82],"when":[83],"is":[85],"repeated":[86,138],"series":[89],"similar":[92],"each":[94],"other.":[95],"Notably,":[96],"proposed":[98,130],"works":[100],"\u201cunder":[101],"hood\u201d,":[103],"relieving":[104],"designers":[105],"from":[109],"controlling":[110],"technical":[111],"aspects":[112],"engines":[115],"and":[116,141],"systems.":[119],"work":[122],"present":[124],"theoretical":[126],"basis":[127],"technique,":[133],"illustrate":[135],"consequent":[137],"evaluation":[139],"strategy":[140],"report":[142],"about":[143],"our":[144],"experiments.":[145]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2}],"updated_date":"2026-07-30T17:31:21.811387","created_date":"2019-07-30T00:00:00"}