{"id":"https://openalex.org/W4403792827","doi":"https://doi.org/10.24963/kr.2024/78","title":"LLASP: Fine-tuning Large Language Models for Answer Set Programming","display_name":"LLASP: Fine-tuning Large Language Models for Answer Set Programming","publication_year":2024,"publication_date":"2024-10-26","ids":{"openalex":"https://openalex.org/W4403792827","doi":"https://doi.org/10.24963/kr.2024/78"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2024/78","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/78","pdf_url":"https://proceedings.kr.org/2024/78/kr2024-0078-coppolillo-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2024/78/kr2024-0078-coppolillo-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5092023687","display_name":"Erica Coppolillo","orcid":null},"institutions":[{"id":"https://openalex.org/I3005160176","display_name":"Institute for High Performance Computing and Networking","ror":"https://ror.org/04r5fge26","country_code":"IT","type":"facility","lineage":["https://openalex.org/I3005160176","https://openalex.org/I4210155236"]},{"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":"Erica Coppolillo","raw_affiliation_strings":["ICAR-CNR, Rende, Italy","University of Calabria, Rende, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ICAR-CNR, Rende, Italy","institution_ids":["https://openalex.org/I3005160176"]},{"raw_affiliation_string":"University of Calabria, Rende, Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","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":["DLVSystem Srl, Rende, Italy","University of Calabria, Rende, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DLVSystem Srl, Rende, Italy","institution_ids":[]},{"raw_affiliation_string":"University of Calabria, Rende, Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004372595","display_name":"Giuseppe Manco","orcid":"https://orcid.org/0000-0001-9672-3833"},"institutions":[{"id":"https://openalex.org/I3005160176","display_name":"Institute for High Performance Computing and Networking","ror":"https://ror.org/04r5fge26","country_code":"IT","type":"facility","lineage":["https://openalex.org/I3005160176","https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Giuseppe Manco","raw_affiliation_strings":["ICAR-CNR, Rende, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ICAR-CNR, Rende, Italy","institution_ids":["https://openalex.org/I3005160176"]}]},{"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":["University of Calabria, Rende, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Calabria, Rende, Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113685711","display_name":"Francesco Ricca","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":"Francesco Ricca","raw_affiliation_strings":["University of Calabria, Rende, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Calabria, Rende, Italy","institution_ids":["https://openalex.org/I45204951"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0648,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.79731824,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"834","last_page":"844"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9944000244140625,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9944000244140625,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9940999746322632,"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.9915000200271606,"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.7987251281738281},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6205129027366638},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5900179147720337},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.5886196494102478}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7987251281738281},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6205129027366638},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5900179147720337},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.5886196494102478}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2024/78","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/78","pdf_url":"https://proceedings.kr.org/2024/78/kr2024-0078-coppolillo-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/kr.2024/78","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/78","pdf_url":"https://proceedings.kr.org/2024/78/kr2024-0078-coppolillo-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320311030","display_name":"Istituto Nazionale di Alta Matematica \"Francesco Severi\"","ror":"https://ror.org/01vx64p53"},{"id":"https://openalex.org/F4320334079","display_name":"Gruppo Nazionale per il Calcolo Scientifico","ror":null}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4403792827.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2092211394","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W4221009164"],"abstract_inverted_index":{"Recently,":[0],"Large":[1],"Language":[2],"Models":[3],"(LLMs)":[4],"have":[5],"showcased":[6],"their":[7,44,83],"potential":[8],"in":[9,25,43,85,101,142],"various":[10],"natural":[11],"language":[12],"processing":[13],"tasks,":[14,37],"including":[15],"code":[16,30,70,187],"generation.":[17,71],"However,":[18],"while":[19],"significant":[20],"progress":[21],"has":[22],"been":[23],"made":[24],"adapting":[26],"LLMs":[27,67],"to":[28,46,116,165,173,191],"generate":[29],"for":[31,68],"several":[32,79],"imperative":[33],"programming":[34],"languages":[35],"and":[36,93,188],"there":[38],"remains":[39],"a":[40,60,75,110,131,182],"notable":[41],"gap":[42],"application":[45],"declarative":[47],"formalisms,":[48],"such":[49],"as":[50],"Answer":[51],"Set":[52],"Programming":[53],"(ASP).":[54],"In":[55],"this":[56,123],"paper,":[57],"we":[58,73,107,125],"move":[59],"step":[61],"towards":[62],"exploring":[63],"the":[64,148,166,174,186,193],"capabilities":[65],"of":[66,78,87,89,134,150,176],"ASP":[69,104,119,151],"First,":[72],"perform":[74,192],"systematic":[76],"evaluation":[77],"state-of-the-art":[80],"LLMs.":[81],"Despite":[82],"power":[84],"terms":[86],"number":[88],"parameters,":[90],"training":[91],"data":[92,189],"computational":[94],"resources,":[95],"empirical":[96],"results":[97],"demonstrate":[98,146],"inadequate":[99],"performances":[100],"generating":[102],"correct":[103],"programs.":[105],"Therefore,":[106],"propose":[108],"LLASP,":[109],"fine-tuned":[111],"lightweight":[112],"model":[113],"specifically":[114],"trained":[115],"encode":[117],"fundamental":[118,135],"program":[120],"patterns.":[121],"To":[122],"aim,":[124],"create":[126],"an":[127],"ad-hoc":[128],"dataset":[129],"covering":[130],"wide":[132],"variety":[133],"problem":[136],"specifications":[137],"that":[138,147],"can":[139],"be":[140],"encoded":[141],"ASP.":[143],"Our":[144],"experiments":[145,194],"quality":[149],"programs":[152],"generated":[153],"by":[154],"LLASP":[155],"is":[156],"remarkable.":[157],"This":[158],"holds":[159],"true":[160],"not":[161],"only":[162],"when":[163,171],"compared":[164,172],"non-fine-tuned":[167],"counterpart":[168],"but":[169],"also":[170],"majority":[175],"eager":[177],"LLM":[178],"candidates,":[179],"particularly":[180],"from":[181],"semantic":[183],"perspective.":[184],"All":[185],"used":[190],"are":[195],"publicly":[196],"available:":[197],"https://github.com/EricaCoppolillo/LLASP.":[198]},"counts_by_year":[{"year":2026,"cited_by_count":3}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}