{"id":"https://openalex.org/W3035747837","doi":"https://doi.org/10.24963/ijcai.2020/245","title":"On Computational Aspects of Iterated Belief Change","display_name":"On Computational Aspects of Iterated Belief Change","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3035747837","doi":"https://doi.org/10.24963/ijcai.2020/245","mag":"3035747837"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2020/245","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2020/245","pdf_url":"https://www.ijcai.org/proceedings/2020/0245.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.ijcai.org/proceedings/2020/0245.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007996490","display_name":"Nicolas Schwind","orcid":"https://orcid.org/0000-0001-7972-5984"},"institutions":[{"id":"https://openalex.org/I4210115519","display_name":"Centre de Recherche en Informatique","ror":"https://ror.org/020cdve92","country_code":"FR","type":"facility","lineage":["https://openalex.org/I190752583","https://openalex.org/I2746051580","https://openalex.org/I4210091621","https://openalex.org/I4210115519","https://openalex.org/I70768539"]},{"id":"https://openalex.org/I73613424","display_name":"National Institute of Advanced Industrial Science and Technology","ror":"https://ror.org/01703db54","country_code":"JP","type":"government","lineage":["https://openalex.org/I73613424"]}],"countries":["FR","JP"],"is_corresponding":true,"raw_author_name":"Nicolas Schwind","raw_affiliation_strings":["National Institute of Advanced Industrial Science and Technology, Tokyo, Japan","Centre de Recherche en Informatique de Lens"],"affiliations":[{"raw_affiliation_string":"National Institute of Advanced Industrial Science and Technology, Tokyo, Japan","institution_ids":["https://openalex.org/I73613424"]},{"raw_affiliation_string":"Centre de Recherche en Informatique de Lens","institution_ids":["https://openalex.org/I4210115519"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014807541","display_name":"S\u00e9bastien Konieczny","orcid":"https://orcid.org/0000-0002-2590-1222"},"institutions":[{"id":"https://openalex.org/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Sebastien Konieczny","raw_affiliation_strings":["CRIL - CNRS, Universit\u00e9 d'Artois, Lens, France","Centre National de la Recherche Scientifique"],"affiliations":[{"raw_affiliation_string":"CRIL - CNRS, Universit\u00e9 d'Artois, Lens, France","institution_ids":["https://openalex.org/I44563897","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Centre National de la Recherche Scientifique","institution_ids":["https://openalex.org/I1294671590"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017651167","display_name":"Jean-Marie Lagniez","orcid":"https://orcid.org/0000-0002-6557-4115"},"institutions":[{"id":"https://openalex.org/I4210115519","display_name":"Centre de Recherche en Informatique","ror":"https://ror.org/020cdve92","country_code":"FR","type":"facility","lineage":["https://openalex.org/I190752583","https://openalex.org/I2746051580","https://openalex.org/I4210091621","https://openalex.org/I4210115519","https://openalex.org/I70768539"]},{"id":"https://openalex.org/I4210123571","display_name":"Huawei Technologies (France)","ror":"https://ror.org/02rbzf697","country_code":"FR","type":"company","lineage":["https://openalex.org/I2250955327","https://openalex.org/I4210123571"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Marie Lagniez","raw_affiliation_strings":["Huawei Technologies Ltd, Boulogne-Billancourt, France","Centre de Recherche en Informatique de Lens"],"affiliations":[{"raw_affiliation_string":"Huawei Technologies Ltd, Boulogne-Billancourt, France","institution_ids":["https://openalex.org/I4210123571"]},{"raw_affiliation_string":"Centre de Recherche en Informatique de Lens","institution_ids":["https://openalex.org/I4210115519"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040136820","display_name":"Pierre Marquis","orcid":"https://orcid.org/0000-0002-7979-6608"},"institutions":[{"id":"https://openalex.org/I185839726","display_name":"Institut Universitaire de France","ror":"https://ror.org/055khg266","country_code":"FR","type":"education","lineage":["https://openalex.org/I185839726"]},{"id":"https://openalex.org/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre Marquis","raw_affiliation_strings":["CRIL - CNRS, Universit\u00e9 d'Artois, Lens, France","Institut Universitaire de France"],"affiliations":[{"raw_affiliation_string":"CRIL - CNRS, Universit\u00e9 d'Artois, Lens, France","institution_ids":["https://openalex.org/I44563897","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"Institut Universitaire de France","institution_ids":["https://openalex.org/I185839726"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5007996490"],"corresponding_institution_ids":["https://openalex.org/I4210115519","https://openalex.org/I73613424"],"apc_list":null,"apc_paid":null,"fwci":0.73429774,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.7556546,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1770","last_page":"1776"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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.9998999834060669,"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.9977999925613403,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9962000250816345,"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/iterated-function","display_name":"Iterated function","score":0.8820539712905884},{"id":"https://openalex.org/keywords/belief-revision","display_name":"Belief revision","score":0.8072750568389893},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.6655360460281372},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.5886009335517883},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.4813828766345978},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.46884381771087646},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.45910951495170593},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4495585262775421},{"id":"https://openalex.org/keywords/axiomatic-system","display_name":"Axiomatic system","score":0.4223668873310089},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.41196194291114807},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3235045075416565},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3147965967655182}],"concepts":[{"id":"https://openalex.org/C140479938","wikidata":"https://www.wikidata.org/wiki/Q5254619","display_name":"Iterated function","level":2,"score":0.8820539712905884},{"id":"https://openalex.org/C128913409","wikidata":"https://www.wikidata.org/wiki/Q3566063","display_name":"Belief revision","level":2,"score":0.8072750568389893},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6655360460281372},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5886009335517883},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.4813828766345978},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.46884381771087646},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.45910951495170593},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4495585262775421},{"id":"https://openalex.org/C125773388","wikidata":"https://www.wikidata.org/wiki/Q792542","display_name":"Axiomatic system","level":3,"score":0.4223668873310089},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.41196194291114807},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3235045075416565},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3147965967655182},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.24963/ijcai.2020/245","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2020/245","pdf_url":"https://www.ijcai.org/proceedings/2020/0245.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-03060348v1","is_oa":false,"landing_page_url":"https://cnrs.hal.science/hal-03060348","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":"Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}, Jul 2020, Yokohama, Japan. pp.1770-1776, ⟨10.24963/ijcai.2020/245⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2020/245","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2020/245","pdf_url":"https://www.ijcai.org/proceedings/2020/0245.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3035747837.pdf","grobid_xml":"https://content.openalex.org/works/W3035747837.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W164606784","https://openalex.org/W1505211902","https://openalex.org/W1518705996","https://openalex.org/W1521968029","https://openalex.org/W1545164166","https://openalex.org/W1556081571","https://openalex.org/W1557825796","https://openalex.org/W1558357271","https://openalex.org/W1569147915","https://openalex.org/W1593890373","https://openalex.org/W1803713705","https://openalex.org/W1900225261","https://openalex.org/W1974991613","https://openalex.org/W1999997889","https://openalex.org/W2004393085","https://openalex.org/W2021675560","https://openalex.org/W2049486611","https://openalex.org/W2072960772","https://openalex.org/W2078934260","https://openalex.org/W2088044688","https://openalex.org/W2090039116","https://openalex.org/W2134878247","https://openalex.org/W2148105490","https://openalex.org/W2149420462","https://openalex.org/W2218215560","https://openalex.org/W2295672679","https://openalex.org/W2746287783","https://openalex.org/W2754370877","https://openalex.org/W2911443164","https://openalex.org/W2949951668","https://openalex.org/W3101419665","https://openalex.org/W4360975204"],"related_works":["https://openalex.org/W2159662167","https://openalex.org/W1771651560","https://openalex.org/W1574677083","https://openalex.org/W2386897142","https://openalex.org/W4300725361","https://openalex.org/W1605727975","https://openalex.org/W2049486611","https://openalex.org/W4232127999","https://openalex.org/W1822066647","https://openalex.org/W1992181897"],"abstract_inverted_index":{"Iterated":[0],"belief":[1,8,25,55,58,68,118,143],"change":[2,19,26,144],"aims":[3],"to":[4,81],"determine":[5],"how":[6],"the":[7,50,74,100,106,139],"state":[9,119],"of":[10,18,23,44,66,73,108,141,147],"a":[11,16,63,116,124],"rational":[12],"agent":[13],"evolves":[14],"given":[15],"sequence":[17],"formulae.":[20],"Several":[21],"families":[22],"iterated":[24,54,142],"operators":[27,87],"(revision":[28],"operators,":[29],"improvement":[30,110],"operators)":[31],"have":[32],"been":[33],"pointed":[34],"out":[35],"so":[36],"far,":[37],"and":[38,79,90,133],"characterized":[39],"from":[40],"an":[41],"axiomatic":[42],"point":[43],"view.":[45],"This":[46],"paper":[47],"focuses":[48],"on":[49],"inference":[51,75,101],"problem":[52,76,102],"for":[53,84,99,105,127,145],"change,":[56],"when":[57],"states":[59],"are":[60,103],"represented":[61],"as":[62],"special":[64],"kind":[65],"stratified":[67],"bases.":[69],"The":[70],"computational":[71],"complexity":[72,97],"is":[77],"identified":[78],"shown":[80],"be":[82,121],"identical":[83],"all":[85],"revision":[86],"satisfying":[88],"Darwiche":[89],"Pearl's":[91],"(R*1-R*6)":[92],"postulates.":[93],"In":[94],"addition,":[95],"some":[96],"bounds":[98],"provided":[104],"family":[107],"soft":[109],"operators.":[111],"We":[112],"also":[113],"show":[114],"that":[115],"revised":[117],"can":[120],"computed":[122],"in":[123],"reasonable":[125],"time":[126],"large-sized":[128],"instances":[129],"using":[130],"SAT-based":[131],"algorithms,":[132],"we":[134],"report":[135],"empirical":[136],"results":[137],"showing":[138],"feasibility":[140],"bases":[146],"significant":[148],"sizes.":[149]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}