{"id":"https://openalex.org/W4297858921","doi":"https://doi.org/10.1145/3551357.3551371","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":2022,"publication_date":"2022-09-20","ids":{"openalex":"https://openalex.org/W4297858921","doi":"https://doi.org/10.1145/3551357.3551371"},"language":"en","primary_location":{"id":"doi:10.1145/3551357.3551371","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3551357.3551371","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3551357.3551371","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3551357.3551371","any_repository_has_fulltext":null},"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":true,"raw_author_name":"Francesco Calimeri","raw_affiliation_strings":["Department of Mathematics and Computer Science, University of Calabria, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Calabria, Italy","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":["Department of Mathematics and Computer Science, University of Calabria, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Calabria, Italy","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":["Department of Mathematics and Computer Science, University of Calabria, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Calabria, Italy","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":["Department of Mathematics and Computer Science, University of Calabria, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Calabria, Italy","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":["Department of Mathematics and Computer Science, University of Calabria, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, University of Calabria, Italy","institution_ids":["https://openalex.org/I45204951"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5034672297"],"corresponding_institution_ids":["https://openalex.org/I45204951"],"apc_list":null,"apc_paid":null,"fwci":0.9283,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.78915521,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9973999857902527,"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.9970999956130981,"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/semantic-reasoner","display_name":"Semantic reasoner","score":0.8210363984107971},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7738051414489746},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.761310875415802},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.5093525648117065},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4895247220993042},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4855670630931854},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.47561436891555786},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.4749997854232788},{"id":"https://openalex.org/keywords/ground","display_name":"Ground","score":0.47169971466064453},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.44390103220939636},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4334956705570221},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.43110254406929016}],"concepts":[{"id":"https://openalex.org/C9616225","wikidata":"https://www.wikidata.org/wiki/Q3929429","display_name":"Semantic reasoner","level":2,"score":0.8210363984107971},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7738051414489746},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.761310875415802},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.5093525648117065},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4895247220993042},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4855670630931854},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.47561436891555786},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.4749997854232788},{"id":"https://openalex.org/C168993435","wikidata":"https://www.wikidata.org/wiki/Q6501125","display_name":"Ground","level":2,"score":0.47169971466064453},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.44390103220939636},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4334956705570221},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.43110254406929016},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3551357.3551371","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3551357.3551371","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3551357.3551371","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3551357.3551371","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3551357.3551371","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3551357.3551371","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.4099999964237213,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[{"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"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4297858921.pdf","grobid_xml":"https://content.openalex.org/works/W4297858921.grobid-xml"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W1633347946","https://openalex.org/W1888133793","https://openalex.org/W1976055110","https://openalex.org/W2007200873","https://openalex.org/W2076698873","https://openalex.org/W2091138122","https://openalex.org/W2103446906","https://openalex.org/W2140044869","https://openalex.org/W2162621793","https://openalex.org/W2182065913","https://openalex.org/W2536253745","https://openalex.org/W2734376583","https://openalex.org/W2738428769","https://openalex.org/W2795195482","https://openalex.org/W2806801598","https://openalex.org/W2843957561","https://openalex.org/W2888332150","https://openalex.org/W2905350678","https://openalex.org/W2907184427","https://openalex.org/W2963234253","https://openalex.org/W2964210039","https://openalex.org/W2975090317","https://openalex.org/W2985257580","https://openalex.org/W2994667977","https://openalex.org/W3048214730","https://openalex.org/W3088052656","https://openalex.org/W3106212667","https://openalex.org/W3162580668","https://openalex.org/W3202152569","https://openalex.org/W4206246499","https://openalex.org/W4286787680","https://openalex.org/W4298338494","https://openalex.org/W6740846004"],"related_works":["https://openalex.org/W2118735566","https://openalex.org/W1511336005","https://openalex.org/W1903938722","https://openalex.org/W2085886071","https://openalex.org/W1875972884","https://openalex.org/W34858115","https://openalex.org/W16767636","https://openalex.org/W2785378597","https://openalex.org/W2296695219","https://openalex.org/W1597221440"],"abstract_inverted_index":{"DLV2":[0,40,134],"is":[1,108,188],"an":[2,37],"AI":[3],"tool":[4],"for":[5,85,102,161,171,192],"Knowledge":[6],"Representation":[7],"and":[8,26,75,98,149,173,190,204],"Reasoning":[9],"which":[10,182],"supports":[11],"Answer":[12],"Set":[13],"Programming":[14],"(ASP)":[15],"\u2013":[16],"a":[17,30,34,70,125,157,175,183],"logic-based":[18],"declarative":[19],"formalism,":[20],"successfully":[21],"used":[22,191],"in":[23,92,156,206],"both":[24],"academic":[25],"industrial":[27],"applications.":[28],"Given":[29],"logic":[31],"program":[32,68],"modelling":[33],"computational":[35,53],"problem,":[36],"execution":[38],"of":[39,133],"produces":[41],"the":[42,50,57,62,66,76,86,106,131,141,145,152,162,198],"so-called":[43],"answer":[44,87,194],"sets":[45],"that":[46],"correspond":[47],"one-to-one":[48],"to":[49,83,110],"solutions.":[51],"The":[52],"process":[54],"relies":[55],"on":[56],"typical":[58],"Ground&Solve":[59],"approach":[60],"where":[61],"grounding":[63,154],"step":[64,79],"transforms":[65],"input":[67],"into":[69],"new,":[71],"equivalent":[72,186],"ground":[73,179],"program,":[74,180],"subsequent":[77],"solving":[78],"applies":[80],"propositional":[81],"algorithms":[82],"search":[84],"sets.":[88,195],"Recently,":[89],"emerging":[90],"applications":[91],"contexts":[93],"such":[94],"as":[95],"stream":[96],"reasoning":[97],"event":[99],"processing":[100],"demand":[101],"multi-shot":[103,136],"reasoning:":[104],"here,":[105],"system":[107,146],"expected":[109],"be":[111],"reactive":[112],"while":[113],"repeatedly":[114],"executed":[115],"over":[116],"rapidly":[117],"changing":[118],"data.":[119],"In":[120],"this":[121],"work,":[122],"we":[123],"present":[124],"new":[126],"incremental":[127],"reasoner":[128],"obtained":[129],"from":[130,143,181],"evolution":[132],"towards":[135],"reasoning.":[137],"Rather":[138],"than":[139],"restarting":[140],"computation":[142],"scratch,":[144],"remains":[147],"alive":[148],"incrementally":[150],"handles":[151],"internal":[153],"process:":[155],"completely":[158],"transparent":[159],"fashion":[160],"user,":[163],"at":[164],"each":[165],"shot,":[166],"it":[167],"reuses":[168],"previous":[169],"computations":[170],"building":[172],"maintaining":[174],"large,":[176],"more":[177],"general":[178],"smaller":[184],"yet":[185],"portion":[187],"determined":[189],"computing":[193],"We":[196],"describe":[197],"system,":[199],"its":[200,202],"usage,":[201],"applicability":[203],"performance":[205],"some":[207],"practically":[208],"relevant":[209],"domains.":[210]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}