{"id":"https://openalex.org/W4402510141","doi":"https://doi.org/10.1016/j.ijar.2024.109295","title":"Approximations of system W for inference from strongly and weakly consistent belief bases","display_name":"Approximations of system W for inference from strongly and weakly consistent belief bases","publication_year":2024,"publication_date":"2024-09-13","ids":{"openalex":"https://openalex.org/W4402510141","doi":"https://doi.org/10.1016/j.ijar.2024.109295"},"language":"en","primary_location":{"id":"doi:10.1016/j.ijar.2024.109295","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.ijar.2024.109295","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.2024.109295","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086838606","display_name":"Jonas Haldimann","orcid":"https://orcid.org/0000-0002-2618-8721"},"institutions":[{"id":"https://openalex.org/I120691247","display_name":"FernUniversit\u00e4t in Hagen","ror":"https://ror.org/04tkkr536","country_code":"DE","type":"education","lineage":["https://openalex.org/I120691247"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Jonas Haldimann","raw_affiliation_strings":["Knowledge Based Systems, Faculty of Mathematics and Computer Science, FernUniversit\u00e4t in Hagen, Universit\u00e4tsstra\u00dfe 1, 58084 Hagen, Germany"],"raw_orcid":"https://orcid.org/0000-0002-2618-8721","affiliations":[{"raw_affiliation_string":"Knowledge Based Systems, Faculty of Mathematics and Computer Science, FernUniversit\u00e4t in Hagen, Universit\u00e4tsstra\u00dfe 1, 58084 Hagen, Germany","institution_ids":["https://openalex.org/I120691247"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002320735","display_name":"Christoph Beierle","orcid":"https://orcid.org/0000-0002-0736-8516"},"institutions":[{"id":"https://openalex.org/I120691247","display_name":"FernUniversit\u00e4t in Hagen","ror":"https://ror.org/04tkkr536","country_code":"DE","type":"education","lineage":["https://openalex.org/I120691247"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Christoph Beierle","raw_affiliation_strings":["Knowledge Based Systems, Faculty of Mathematics and Computer Science, FernUniversit\u00e4t in Hagen, Universit\u00e4tsstra\u00dfe 1, 58084 Hagen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Knowledge Based Systems, Faculty of Mathematics and Computer Science, FernUniversit\u00e4t in Hagen, Universit\u00e4tsstra\u00dfe 1, 58084 Hagen, Germany","institution_ids":["https://openalex.org/I120691247"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5002320735","https://openalex.org/A5086838606"],"corresponding_institution_ids":["https://openalex.org/I120691247"],"apc_list":{"value":2960,"currency":"USD","value_usd":2960},"apc_paid":{"value":2960,"currency":"USD","value_usd":2960},"fwci":0.6623,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.74993264,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"175","issue":null,"first_page":"109295","last_page":"109295"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"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.9998000264167786,"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.9951000213623047,"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.9886999726295471,"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/inference","display_name":"Inference","score":0.7608009576797485},{"id":"https://openalex.org/keywords/belief-system","display_name":"Belief system","score":0.4376406669616699},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.43251535296440125},{"id":"https://openalex.org/keywords/statistical-physics","display_name":"Statistical physics","score":0.33487021923065186},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.26882368326187134},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.254478394985199},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.23669162392616272},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.18878024816513062},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.18248310685157776}],"concepts":[{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.7608009576797485},{"id":"https://openalex.org/C2994474205","wikidata":"https://www.wikidata.org/wiki/Q34394","display_name":"Belief system","level":2,"score":0.4376406669616699},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.43251535296440125},{"id":"https://openalex.org/C121864883","wikidata":"https://www.wikidata.org/wiki/Q677916","display_name":"Statistical physics","level":1,"score":0.33487021923065186},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.26882368326187134},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.254478394985199},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.23669162392616272},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.18878024816513062},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.18248310685157776}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/j.ijar.2024.109295","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.ijar.2024.109295","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"}],"best_oa_location":{"id":"doi:10.1016/j.ijar.2024.109295","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.ijar.2024.109295","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/G7889074681","display_name":null,"funder_award_id":"BE 1700/10-1","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G817864284","display_name":null,"funder_award_id":"427257555","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G8679709370","display_name":null,"funder_award_id":"SPP 1921","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"}],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":47,"referenced_works":["https://openalex.org/W229642387","https://openalex.org/W1481955269","https://openalex.org/W1542254017","https://openalex.org/W1591187701","https://openalex.org/W1973899684","https://openalex.org/W2071743233","https://openalex.org/W2080142817","https://openalex.org/W2108555151","https://openalex.org/W2111398557","https://openalex.org/W2167907160","https://openalex.org/W2406580145","https://openalex.org/W2944542618","https://openalex.org/W3080439228","https://openalex.org/W3085246250","https://openalex.org/W3092333072","https://openalex.org/W3116592067","https://openalex.org/W3134062867","https://openalex.org/W3188101853","https://openalex.org/W4200057034","https://openalex.org/W4230560363","https://openalex.org/W4285194090","https://openalex.org/W4288047170","https://openalex.org/W4296052719","https://openalex.org/W4312799551","https://openalex.org/W4375858896","https://openalex.org/W4382239797","https://openalex.org/W4388795428","https://openalex.org/W4393261826","https://openalex.org/W4401109422","https://openalex.org/W6628816561","https://openalex.org/W6635057358","https://openalex.org/W6676452973","https://openalex.org/W6676864441","https://openalex.org/W6684938800","https://openalex.org/W6713932524","https://openalex.org/W6762648217","https://openalex.org/W6779141644","https://openalex.org/W6781950655","https://openalex.org/W6799997444","https://openalex.org/W6810125696","https://openalex.org/W6840106522","https://openalex.org/W6842496042","https://openalex.org/W6847911426","https://openalex.org/W6852900716","https://openalex.org/W6854510294","https://openalex.org/W6858386609","https://openalex.org/W6863131256"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027","https://openalex.org/W2600246793","https://openalex.org/W4238204885"],"abstract_inverted_index":{"In":[0],"this":[1],"article,":[2],"we":[3,55,72,135],"investigate":[4],"approximations":[5,187],"of":[6,36,83,93,102,161,204,211,217,264,269,273],"the":[7,81,91,106,171,178,197,202,209,252],"inductive":[8,78,85,95,108,138,205,212,254,274],"inference":[9,20,38,46,79,86,96,109,139,162,176,206,213,255,275],"operator":[10,97,110,140,256],"system":[11,26,60,69,112,120,132,145,183,222,233,242,260,265,280],"W":[12,146,184,243],"that":[13,40,50,58,116,124,141,148,221,240,277],"has":[14],"been":[15],"shown":[16],"to":[17,23,43,157,225],"exhibit":[18],"desirable":[19],"properties":[21],"and":[22,28,32,62,90,114,122,147,167,174,185,208,235,259],"extend":[24],"both":[25],"Z,":[27],"thus":[29],"rational":[30,165],"closure,":[31],"c-inference.":[33],"For":[34],"versions":[35],"these":[37],"operators":[39,87,207,276],"are":[41,51,65],"extended":[42,59,63,68,129,131,144,151,168,182,224,232,236,241],"also":[44,194],"cover":[45,226],"from":[47],"belief":[48,229],"bases":[49],"only":[52],"weakly":[53,227],"consistent,":[54],"first":[56],"show":[57,123],"Z":[61,113,234,261],"c-inference":[64,115,169,258],"captured":[66,245],"by":[67,88,98,130,152,246],"W.":[70,133,266,281],"Then":[71],"introduce":[73,136],"general":[74],"functions":[75],"for":[76,196],"generating":[77],"operators:":[80],"combination":[82],"two":[84],"union,":[89],"completion":[92],"an":[94,99,137],"arbitrary":[100],"set":[101,216],"axioms.":[103],"We":[104],"construct":[105],"least":[107],"extending":[111,257],"is":[117,126,149,244],"closed":[118],"under":[119,214],"P":[121],"it":[125],"still":[127],"strictly":[128,142,150],"Furthermore,":[134],"extends":[143],"lexicographic":[153,175,248],"inference.":[154,249],"This":[155],"leads":[156],"a":[158,215,270],"comprehensive":[159,271],"map":[160,272],"relations":[163],"between":[164],"closure":[166,210],"on":[170,177],"one":[172],"side":[173,180],"other":[179],"with":[181],"its":[186,189],"at":[188],"centre,":[190],"where":[191],"all":[192],"relationships":[193],"hold":[195],"unextended":[198],"versions.":[199],"\u2022":[200,219,238,250,267],"Introducing":[201,251],"union":[203],"postulates.":[218],"Showing":[220,239],"W,":[223],"consistent":[228],"bases,":[230],"captures":[231],"c-Inference.":[237],"adapted":[247],"minimal":[253],"as":[262],"approximation":[263],"Development":[268],"approximate":[278],"(extended)":[279]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-02-03T00:53:05.648605","created_date":"2025-10-10T00:00:00"}