{"id":"https://openalex.org/W4414085949","doi":"https://doi.org/10.1016/j.ijar.2025.109565","title":"Unimodular triangulations in \u0141ukasiewicz logic: Complexity bounds of probabilistic coherence","display_name":"Unimodular triangulations in \u0141ukasiewicz logic: Complexity bounds of probabilistic coherence","publication_year":2025,"publication_date":"2025-09-10","ids":{"openalex":"https://openalex.org/W4414085949","doi":"https://doi.org/10.1016/j.ijar.2025.109565"},"language":"en","primary_location":{"id":"doi:10.1016/j.ijar.2025.109565","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.ijar.2025.109565","pdf_url":null,"source":{"id":"https://openalex.org/S33368595","display_name":"International Journal of Approximate Reasoning","issn_l":"0888-613X","issn":["0888-613X","1873-4731"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Approximate Reasoning","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1016/j.ijar.2025.109565","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091130725","display_name":"Tommaso Flaminio","orcid":"https://orcid.org/0000-0002-9180-7808"},"institutions":[{"id":"https://openalex.org/I4210131846","display_name":"Artificial Intelligence Research Institute","ror":"https://ror.org/03c0ach84","country_code":"ES","type":"facility","lineage":["https://openalex.org/I134820265","https://openalex.org/I4210131846"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Tommaso Flaminio","raw_affiliation_strings":["Artificial Intelligence Research Institute IIIA - CSIC, 08193 Bellaterra, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Artificial Intelligence Research Institute IIIA - CSIC, 08193 Bellaterra, Spain","institution_ids":["https://openalex.org/I4210131846"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060347175","display_name":"Serafina Lapenta","orcid":"https://orcid.org/0000-0002-6046-9877"},"institutions":[{"id":"https://openalex.org/I131729948","display_name":"University of Salerno","ror":"https://ror.org/0192m2k53","country_code":"IT","type":"education","lineage":["https://openalex.org/I131729948"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Serafina Lapenta","raw_affiliation_strings":["Department of Mathematics, University of Salerno, Via Giovanni Paolo II, 132, 84084 Fisciano (SA), Italy"],"raw_orcid":"https://orcid.org/0000-0002-6046-9877","affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Salerno, Via Giovanni Paolo II, 132, 84084 Fisciano (SA), Italy","institution_ids":["https://openalex.org/I131729948"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5092667286","display_name":"Sebastiano Napolitano","orcid":null},"institutions":[{"id":"https://openalex.org/I131729948","display_name":"University of Salerno","ror":"https://ror.org/0192m2k53","country_code":"IT","type":"education","lineage":["https://openalex.org/I131729948"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["IT","NL"],"is_corresponding":false,"raw_author_name":"Sebastiano Napolitano","raw_affiliation_strings":["Department of Mathematics, University of Salerno, Via Giovanni Paolo II, 132, 84084 Fisciano (SA), Italy","Institute for Logic, Language and Computation (ILLC), Faculty of Science, University of Amsterdam, Science Park 107, 1098 XG Amsterdam, the Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics, University of Salerno, Via Giovanni Paolo II, 132, 84084 Fisciano (SA), Italy","institution_ids":["https://openalex.org/I131729948"]},{"raw_affiliation_string":"Institute for Logic, Language and Computation (ILLC), Faculty of Science, University of Amsterdam, Science Park 107, 1098 XG Amsterdam, the Netherlands","institution_ids":["https://openalex.org/I887064364"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5060347175"],"corresponding_institution_ids":["https://openalex.org/I131729948"],"apc_list":{"value":2960,"currency":"USD","value_usd":2960},"apc_paid":{"value":2960,"currency":"USD","value_usd":2960},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.23883684,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"187","issue":null,"first_page":"109565","last_page":"109565"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.994700014591217,"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"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9789999723434448,"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/unimodular-matrix","display_name":"Unimodular matrix","score":0.8676000237464905},{"id":"https://openalex.org/keywords/lemma","display_name":"Lemma (botany)","score":0.7276999950408936},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.529699981212616},{"id":"https://openalex.org/keywords/coherence","display_name":"Coherence (philosophical gambling strategy)","score":0.4763999879360199},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.4097000062465668},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.40529999136924744},{"id":"https://openalex.org/keywords/mistake","display_name":"Mistake","score":0.3702999949455261}],"concepts":[{"id":"https://openalex.org/C201958917","wikidata":"https://www.wikidata.org/wiki/Q1367055","display_name":"Unimodular matrix","level":2,"score":0.8676000237464905},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.7276999950408936},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6486999988555908},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5325999855995178},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.529699981212616},{"id":"https://openalex.org/C2781181686","wikidata":"https://www.wikidata.org/wiki/Q4226068","display_name":"Coherence (philosophical gambling strategy)","level":2,"score":0.4763999879360199},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4097000062465668},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.40529999136924744},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.40470001101493835},{"id":"https://openalex.org/C2777179996","wikidata":"https://www.wikidata.org/wiki/Q911222","display_name":"Mistake","level":2,"score":0.3702999949455261},{"id":"https://openalex.org/C2777152325","wikidata":"https://www.wikidata.org/wiki/Q108163","display_name":"Proposition","level":2,"score":0.3513000011444092},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.3124000132083893},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.29829999804496765},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.29030001163482666},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.27790001034736633},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.27549999952316284},{"id":"https://openalex.org/C145691206","wikidata":"https://www.wikidata.org/wiki/Q747980","display_name":"Polytope","level":2,"score":0.27459999918937683}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1016/j.ijar.2025.109565","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.ijar.2025.109565","pdf_url":null,"source":{"id":"https://openalex.org/S33368595","display_name":"International Journal of Approximate Reasoning","issn_l":"0888-613X","issn":["0888-613X","1873-4731"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Approximate Reasoning","raw_type":"journal-article"},{"id":"pmh:oai:dare.uva.nl:openaire/6d7d555e-8726-40f9-a758-cf51b656aa35","is_oa":true,"landing_page_url":"https://handle.uba.uva.nl/personal/pure/en/publications/unimodular-triangulations-in-ukasiewicz-logic(6d7d555e-8726-40f9-a758-cf51b656aa35).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306400088","display_name":"UvA-DARE (University of Amsterdam)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887064364","host_organization_name":"University of Amsterdam","host_organization_lineage":["https://openalex.org/I887064364"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Flaminio, T, Lapenta, S & Napolitano, S 2025, 'Unimodular triangulations in \u0141ukasiewicz logic : Complexity bounds of probabilistic coherence', International Journal of Approximate Reasoning, vol. 187, 109565. https://doi.org/10.1016/j.ijar.2025.109565","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:digital.csic.es:10261/406360","is_oa":true,"landing_page_url":"http://hdl.handle.net/10261/406360","pdf_url":null,"source":{"id":"https://openalex.org/S4306400616","display_name":"DIGITAL.CSIC (Spanish National Research Council (CSIC))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I134820265","host_organization_name":"Consejo Superior de Investigaciones Cient\u00edficas","host_organization_lineage":["https://openalex.org/I134820265"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1016/j.ijar.2025.109565","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.ijar.2025.109565","pdf_url":null,"source":{"id":"https://openalex.org/S33368595","display_name":"International Journal of Approximate Reasoning","issn_l":"0888-613X","issn":["0888-613X","1873-4731"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Approximate Reasoning","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G468312798","display_name":null,"funder_award_id":"CUP F53D23011170001","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6997528083","display_name":null,"funder_award_id":"PID2022-141529NB-C22","funder_id":"https://openalex.org/F4320322930","funder_display_name":"Ministerio de Ciencia e Innovaci\u00f3n"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321873","display_name":"Ministero dell\u2019Istruzione, dell\u2019Universit\u00e0 e della Ricerca","ror":"https://ror.org/0166hxq48"},{"id":"https://openalex.org/F4320322930","display_name":"Ministerio de Ciencia e Innovaci\u00f3n","ror":"https://ror.org/034900433"},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320334045","display_name":"Gruppo Nazionale per le Strutture Algebriche, Geometriche e le loro Applicazioni","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W608460879","https://openalex.org/W945364028","https://openalex.org/W1536409494","https://openalex.org/W1566552629","https://openalex.org/W1580324013","https://openalex.org/W1975853435","https://openalex.org/W1976967275","https://openalex.org/W1984784892","https://openalex.org/W1998045799","https://openalex.org/W2047723833","https://openalex.org/W2110160467","https://openalex.org/W2212155158","https://openalex.org/W2789169772","https://openalex.org/W2963189511","https://openalex.org/W2979109628","https://openalex.org/W3033912683","https://openalex.org/W3154413970"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2011745869","https://openalex.org/W2088028898","https://openalex.org/W1974942973","https://openalex.org/W211627054","https://openalex.org/W1608437562","https://openalex.org/W2083668208","https://openalex.org/W3141916192","https://openalex.org/W2171197936","https://openalex.org/W2094499544"],"abstract_inverted_index":{"A":[0],"proof":[1,91,133],"for":[2,5,78,101],"the":[3,6,16,42,62,75,135,147],"NP-containment":[4,73],"probabilistic":[7],"coherence":[8,76],"problem":[9,77],"over":[10],"events":[11,80],"represented":[12],"by":[13,56],"formulas":[14],"of":[15,65,74,92,103,134,146],"infinite-valued":[17],"\u0141ukasiewicz":[18,79],"logic":[19],"was":[20],"proposed":[21],"in":[22,41,106,152],"[1]":[23,87],".":[24,88],"The":[25,72,90,109,128,140],"geometric":[26],"and":[27],"combinatorial":[28],"argument":[29,111],"to":[30,50,119],"prove":[31],"that":[32,38,52,61,66],"complexity":[33],"bound":[34],"contains":[35,112],"a":[36,83,96,113,131,144],"mistake":[37],"is":[39,68,130,143],"fixed":[40],"present":[43,47],"paper.":[44],"Actually":[45],"we":[46,59],"two":[48],"ways":[49],"restore":[51],"imprecise":[53],"claim":[54],"and,":[55],"doing":[57],"so,":[58],"show":[60],"main":[63],"result":[64],"paper":[67],"indeed":[69],"valid.":[70],"\u2022":[71,89,108,122,139],"relies":[81],"on":[82,98],"key":[84],"lemma":[85,94,136],"from":[86,117],"this":[93],"uses":[95],"proposition":[97,148],"polynomial":[99,150],"bounds":[100,151],"denominators":[102],"rational":[104],"vertices":[105],"triangulations.":[107,121],"original":[110],"flaw":[114],"when":[115],"moving":[116],"general":[118],"unimodular":[120,153],"Two":[123],"alternative":[124],"solutions":[125],"are":[126],"provided.":[127],"first":[129],"new":[132],"without":[137],"unimodularity.":[138],"second":[141],"solution":[142],"variant":[145],"ensuring":[149],"refinements.":[154]},"counts_by_year":[],"updated_date":"2026-05-09T13:55:54.758798","created_date":"2025-10-10T00:00:00"}