{"id":"https://openalex.org/W4410570813","doi":"https://doi.org/10.1017/s1471068425000067","title":"ASP-Based Multi-Shot Reasoning via DLV2 with Incremental Grounding","display_name":"ASP-Based Multi-Shot Reasoning via DLV2 with Incremental Grounding","publication_year":2025,"publication_date":"2025-05-01","ids":{"openalex":"https://openalex.org/W4410570813","doi":"https://doi.org/10.1017/s1471068425000067"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068425000067","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068425000067","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/5CCCCCD550F3A544DE31B96EDE4F50DA/S1471068425000067a.pdf/div-class-title-asp-based-multi-shot-reasoning-via-dlv2-with-incremental-grounding-div.pdf","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":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","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":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/5CCCCCD550F3A544DE31B96EDE4F50DA/S1471068425000067a.pdf/div-class-title-asp-based-multi-shot-reasoning-via-dlv2-with-incremental-grounding-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5034672297","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":["Universit\u00e0 della Calabria, Rende, Italy (e-mails:"],"raw_orcid":"https://orcid.org/0000-0002-0866-0834","affiliations":[{"raw_affiliation_string":"Universit\u00e0 della Calabria, Rende, Italy (e-mails:","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070729128","display_name":"Giovambattista Ianni","orcid":"https://orcid.org/0000-0003-0534-6425"},"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":["Universit\u00e0 della Calabria, Rende, Italy (e-mails:"],"raw_orcid":"https://orcid.org/0000-0003-0534-6425","affiliations":[{"raw_affiliation_string":"Universit\u00e0 della Calabria, Rende, Italy (e-mails:","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085903491","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":["Universit\u00e0 della Calabria, Rende, Italy (e-mails:"],"raw_orcid":"https://orcid.org/0000-0001-6632-3492","affiliations":[{"raw_affiliation_string":"Universit\u00e0 della Calabria, Rende, Italy (e-mails:","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052577422","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":["Universit\u00e0 della Calabria, Rende, Italy (e-mails:"],"raw_orcid":"https://orcid.org/0000-0002-8036-5709","affiliations":[{"raw_affiliation_string":"Universit\u00e0 della Calabria, Rende, Italy (e-mails:","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000628500","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":["Universit\u00e0 della Calabria, Rende, Italy (e-mails:"],"raw_orcid":"https://orcid.org/0000-0002-6418-7711","affiliations":[{"raw_affiliation_string":"Universit\u00e0 della Calabria, Rende, Italy (e-mails:","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.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04989356,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"25","issue":"3","first_page":"281","last_page":"303"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"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.9998000264167786,"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.9937999844551086,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.992900013923645,"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/computer-science","display_name":"Computer science","score":0.8842513561248779},{"id":"https://openalex.org/keywords/shot","display_name":"Shot (pellet)","score":0.7742408514022827},{"id":"https://openalex.org/keywords/one-shot","display_name":"One shot","score":0.5467100143432617},{"id":"https://openalex.org/keywords/ground","display_name":"Ground","score":0.47570571303367615},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.43786153197288513},{"id":"https://openalex.org/keywords/computer-vision","display_name":"Computer vision","score":0.3226081132888794},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.10632458329200745},{"id":"https://openalex.org/keywords/mechanical-engineering","display_name":"Mechanical engineering","score":0.08123558759689331}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8842513561248779},{"id":"https://openalex.org/C2778344882","wikidata":"https://www.wikidata.org/wiki/Q278938","display_name":"Shot (pellet)","level":2,"score":0.7742408514022827},{"id":"https://openalex.org/C2992734406","wikidata":"https://www.wikidata.org/wiki/Q413267","display_name":"One shot","level":2,"score":0.5467100143432617},{"id":"https://openalex.org/C168993435","wikidata":"https://www.wikidata.org/wiki/Q6501125","display_name":"Ground","level":2,"score":0.47570571303367615},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.43786153197288513},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.3226081132888794},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.10632458329200745},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.08123558759689331},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s1471068425000067","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068425000067","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/5CCCCCD550F3A544DE31B96EDE4F50DA/S1471068425000067a.pdf/div-class-title-asp-based-multi-shot-reasoning-via-dlv2-with-incremental-grounding-div.pdf","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":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1017/s1471068425000067","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s1471068425000067","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/5CCCCCD550F3A544DE31B96EDE4F50DA/S1471068425000067a.pdf/div-class-title-asp-based-multi-shot-reasoning-via-dlv2-with-incremental-grounding-div.pdf","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":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4127490681","display_name":null,"funder_award_id":"CUP H24I17000080001","funder_id":"https://openalex.org/F4320321873","funder_display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca"},{"id":"https://openalex.org/G6126642434","display_name":null,"funder_award_id":"PE0000013","funder_id":"https://openalex.org/F4320334079","funder_display_name":"Gruppo Nazionale per il Calcolo Scientifico"}],"funders":[{"id":"https://openalex.org/F4320311030","display_name":"Istituto Nazionale di Alta Matematica \"Francesco Severi\"","ror":"https://ror.org/01vx64p53"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321873","display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","ror":"https://ror.org/0166hxq48"},{"id":"https://openalex.org/F4320324632","display_name":"Ministero dello Sviluppo Economico","ror":"https://ror.org/011z3ff80"},{"id":"https://openalex.org/F4320334079","display_name":"Gruppo Nazionale per il Calcolo Scientifico","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4410570813.pdf","grobid_xml":"https://content.openalex.org/works/W4410570813.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W564800084","https://openalex.org/W1633347946","https://openalex.org/W1976055110","https://openalex.org/W2007200873","https://openalex.org/W2076698873","https://openalex.org/W2091138122","https://openalex.org/W2103446906","https://openalex.org/W2121444716","https://openalex.org/W2154392574","https://openalex.org/W2607115772","https://openalex.org/W2734376583","https://openalex.org/W2795195482","https://openalex.org/W2806801598","https://openalex.org/W2843957561","https://openalex.org/W2899960748","https://openalex.org/W2907184427","https://openalex.org/W2949623342","https://openalex.org/W2963234253","https://openalex.org/W2963244003","https://openalex.org/W2963927607","https://openalex.org/W2964210039","https://openalex.org/W2975090317","https://openalex.org/W2985257580","https://openalex.org/W2994667977","https://openalex.org/W3088052656","https://openalex.org/W3088666520","https://openalex.org/W3106212667","https://openalex.org/W3125545810","https://openalex.org/W3145843217","https://openalex.org/W3162580668","https://openalex.org/W3202152569","https://openalex.org/W4385439065"],"related_works":["https://openalex.org/W2772917594","https://openalex.org/W2036807459","https://openalex.org/W2058170566","https://openalex.org/W2755342338","https://openalex.org/W2166024367","https://openalex.org/W3116076068","https://openalex.org/W2229312674","https://openalex.org/W2951359407","https://openalex.org/W2079911747","https://openalex.org/W1969923398"],"abstract_inverted_index":{"Abstract":[0],"DLV2":[1,41,62,146],"is":[2,120,197,209],"an":[3,38],"AI":[4],"tool":[5],"for":[6,95,114,180,201,216],"knowledge":[7],"representation":[8],"and":[9,27,85,108,164,182,199,227],"reasoning":[10,107],"that":[11,47],"supports":[12],"answer":[13,45,97,203],"set":[14],"programming":[15],"(ASP)":[16],"\u2013":[17],"a":[18,31,35,80,112,137,184,192,212],"logic-based":[19],"declarative":[20],"formalism,":[21],"successfully":[22],"used":[23,200],"in":[24,102,211,229],"both":[25],"academic":[26],"industrial":[28],"applications.":[29],"Given":[30],"logic":[32],"program":[33,78],"modeling":[34],"computational":[36,59],"problem,":[37],"execution":[39],"of":[40,61,145],"produces":[42],"the":[43,51,54,65,72,76,86,96,118,143,153,157,168,175,206,217,221],"so-called":[44],"sets":[46],"correspond":[48],"one-to-one":[49],"to":[50,53,93,122],"solutions":[52],"problem":[55],"at":[56],"hand.":[57],"The":[58],"process":[60,208],"relies":[63],"on":[64],"typical":[66],"ground":[67,83,188],"&":[68],"solve":[69],"approach,":[70],"where":[71],"grounding":[73,170],"step":[74,89],"transforms":[75],"input":[77],"into":[79],"new,":[81],"equivalent":[82,195],"program,":[84,189],"subsequent":[87],"solving":[88],"applies":[90],"propositional":[91],"algorithms":[92],"search":[94],"sets.":[98,204],"Recently,":[99],"emerging":[100],"applications":[101],"contexts":[103],"such":[104],"as":[105],"stream":[106],"event":[109],"processing":[110],"created":[111],"demand":[113],"multi-shot":[115],"reasoning:":[116],"here,":[117],"system":[119,158,176],"expected":[121],"be":[123],"reactive":[124],"while":[125],"repeatedly":[126],"executed":[127],"over":[128],"rapidly":[129],"changing":[130],"data.":[131],"In":[132],"this":[133],"work,":[134],"we":[135],"present":[136],"new":[138],"incremental":[139,207],"reasoner":[140],"obtained":[141],"from":[142,155,190],"evolution":[144],"toward":[147],"iterated":[148],"reasoning.":[149],"Rather":[150],"than":[151],"restarting":[152],"computation":[154],"scratch,":[156],"remains":[159],"alive":[160],"across":[161],"repeated":[162],"shots,":[163],"it":[165],"incrementally":[166],"handles":[167],"internal":[169],"process.":[171],"At":[172],"each":[173],"shot,":[174],"reuses":[177],"previous":[178],"computations":[179],"building":[181],"maintaining":[183],"large,":[185],"more":[186],"general":[187],"which":[191],"smaller":[193],"yet":[194],"portion":[196],"determined":[198],"computing":[202],"Notably,":[205],"performed":[210],"completely":[213],"transparent":[214],"fashion":[215],"user.":[218],"We":[219],"describe":[220],"system,":[222],"its":[223,225],"usage,":[224],"applicability,":[226],"performance":[228],"some":[230],"practically":[231],"relevant":[232],"domains.":[233]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}