{"id":"https://openalex.org/W7137862461","doi":"https://doi.org/10.1609/aaai.v40i23.38967","title":"Learning from Answer Sets via Single-Shot Disjunctive ASP Encoding","display_name":"Learning from Answer Sets via Single-Shot Disjunctive ASP Encoding","publication_year":2026,"publication_date":"2026-03-14","ids":{"openalex":"https://openalex.org/W7137862461","doi":"https://doi.org/10.1609/aaai.v40i23.38967"},"language":"en","primary_location":{"id":"doi:10.1609/aaai.v40i23.38967","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i23.38967","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/38967/42929","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://ojs.aaai.org/index.php/AAAI/article/download/38967/42929","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029174698","display_name":"Roberto Borelli","orcid":"https://orcid.org/0000-0003-2586-8183"},"institutions":[{"id":"https://openalex.org/I129043915","display_name":"University of Udine","ror":"https://ror.org/05ht0mh31","country_code":"IT","type":"education","lineage":["https://openalex.org/I129043915"]},{"id":"https://openalex.org/I138689650","display_name":"University of Padua","ror":"https://ror.org/00240q980","country_code":"IT","type":"education","lineage":["https://openalex.org/I138689650"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Roberto Borelli","raw_affiliation_strings":["University of Padua\nUniversity of Udine"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Padua\nUniversity of Udine","institution_ids":["https://openalex.org/I129043915","https://openalex.org/I138689650"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5064407367","display_name":"Agostino Dovier","orcid":"https://orcid.org/0000-0003-2052-8593"},"institutions":[{"id":"https://openalex.org/I129043915","display_name":"University of Udine","ror":"https://ror.org/05ht0mh31","country_code":"IT","type":"education","lineage":["https://openalex.org/I129043915"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Agostino Dovier","raw_affiliation_strings":["University of Udine"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Udine","institution_ids":["https://openalex.org/I129043915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1885041,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"40","issue":"23","first_page":"18961","last_page":"18968"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.8949000239372253,"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.8949000239372253,"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.025200000032782555,"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/T10028","display_name":"Topic Modeling","score":0.020899999886751175,"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/inductive-logic-programming","display_name":"Inductive logic programming","score":0.7271000146865845},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.6503000259399414},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.6438000202178955},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5404999852180481},{"id":"https://openalex.org/keywords/transparency","display_name":"Transparency (behavior)","score":0.4471000134944916},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.4075999855995178}],"concepts":[{"id":"https://openalex.org/C2779382394","wikidata":"https://www.wikidata.org/wiki/Q1464197","display_name":"Inductive logic programming","level":2,"score":0.7271000146865845},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7211999893188477},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.6503000259399414},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.6438000202178955},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5404999852180481},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4819999933242798},{"id":"https://openalex.org/C2780233690","wikidata":"https://www.wikidata.org/wiki/Q535347","display_name":"Transparency (behavior)","level":2,"score":0.4471000134944916},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.4075999855995178},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3547999858856201},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.3402000069618225},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.31450000405311584},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.2863999903202057},{"id":"https://openalex.org/C51632099","wikidata":"https://www.wikidata.org/wiki/Q3985153","display_name":"Training set","level":2,"score":0.28610000014305115},{"id":"https://openalex.org/C110332635","wikidata":"https://www.wikidata.org/wiki/Q629498","display_name":"Genetic programming","level":2,"score":0.26080000400543213},{"id":"https://openalex.org/C117619785","wikidata":"https://www.wikidata.org/wiki/Q6094414","display_name":"Iterative learning control","level":3,"score":0.25060001015663147}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1609/aaai.v40i23.38967","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i23.38967","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/38967/42929","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:air.uniud.it:11390/1330264","is_oa":true,"landing_page_url":"https://hdl.handle.net/11390/1330264","pdf_url":null,"source":{"id":"https://openalex.org/S4306401163","display_name":"Institutional Research Information System (University of Udine)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I129043915","host_organization_name":"University of Udine","host_organization_lineage":["https://openalex.org/I129043915"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:ojs.aaai.org:article/38967","is_oa":false,"landing_page_url":"https://ojs.aaai.org/index.php/AAAI/article/view/38967","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2159-5399","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:www.research.unipd.it:11577/3586918","is_oa":false,"landing_page_url":"https://hdl.handle.net/11577/3586918","pdf_url":null,"source":{"id":"https://openalex.org/S4306402547","display_name":"Padua Research Archive (University of Padova)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I138689650","host_organization_name":"University of Padua","host_organization_lineage":["https://openalex.org/I138689650"],"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":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.1609/aaai.v40i23.38967","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i23.38967","pdf_url":"https://ojs.aaai.org/index.php/AAAI/article/download/38967/42929","source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320324979","display_name":"Universit\u00e0 degli Studi di Udine","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7137862461.pdf","grobid_xml":"https://content.openalex.org/works/W7137862461.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Deep":[0],"Learning":[1,80],"techniques":[2],"are":[3],"nowadays":[4],"pervasive":[5],"in":[6,25,27,73,143,186,194],"AI.":[7],"However,":[8],"these":[9,31],"approaches":[10,34,78],"suffer":[11],"from":[12,81],"a":[13,106,133,168,195,202],"lack":[14],"of":[15,55,79,146,182,205,213],"transparency":[16],"for":[17,22,42,51,88],"justifying":[18],"their":[19,28],"output":[20],"and":[21,120,129,184,218],"helping":[23],"users":[24],"believing":[26],"decisions.":[29],"For":[30],"reasons":[32],"alternative":[33],"to":[35,38,93,163],"learning":[36,48],"deserve":[37],"be":[39,94,172],"explored":[40],"either":[41],"developing":[43],"new":[44],"tools":[45],"with":[46,152],"autonomous":[47],"capability":[49],"or":[50],"explaining":[52],"the":[53,66,77,113,126,144,147,153,187],"results":[54,200],"black-box":[56],"predictors.":[57],"Among":[58],"them":[59],"an":[60,164],"important":[61],"role":[62],"is":[63,91,141],"assumed":[64],"since":[65],"Nineties":[67],"by":[68,76,118,175],"Inductive":[69],"Logic":[70],"Programming":[71],"and,":[72],"particular,":[74],"recently":[75],"Answer":[82],"Sets":[83],"(LAS).":[84],"Computing":[85],"inductive":[86],"solutions":[87],"LAS":[89],"tasks":[90],"known":[92],"Sigma":[95],"P2":[96],"hard.":[97],"In":[98],"this":[99,103],"work,":[100],"we":[101],"tackle":[102],"problem":[104],"using":[105],"single-shot":[107],"disjunctive":[108,177],"ASP":[109,165,178,188],"encoding":[110,140],"based":[111],"on":[112,159,201,215,223],"saturation":[114],"technique":[115],"originally":[116],"proposed":[117],"Eiter":[119],"Gottlob.":[121],"We":[122,190],"prove":[123],"that,":[124],"when":[125],"background":[127],"knowledge":[128],"hypothesis":[130],"space":[131],"form":[132],"tight":[134],"program":[135],"(a":[136],"syntactical":[137],"property)":[138],"our":[139,192],"linear":[142],"size":[145],"task.":[148],"This":[149],"approach":[150],"contrasts":[151],"state-of-the-art":[154],"ILASP":[155,214],"system,":[156],"which":[157],"relies":[158],"multiple":[160],"iterative":[161],"calls":[162],"solver.":[166],"As":[167],"result,":[169],"it":[170,219],"can":[171],"directly":[173],"evaluated":[174],"modern":[176],"solvers,":[179],"leveraging":[180],"decades":[181],"research":[183],"optimization":[185],"community.":[189],"implement":[191],"method":[193],"system":[196],"named":[197],"LASCO.":[198],"Experimental":[199],"diverse":[203],"set":[204],"benchmarks":[206],"demonstrate":[207],"that":[208],"LASCO":[209],"outperforms":[210],"all":[211],"versions":[212],"many":[216],"instances":[217],"scales":[220],"if":[221],"run":[222],"multi-threaded":[224],"machines.":[225]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2026-03-18T00:00:00"}