{"id":"https://openalex.org/W2035910535","doi":"https://doi.org/10.1145/2505879.2505883","title":"Detecting decidable classes of finitely ground logic programs with function symbols","display_name":"Detecting decidable classes of finitely ground logic programs with function symbols","publication_year":2013,"publication_date":"2013-09-16","ids":{"openalex":"https://openalex.org/W2035910535","doi":"https://doi.org/10.1145/2505879.2505883","mag":"2035910535"},"language":"en","primary_location":{"id":"doi:10.1145/2505879.2505883","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2505879.2505883","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hdl.handle.net/2434/953319","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066005299","display_name":"Marco Calautti","orcid":"https://orcid.org/0000-0003-0921-4040"},"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":"Marco Calautti","raw_affiliation_strings":["DIMES, Universit\u00e0 della Calabria, Rende (CS), Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DIMES, Universit\u00e0 della Calabria, Rende (CS), Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031964906","display_name":"Sergio Greco","orcid":"https://orcid.org/0000-0003-2966-3484"},"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":"Sergio Greco","raw_affiliation_strings":["DIMES, Universit\u00e0 della Calabria, Rende (CS), Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DIMES, Universit\u00e0 della Calabria, Rende (CS), Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067924380","display_name":"Irina Trubitsyna","orcid":"https://orcid.org/0000-0002-9031-0672"},"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":"Irina Trubitsyna","raw_affiliation_strings":["DIMES, Universit\u00e0 della Calabria, Rende (CS), Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DIMES, Universit\u00e0 della Calabria, Rende (CS), Italy","institution_ids":["https://openalex.org/I45204951"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I45204951"],"apc_list":null,"apc_paid":null,"fwci":1.144,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.78848254,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"3","issue":null,"first_page":"239","last_page":"250"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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.9997000098228455,"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/T10126","display_name":"Logic, programming, and type systems","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/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/decidability","display_name":"Decidability","score":0.9077260494232178},{"id":"https://openalex.org/keywords/unary-operation","display_name":"Unary operation","score":0.8570501208305359},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.654198408126831},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.6247394680976868},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.6218044757843018},{"id":"https://openalex.org/keywords/normalization-property","display_name":"Normalization property","score":0.546762228012085},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5380458831787109},{"id":"https://openalex.org/keywords/logic-program","display_name":"Logic program","score":0.49701550602912903},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.47449633479118347},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.45976346731185913},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4333961606025696},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4133307635784149},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.35111355781555176},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3431907892227173},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.31873297691345215},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17020449042320251}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.9077260494232178},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.8570501208305359},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.654198408126831},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.6247394680976868},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.6218044757843018},{"id":"https://openalex.org/C159333733","wikidata":"https://www.wikidata.org/wiki/Q7051809","display_name":"Normalization property","level":2,"score":0.546762228012085},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5380458831787109},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.49701550602912903},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.47449633479118347},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.45976346731185913},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4333961606025696},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4133307635784149},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.35111355781555176},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3431907892227173},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.31873297691345215},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17020449042320251},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1145/2505879.2505883","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2505879.2505883","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming","raw_type":"proceedings-article"},{"id":"pmh:oai:air.unimi.it:2434/953319","is_oa":true,"landing_page_url":"https://hdl.handle.net/2434/953319","pdf_url":null,"source":{"id":"https://openalex.org/S4306400516","display_name":"Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189158943","host_organization_name":"University of Milan","host_organization_lineage":["https://openalex.org/I189158943"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/bookPart"},{"id":"pmh:oai:iris.unitn.it:11572/260165","is_oa":false,"landing_page_url":"http://hdl.handle.net/11572/260165","pdf_url":null,"source":{"id":"https://openalex.org/S4306401913","display_name":"Institutional Research Information System (Universit\u00e0 degli Studi di Trento)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I193223587","host_organization_name":"University of Trento","host_organization_lineage":["https://openalex.org/I193223587"],"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"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/104532a9-b20a-4f34-a6c5-e10ed872e5b1","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/104532a9-b20a-4f34-a6c5-e10ed872e5b1","pdf_url":null,"source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Calautti, M, Greco, S & Trubitsyna, I 2013, Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols. in Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming. PPDP '13, New York, NY, USA, pp. 239-250. https://doi.org/10.1145/2505879.2505883","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:pure.ed.ac.uk:publications/104532a9-b20a-4f34-a6c5-e10ed872e5b1","is_oa":false,"landing_page_url":"http://hdl.handle.net/20.500.11820/104532a9-b20a-4f34-a6c5-e10ed872e5b1","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:pure.ed.ac.uk:publications/cf7026a9-bac8-4ba0-b9a7-6ccfaebbc826","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/portal/en/publications/detecting-decidable-classes-of-finitely-ground-logic-programs-with-function-symbols(cf7026a9-bac8-4ba0-b9a7-6ccfaebbc826).html","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:air.unimi.it:2434/953319","is_oa":true,"landing_page_url":"https://hdl.handle.net/2434/953319","pdf_url":null,"source":{"id":"https://openalex.org/S4306400516","display_name":"Archivio Istituzionale della Ricerca (Universita Degli Studi Di Milano)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I189158943","host_organization_name":"University of Milan","host_organization_lineage":["https://openalex.org/I189158943"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/bookPart"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W46596682","https://openalex.org/W649907208","https://openalex.org/W789857969","https://openalex.org/W1484110122","https://openalex.org/W1488953560","https://openalex.org/W1552168992","https://openalex.org/W1574704561","https://openalex.org/W1579524364","https://openalex.org/W1590284853","https://openalex.org/W1672891595","https://openalex.org/W1821679657","https://openalex.org/W1875104636","https://openalex.org/W1965483956","https://openalex.org/W1971297231","https://openalex.org/W1992810975","https://openalex.org/W2009286786","https://openalex.org/W2013130775","https://openalex.org/W2029399717","https://openalex.org/W2038040550","https://openalex.org/W2051564255","https://openalex.org/W2057035741","https://openalex.org/W2066734765","https://openalex.org/W2070546615","https://openalex.org/W2076698873","https://openalex.org/W2085386651","https://openalex.org/W2111739714","https://openalex.org/W2128219525","https://openalex.org/W2137327104","https://openalex.org/W2162621793","https://openalex.org/W2411085520","https://openalex.org/W2525579820","https://openalex.org/W2786353107","https://openalex.org/W3098606030","https://openalex.org/W3099640838","https://openalex.org/W4256361765","https://openalex.org/W6637298476","https://openalex.org/W6638498301"],"related_works":["https://openalex.org/W1521860126","https://openalex.org/W2104060136","https://openalex.org/W1493824320","https://openalex.org/W1511336005","https://openalex.org/W2003151706","https://openalex.org/W50928870","https://openalex.org/W1542459781","https://openalex.org/W2174235632","https://openalex.org/W2097388634","https://openalex.org/W1560148909"],"abstract_inverted_index":{"In":[0],"this":[1],"paper":[2],"we":[3,72],"propose":[4],"a":[5,61,77],"new":[6],"technique":[7,22,140],"for":[8],"checking":[9],"whether":[10],"the":[11,26,47,57,107,122,125,136,167,175],"bottom-up":[12,48,108,176],"evaluation":[13],"of":[14,28,34,79,94,98,124,169],"logic":[15,63],"programs":[16,99,148,170],"with":[17,131,161],"function":[18,35],"symbols":[19],"terminates.":[20],"The":[21,92,138],"is":[23,67,104,141],"based":[24],"on":[25],"definition":[27],"mappings":[29,51,71],"from":[30,70,89,117],"arguments":[31,45,84,101,113],"to":[32,164],"strings":[33],"symbols,":[36],"representing":[37],"possible":[38],"values":[39,88,116],"which":[40,85],"could":[41],"be":[42,53,159],"taken":[43],"by":[44,55,151],"during":[46],"evaluation.":[49,177],"Such":[50],"can":[52,73,86,114,158],"computed":[54],"transforming":[56],"original":[58],"program":[59,64],"into":[60],"unary":[62],"whose":[65,100],"termination":[66],"decidable.":[68],"Starting":[69],"identify":[74],"mapping-restricted":[75,95],"arguments,":[76,81],"subset":[78],"limited":[80],"that":[82],"is,":[83],"take":[87,115],"finite":[90,118],"domains.":[91,119],"class":[93,168],"programs,":[96],"consisting":[97],"are":[102],"mapping-restricted,":[103],"terminating":[105,147,173],"under":[106,174],"computation":[109],"as":[110,143,146,172],"all":[111],"its":[112],"We":[120],"study":[121],"complexity":[123],"presented":[126,139],"approach":[127],"and":[128,157],"compare":[129],"it":[130,144],"other":[132,152,162],"techniques":[133,163],"known":[134],"in":[135],"literature.":[137],"relevant":[142],"individuates":[145],"not":[149],"detected":[150],"criteria":[153],"proposed":[154],"so":[155],"far":[156],"combined":[160],"further":[165],"enlarge":[166],"recognized":[171]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}