{"id":"https://openalex.org/W4414116916","doi":"https://doi.org/10.1109/fuzz62266.2025.11152242","title":"Encoding the Uncertain OR Gate for Weighted Model Counting in Possibility Theory","display_name":"Encoding the Uncertain OR Gate for Weighted Model Counting in Possibility Theory","publication_year":2025,"publication_date":"2025-07-06","ids":{"openalex":"https://openalex.org/W4414116916","doi":"https://doi.org/10.1109/fuzz62266.2025.11152242"},"language":"en","primary_location":{"id":"doi:10.1109/fuzz62266.2025.11152242","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fuzz62266.2025.11152242","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Conference on Fuzzy Systems (FUZZ)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058742162","display_name":"Guillaume Petiot","orcid":null},"institutions":[{"id":"https://openalex.org/I4210104245","display_name":"Institut catholique de toulouse","ror":"https://ror.org/00s4cve39","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210104245"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Guillaume Petiot","raw_affiliation_strings":["Catholic Institute of Toulouse,CERES,Toulouse,France,31068"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Catholic Institute of Toulouse,CERES,Toulouse,France,31068","institution_ids":["https://openalex.org/I4210104245"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5058742162"],"corresponding_institution_ids":["https://openalex.org/I4210104245"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.19779776,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9993000030517578,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9993000030517578,"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.9941999912261963,"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.9923999905586243,"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/generalization","display_name":"Generalization","score":0.6570000052452087},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.6563000082969666},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6427000164985657},{"id":"https://openalex.org/keywords/possibility-theory","display_name":"Possibility theory","score":0.6025999784469604},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.5735999941825867},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5672000050544739},{"id":"https://openalex.org/keywords/encode","display_name":"ENCODE","score":0.4779999852180481},{"id":"https://openalex.org/keywords/logical-connective","display_name":"Logical connective","score":0.39089998602867126}],"concepts":[{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.6570000052452087},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.6563000082969666},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6427000164985657},{"id":"https://openalex.org/C137912672","wikidata":"https://www.wikidata.org/wiki/Q1967096","display_name":"Possibility theory","level":4,"score":0.6025999784469604},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.5735999941825867},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5672000050544739},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5257999897003174},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5157999992370605},{"id":"https://openalex.org/C66746571","wikidata":"https://www.wikidata.org/wiki/Q1134833","display_name":"ENCODE","level":3,"score":0.4779999852180481},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.46459999680519104},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.43389999866485596},{"id":"https://openalex.org/C194989596","wikidata":"https://www.wikidata.org/wiki/Q211790","display_name":"Logical connective","level":2,"score":0.39089998602867126},{"id":"https://openalex.org/C2778476105","wikidata":"https://www.wikidata.org/wiki/Q628539","display_name":"Workload","level":2,"score":0.39010000228881836},{"id":"https://openalex.org/C2779190172","wikidata":"https://www.wikidata.org/wiki/Q4913888","display_name":"Binary data","level":3,"score":0.3804999887943268},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.37529999017715454},{"id":"https://openalex.org/C56949724","wikidata":"https://www.wikidata.org/wiki/Q219079","display_name":"Truth table","level":2,"score":0.3677000105381012},{"id":"https://openalex.org/C21847791","wikidata":"https://www.wikidata.org/wiki/Q191081","display_name":"Logical conjunction","level":2,"score":0.36000001430511475},{"id":"https://openalex.org/C65180967","wikidata":"https://www.wikidata.org/wiki/Q130901","display_name":"Binary relation","level":2,"score":0.34709998965263367},{"id":"https://openalex.org/C136726353","wikidata":"https://www.wikidata.org/wiki/Q903789","display_name":"Disjunctive normal form","level":2,"score":0.34200000762939453},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.3228999972343445},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.32249999046325684},{"id":"https://openalex.org/C16221470","wikidata":"https://www.wikidata.org/wiki/Q846564","display_name":"Conjunctive normal form","level":2,"score":0.31349998712539673},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3089999854564667},{"id":"https://openalex.org/C35898486","wikidata":"https://www.wikidata.org/wiki/Q498186","display_name":"Exclusive or","level":3,"score":0.28540000319480896},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.25189998745918274}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/fuzz62266.2025.11152242","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fuzz62266.2025.11152242","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Conference on Fuzzy Systems (FUZZ)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-05648291v1","is_oa":false,"landing_page_url":"https://hal.science/hal-05648291","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2025, pp.1-6. ⟨10.1109/FUZZ62266.2025.11152242⟩","raw_type":"info:eu-repo/semantics/other"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W159365702","https://openalex.org/W2057361103","https://openalex.org/W2062818807","https://openalex.org/W2105197197","https://openalex.org/W2115343237","https://openalex.org/W2159080219","https://openalex.org/W2186752618","https://openalex.org/W2560394944","https://openalex.org/W2615737084","https://openalex.org/W4230588984","https://openalex.org/W4251625379"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Uncertain":[0,31],"logical":[1,32,53],"gates":[2,33],"facilitate":[3],"the":[4,12,18,35,43,83,86,89,103,134,138],"representation":[5],"of":[6,14,20,38,45,85,140],"knowledge":[7],"in":[8,114],"possibilistic":[9],"networks.":[10],"As":[11],"number":[13,19],"parent":[15],"variables":[16,58,101],"increases,":[17],"parameters":[21,87],"required":[22],"to":[23,55,72,99],"specify":[24],"Conditional":[25],"Possibility":[26],"Tables":[27],"becomes":[28],"prohibitively":[29],"large.":[30],"enable":[34],"automatic":[36],"computation":[37,84],"these":[39,70],"parameters,":[40],"thereby":[41],"reducing":[42],"workload":[44],"experts.":[46],"They":[47],"provide":[48],"a":[49],"method":[50],"for":[51,88,96,132],"modeling":[52],"behaviors":[54],"combine":[56],"binary":[57],"using":[59,112],"operators":[60,71],"such":[61],"as":[62],"OR,":[63],"AND,":[64],"NOT,":[65],"etc.,":[66],"while":[67],"also":[68],"generalizing":[69],"non-binary":[73,100],"variables.":[74],"In":[75],"this":[76],"research,":[77],"we":[78],"will":[79,128],"first":[80],"focus":[81],"on":[82],"uncertain":[90,104,135],"OR":[91,136],"connector":[92,108],"before":[93],"proposing":[94],"encodings":[95],"its":[97],"generalization":[98],"through":[102,121],"MAX":[105],"connector.":[106],"This":[107],"can":[109],"be":[110],"encoded":[111],"clauses":[113],"conjunctive":[115],"normal":[116],"form,":[117],"with":[118],"evaluation":[119],"performed":[120],"weighted":[122],"model":[123],"counting":[124],"and":[125],"queries.":[126],"We":[127],"compare":[129],"various":[130],"approaches":[131],"encoding":[133],"within":[137],"framework":[139],"possibility":[141],"theory.":[142]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}