{"id":"https://openalex.org/W4403792835","doi":"https://doi.org/10.24963/kr.2024/61","title":"On Abstracting over the Irrelevant in Answer Set Programming","display_name":"On Abstracting over the Irrelevant in Answer Set Programming","publication_year":2024,"publication_date":"2024-10-26","ids":{"openalex":"https://openalex.org/W4403792835","doi":"https://doi.org/10.24963/kr.2024/61"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2024/61","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/61","pdf_url":"https://proceedings.kr.org/2024/61/kr2024-0061-saribatur-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":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2024/61/kr2024-0061-saribatur-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024232019","display_name":"Zeynep G. Saribatur","orcid":"https://orcid.org/0000-0001-8690-5043"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Zeynep G. Saribatur","raw_affiliation_strings":["Institute of Logic and Computation, TU Wien"],"affiliations":[{"raw_affiliation_string":"Institute of Logic and Computation, TU Wien","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086341479","display_name":"Matthias Knorr","orcid":"https://orcid.org/0000-0003-1826-1498"},"institutions":[{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Matthias Knorr","raw_affiliation_strings":["NOVA LINCS, NOVA University Lisbon"],"affiliations":[{"raw_affiliation_string":"NOVA LINCS, NOVA University Lisbon","institution_ids":["https://openalex.org/I83558840"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065367921","display_name":"Ricardo Gon\u00e7alves","orcid":"https://orcid.org/0000-0003-4289-7197"},"institutions":[{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Ricardo Gon\u00e7alves","raw_affiliation_strings":["NOVA LINCS, NOVA University Lisbon"],"affiliations":[{"raw_affiliation_string":"NOVA LINCS, NOVA University Lisbon","institution_ids":["https://openalex.org/I83558840"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066466375","display_name":"Jo\u00e3o Leite","orcid":"https://orcid.org/0000-0001-6786-7360"},"institutions":[{"id":"https://openalex.org/I83558840","display_name":"Universidade Nova de Lisboa","ror":"https://ror.org/02xankh89","country_code":"PT","type":"education","lineage":["https://openalex.org/I83558840"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Jo\u00e3o Leite","raw_affiliation_strings":["NOVA LINCS, NOVA University Lisbon"],"affiliations":[{"raw_affiliation_string":"NOVA LINCS, NOVA University Lisbon","institution_ids":["https://openalex.org/I83558840"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5024232019"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6813,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.76223102,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"654","last_page":"664"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9983000159263611,"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.9983000159263611,"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.9904999732971191,"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.9527000188827515,"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.9156070947647095},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7499494552612305},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5838833451271057},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5045238733291626},{"id":"https://openalex.org/keywords/logic-program","display_name":"Logic program","score":0.4506363272666931},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34802407026290894},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.33405590057373047}],"concepts":[{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.9156070947647095},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7499494552612305},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5838833451271057},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5045238733291626},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.4506363272666931},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34802407026290894},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.33405590057373047}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2024/61","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/61","pdf_url":"https://proceedings.kr.org/2024/61/kr2024-0061-saribatur-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/61","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/61","pdf_url":"https://proceedings.kr.org/2024/61/kr2024-0061-saribatur-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":[{"id":"https://openalex.org/G1150610575","display_name":null,"funder_award_id":"UIDP/04516/2020","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G2447788411","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G2987173697","display_name":null,"funder_award_id":"UIDP/","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G3272457656","display_name":null,"funder_award_id":"UIDB/","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G5091561280","display_name":null,"funder_award_id":"UIDP/04516/2020","funder_id":"https://openalex.org/F4320331406","funder_display_name":"NOVA Laboratory for Computer Science and Informatics"},{"id":"https://openalex.org/G517565431","display_name":null,"funder_award_id":"9/UIDP/","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G6348741101","display_name":null,"funder_award_id":"UIDB/04516/2020","funder_id":"https://openalex.org/F4320331406","funder_display_name":"NOVA Laboratory for Computer Science and Informatics"},{"id":"https://openalex.org/G7990283390","display_name":null,"funder_award_id":"https","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G850683389","display_name":null,"funder_award_id":"UIDB/04516/202","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G8725369612","display_name":null,"funder_award_id":"UIDB/04516/2020","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320331406","display_name":"NOVA Laboratory for Computer Science and Informatics","ror":null},{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4403792835.pdf","grobid_xml":"https://content.openalex.org/works/W4403792835.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W1511336005","https://openalex.org/W4231236017","https://openalex.org/W3088092049","https://openalex.org/W2076569795","https://openalex.org/W1575307414","https://openalex.org/W3106212667","https://openalex.org/W3215639365","https://openalex.org/W1556363336","https://openalex.org/W3048361371","https://openalex.org/W2611359631"],"abstract_inverted_index":{"Generalization":[0],"is":[1,67,163],"an":[2,114],"important":[3],"ability":[4,23,66],"that":[5,104,116],"allows":[6],"humans":[7],"to":[8,26,32,173],"tackle":[9],"complex":[10],"problems":[11],"by":[12],"identifying":[13],"common":[14,125],"problem":[15,128],"structures":[16],"and":[17,58,82,99,127,177],"omitting":[18],"irrelevant":[19,110],"details.":[20],"Whereas":[21],"such":[22,175],"comes":[24],"naturally":[25],"humans,":[27],"it":[28],"has":[29,47,94,130],"proved":[30],"challenging":[31],"establish":[33],"within":[34],"AI":[35],"systems.":[36],"Although":[37],"different":[38],"research":[39,91],"communities":[40],"have":[41],"tackled":[42],"this":[43,135,183],"challenge,":[44],"their":[45],"focus":[46],"usually":[48],"been":[49,132],"set":[50],"on":[51,92,97,123,150],"developing":[52],"efficient":[53],"algorithms":[54],"for":[55,85,142],"concrete":[56],"problems,":[57,90],"a":[59,78,120],"general":[60],"theoretical":[61,140],"understanding":[62],"of":[63,73,109,153,182],"the":[64,71,107,124,139,151,167,179],"generalization":[65,93],"still":[68],"lacking.":[69],"In":[70,134],"context":[72],"Answer":[74],"Set":[75],"Programming":[76],"(ASP),":[77],"well-established":[79],"knowledge":[80],"representation":[81],"reasoning":[83,144],"paradigm":[84],"solving":[86],"highly":[87],"combinatorial":[88],"search":[89],"primarily":[95],"focused":[96],"forgetting":[98],"projection,":[100],"two":[101],"related":[102],"operations":[103],"aim":[105],"at":[106,118],"omission":[108],"details,":[111],"while":[112],"abstraction,":[113],"operation":[115],"aims":[117],"providing":[119],"higher-level":[121],"view":[122],"solution":[126],"structures,":[129],"largely":[131],"overlooked.":[133],"paper,":[136],"we":[137],"develop":[138],"foundation":[141],"generalized":[143],"through":[145,155],"abstraction":[146,154,162],"in":[147],"ASP,":[148],"focusing":[149],"notion":[152],"vocabulary":[156],"clustering.":[157],"We":[158],"formally":[159],"characterize":[160],"when":[161],"possible,":[164],"semantically":[165],"define":[166],"desired":[168],"result,":[169],"investigate":[170],"syntactic":[171],"operators":[172],"obtain":[174],"abstractions,":[176],"study":[178],"computational":[180],"complexity":[181],"problem.":[184]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}