{"id":"https://openalex.org/W4220893345","doi":"https://doi.org/10.1017/s1471068422000096","title":"On the Configuration of More and Less Expressive Logic Programs","display_name":"On the Configuration of More and Less Expressive Logic Programs","publication_year":2022,"publication_date":"2022-03-21","ids":{"openalex":"https://openalex.org/W4220893345","doi":"https://doi.org/10.1017/s1471068422000096"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068422000096","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068422000096","pdf_url":null,"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":null,"license_id":null,"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":"green","oa_url":"https://pure.hud.ac.uk/ws/files/47658362/TPLP_SAT_ASP.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5031224507","display_name":"Carmine Dodaro","orcid":"https://orcid.org/0000-0002-5617-5286"},"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":"CARMINE DODARO","raw_affiliation_strings":["University of Calabria, Rende, Italy (e-mail:"],"affiliations":[{"raw_affiliation_string":"University of Calabria, Rende, Italy (e-mail:","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077756388","display_name":"Marco Maratea","orcid":"https://orcid.org/0000-0002-9034-2527"},"institutions":[{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"MARCO MARATEA","raw_affiliation_strings":["University of Genoa, Genoa, Italy (e-mail:"],"affiliations":[{"raw_affiliation_string":"University of Genoa, Genoa, Italy (e-mail:","institution_ids":["https://openalex.org/I83816512"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086585008","display_name":"Mauro Vallati","orcid":"https://orcid.org/0000-0002-8429-3570"},"institutions":[{"id":"https://openalex.org/I133837150","display_name":"University of Huddersfield","ror":"https://ror.org/05t1h8f27","country_code":"GB","type":"education","lineage":["https://openalex.org/I133837150"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"MAURO VALLATI","raw_affiliation_strings":["University of Huddersfield, Huddersfield HD1 3DH, UK (e-mail:"],"affiliations":[{"raw_affiliation_string":"University of Huddersfield, Huddersfield HD1 3DH, UK (e-mail:","institution_ids":["https://openalex.org/I133837150"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5031224507"],"corresponding_institution_ids":["https://openalex.org/I45204951"],"apc_list":null,"apc_paid":null,"fwci":0.1388,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.51727044,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"23","issue":"2","first_page":"415","last_page":"443"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9994999766349792,"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.9994999766349792,"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.9988999962806702,"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/T10906","display_name":"AI-based Problem Solving and Planning","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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8812488913536072},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.6916645765304565},{"id":"https://openalex.org/keywords/decoupling","display_name":"Decoupling (probability)","score":0.6097193360328674},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5674837231636047},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5640536546707153},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.45151519775390625},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.437486469745636},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.43502774834632874},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3803781270980835}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8812488913536072},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.6916645765304565},{"id":"https://openalex.org/C205606062","wikidata":"https://www.wikidata.org/wiki/Q5249645","display_name":"Decoupling (probability)","level":2,"score":0.6097193360328674},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5674837231636047},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5640536546707153},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.45151519775390625},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.437486469745636},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.43502774834632874},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3803781270980835},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1017/s1471068422000096","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068422000096","pdf_url":null,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:pure.atira.dk:openaire/1665bf35-e244-4f0e-a835-354fe7c4d673","is_oa":true,"landing_page_url":"https://pure.hud.ac.uk/en/publications/1665bf35-e244-4f0e-a835-354fe7c4d673","pdf_url":"https://pure.hud.ac.uk/ws/files/47658362/TPLP_SAT_ASP.pdf","source":{"id":"https://openalex.org/S4306402508","display_name":"Huddersfield Research Portal (University of Huddersfield)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I133837150","host_organization_name":"University of Huddersfield","host_organization_lineage":["https://openalex.org/I133837150"],"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":"Dorado, C, Maratea, M & Vallati, M 2023, 'On the Configuration of More and Less Expressive Logic Programs', Theory and Practice of Logic Programming, vol. 23, no. 2, pp. 415-443. https://doi.org/10.1017/S1471068422000096","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:iris.unige.it:11567/1103214","is_oa":false,"landing_page_url":"https://hdl.handle.net/11567/1103214","pdf_url":null,"source":{"id":"https://openalex.org/S4377196291","display_name":"CINECA IRIS Institutial Research Information System (University of Genoa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83816512","host_organization_name":"University of Genoa","host_organization_lineage":["https://openalex.org/I83816512"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:openaire/1665bf35-e244-4f0e-a835-354fe7c4d673","is_oa":true,"landing_page_url":"https://pure.hud.ac.uk/en/publications/1665bf35-e244-4f0e-a835-354fe7c4d673","pdf_url":"https://pure.hud.ac.uk/ws/files/47658362/TPLP_SAT_ASP.pdf","source":{"id":"https://openalex.org/S4306402508","display_name":"Huddersfield Research Portal (University of Huddersfield)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I133837150","host_organization_name":"University of Huddersfield","host_organization_lineage":["https://openalex.org/I133837150"],"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":"Dorado, C, Maratea, M & Vallati, M 2023, 'On the Configuration of More and Less Expressive Logic Programs', Theory and Practice of Logic Programming, vol. 23, no. 2, pp. 415-443. https://doi.org/10.1017/S1471068422000096","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8235522159","display_name":null,"funder_award_id":"MR/T041196/1","funder_id":"https://openalex.org/F4320314731","funder_display_name":"UK Research and Innovation"}],"funders":[{"id":"https://openalex.org/F4320314731","display_name":"UK Research and Innovation","ror":"https://ror.org/001aqnf71"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4220893345.pdf","grobid_xml":"https://content.openalex.org/works/W4220893345.grobid-xml"},"referenced_works_count":68,"referenced_works":["https://openalex.org/W32539537","https://openalex.org/W60686164","https://openalex.org/W114730584","https://openalex.org/W773677814","https://openalex.org/W1258972194","https://openalex.org/W1490176645","https://openalex.org/W1502948544","https://openalex.org/W1511069520","https://openalex.org/W1511963917","https://openalex.org/W1606891084","https://openalex.org/W1770532937","https://openalex.org/W1981334977","https://openalex.org/W1985274317","https://openalex.org/W2000863621","https://openalex.org/W2011958646","https://openalex.org/W2013951121","https://openalex.org/W2031579642","https://openalex.org/W2035142469","https://openalex.org/W2049791401","https://openalex.org/W2050842068","https://openalex.org/W2064864283","https://openalex.org/W2069767473","https://openalex.org/W2076698873","https://openalex.org/W2091138122","https://openalex.org/W2095709533","https://openalex.org/W2141363466","https://openalex.org/W2144892150","https://openalex.org/W2147148915","https://openalex.org/W2155840847","https://openalex.org/W2158059231","https://openalex.org/W2170245713","https://openalex.org/W2185085875","https://openalex.org/W2205514811","https://openalex.org/W2211798527","https://openalex.org/W2258155168","https://openalex.org/W2394640999","https://openalex.org/W2398436144","https://openalex.org/W2559687347","https://openalex.org/W2607115772","https://openalex.org/W2755687384","https://openalex.org/W2760813595","https://openalex.org/W2794200886","https://openalex.org/W2802750345","https://openalex.org/W2893932668","https://openalex.org/W2903457445","https://openalex.org/W2908427431","https://openalex.org/W2911964244","https://openalex.org/W2938140678","https://openalex.org/W2950680102","https://openalex.org/W2962691671","https://openalex.org/W2962929300","https://openalex.org/W2963674559","https://openalex.org/W2964281761","https://openalex.org/W2985257580","https://openalex.org/W2985842777","https://openalex.org/W2994667977","https://openalex.org/W2995246945","https://openalex.org/W3088670598","https://openalex.org/W3099168344","https://openalex.org/W3099669149","https://openalex.org/W3103070746","https://openalex.org/W3104830616","https://openalex.org/W3149159835","https://openalex.org/W4237194859","https://openalex.org/W6601220169","https://openalex.org/W6608372248","https://openalex.org/W6634336369","https://openalex.org/W6637298476"],"related_works":["https://openalex.org/W2152950565","https://openalex.org/W3103825105","https://openalex.org/W1617565119","https://openalex.org/W160381218","https://openalex.org/W2512958550","https://openalex.org/W2004102934","https://openalex.org/W4366455350","https://openalex.org/W2329266651","https://openalex.org/W4321844193","https://openalex.org/W2099777870"],"abstract_inverted_index":{"Abstract":[0],"The":[1],"decoupling":[2],"between":[3],"the":[4,16,38,45,66,75,112,133],"representation":[5],"of":[6,21,25,81,97,118],"a":[7,95,119],"certain":[8],"problem,":[9],"that":[10,55,100,136],"is,":[11],"its":[12],"knowledge":[13],"model,":[14],"and":[15,92,105,125,144],"reasoning":[17,39,76],"side":[18,40,77],"is":[19,51],"one":[20],"main":[22],"strong":[23],"points":[24],"model-based":[26,88],"artificial":[27],"intelligence":[28],"(AI).":[29],"This":[30],"allows,":[31],"for":[32],"example,":[33],"to":[34,61,110],"focus":[35,72],"on":[36,44,73],"improving":[37,74],"by":[41,78,140],"having":[42],"advantages":[43,80,135],"whole":[46],"solving":[47],"process.":[48],"Further,":[49],"it":[50],"also":[52],"well":[53],"known":[54],"many":[56],"solvers":[57],"are":[58],"very":[59],"sensitive":[60],"even":[62],"syntactic":[63,98],"changes":[64],"in":[65],"input.":[67],"In":[68],"this":[69],"paper,":[70],"we":[71],"taking":[79],"such":[82],"sensitivity.":[83],"We":[84],"consider":[85],"two":[86],"well-known":[87],"AI":[89],"methodologies,":[90],"SAT":[91,124],"ASP,":[93],"define":[94],"number":[96],"features":[99],"may":[101],"characterise":[102],"their":[103],"inputs,":[104],"use":[106],"automated":[107],"configuration":[108],"tools":[109],"reformulate":[111],"input":[113,142],"formula":[114],"or":[115],"program.":[116],"Results":[117],"wide":[120],"experimental":[121],"analysis":[122],"involving":[123],"ASP":[126],"domains,":[127],"taken":[128],"from":[129],"respective":[130],"competitions,":[131],"show":[132],"different":[134],"can":[137],"be":[138],"obtained":[139],"using":[141],"reformulation":[143],"configuration.":[145]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}