{"id":"https://openalex.org/W4385438424","doi":"https://doi.org/10.24963/kr.2023/61","title":"Iteration of Iterated Belief Revision","display_name":"Iteration of Iterated Belief Revision","publication_year":2023,"publication_date":"2023-07-31","ids":{"openalex":"https://openalex.org/W4385438424","doi":"https://doi.org/10.24963/kr.2023/61"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2023/61","is_oa":true,"landing_page_url":"http://dx.doi.org/10.24963/kr.2023/61","pdf_url":"https://proceedings.kr.org/2023/61/kr2023-0061-schwind-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2023/61/kr2023-0061-schwind-et-al.pdf","any_repository_has_fulltext":true},"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/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":["JP"],"is_corresponding":false,"raw_author_name":"Nicolas Schwind","raw_affiliation_strings":["National Institute of Advanced Industrial Science and Technology, Tokyo, Japan","AIST - National Institute of Advanced Industrial Science and Technology (Higashi, Tsukuba, Ibaraki 305-8561 - Japan)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Institute of Advanced Industrial Science and Technology, Tokyo, Japan","institution_ids":["https://openalex.org/I73613424"]},{"raw_affiliation_string":"AIST - National Institute of Advanced Industrial Science and Technology (Higashi, Tsukuba, Ibaraki 305-8561 - Japan)","institution_ids":["https://openalex.org/I73613424"]}]},{"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/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"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"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"S\u00e9bastien Konieczny","raw_affiliation_strings":["CRIL - CNRS - Universit\u00e9 d'Artois, Lens, France","CNRS - Centre National de la Recherche Scientifique (France)"],"raw_orcid":null,"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":"CNRS - Centre National de la Recherche Scientifique (France)","institution_ids":["https://openalex.org/I1294671590"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018597548","display_name":"Ram\u00f3n Pino P\u00e9rez","orcid":"https://orcid.org/0000-0002-2912-263X"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"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"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Ram\u00f3n Pino P\u00e9rez","raw_affiliation_strings":["CRIL - CNRS - Universit\u00e9 d'Artois, Lens, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CRIL - CNRS - Universit\u00e9 d'Artois, Lens, France","institution_ids":["https://openalex.org/I44563897","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4895,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.70389672,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"625","last_page":"634"},"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9934999942779541,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9872000217437744,"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.8682993650436401},{"id":"https://openalex.org/keywords/generalization","display_name":"Generalization","score":0.8096144199371338},{"id":"https://openalex.org/keywords/belief-revision","display_name":"Belief revision","score":0.801733672618866},{"id":"https://openalex.org/keywords/pearl","display_name":"Pearl","score":0.5668380260467529},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5024898052215576},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.48248934745788574},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4334476590156555},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3707634508609772},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2662851810455322},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.17112433910369873}],"concepts":[{"id":"https://openalex.org/C140479938","wikidata":"https://www.wikidata.org/wiki/Q5254619","display_name":"Iterated function","level":2,"score":0.8682993650436401},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.8096144199371338},{"id":"https://openalex.org/C128913409","wikidata":"https://www.wikidata.org/wiki/Q3566063","display_name":"Belief revision","level":2,"score":0.801733672618866},{"id":"https://openalex.org/C2779251273","wikidata":"https://www.wikidata.org/wiki/Q43436","display_name":"Pearl","level":2,"score":0.5668380260467529},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5024898052215576},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.48248934745788574},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4334476590156555},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3707634508609772},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2662851810455322},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.17112433910369873},{"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/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.24963/kr.2023/61","is_oa":true,"landing_page_url":"http://dx.doi.org/10.24963/kr.2023/61","pdf_url":"https://proceedings.kr.org/2023/61/kr2023-0061-schwind-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-04267940v1","is_oa":true,"landing_page_url":"https://univ-artois.hal.science/hal-04267940","pdf_url":"https://univ-artois.hal.science/hal-04267940/document","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"20th International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}, Sep 2023, Rhodes, Greece. pp.625-634, ⟨10.24963/kr.2023/61⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"doi:10.24963/kr.2023/61","is_oa":true,"landing_page_url":"http://dx.doi.org/10.24963/kr.2023/61","pdf_url":"https://proceedings.kr.org/2023/61/kr2023-0061-schwind-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G677325646","display_name":null,"funder_award_id":"ANR-20-CHIA-0028","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4385438424.pdf"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W133924321","https://openalex.org/W1556081571","https://openalex.org/W1569147915","https://openalex.org/W1725094551","https://openalex.org/W1971470961","https://openalex.org/W1974212563","https://openalex.org/W2007457223","https://openalex.org/W2008360100","https://openalex.org/W2021675560","https://openalex.org/W2049486611","https://openalex.org/W2072960772","https://openalex.org/W2080142817","https://openalex.org/W2111398557","https://openalex.org/W2149420462","https://openalex.org/W2167907160","https://openalex.org/W3081183908","https://openalex.org/W3101419665","https://openalex.org/W4288047109","https://openalex.org/W4311650948","https://openalex.org/W4360975204","https://openalex.org/W4385438424","https://openalex.org/W4388298802","https://openalex.org/W6606839634","https://openalex.org/W6631409921","https://openalex.org/W6652466446","https://openalex.org/W6758022139","https://openalex.org/W6758933914","https://openalex.org/W6785479648","https://openalex.org/W6808363812","https://openalex.org/W6847177259"],"related_works":["https://openalex.org/W2159662167","https://openalex.org/W1574677083","https://openalex.org/W2049486611","https://openalex.org/W4388092718","https://openalex.org/W168265148","https://openalex.org/W3081183908","https://openalex.org/W2072960772","https://openalex.org/W2784232585","https://openalex.org/W1562363746","https://openalex.org/W190691280"],"abstract_inverted_index":{"The":[0],"behavior":[1],"of":[2,17,51],"Iterated":[3],"Belief":[4],"Revision":[5],"operators":[6,70,73,86],"with":[7],"respect":[8],"to":[9,39,54],"iteration":[10,32],"has":[11],"been":[12],"characterized":[13],"by":[14,21],"a":[15,30,49],"set":[16],"four":[18],"postulates":[19,26,53],"proposed":[20],"Darwiche":[22],"and":[23,34,58],"Pearl.":[24],"These":[25],"give":[27],"constraints":[28],"on":[29,77,80],"single":[31],"step,":[33],"this":[35,45,56,89],"is":[36,66],"not":[37],"enough":[38],"forbid":[40],"some":[41],"pathological":[42],"operators.":[43],"In":[44],"paper,":[46],"we":[47,59],"propose":[48],"generalization":[50],"these":[52],"solve":[55],"issue":[57],"study":[60],"its":[61],"implications.":[62],"One":[63],"surprising":[64],"consequence":[65],"that,":[67],"for":[68,72],"TPO-representable":[69],"(i.e.,":[71],"defined":[74],"as":[75],"transitions":[76],"total":[78],"pre-orders":[79],"interpretations),":[81],"there":[82],"are":[83],"very":[84],"few":[85],"that":[87],"satisfy":[88],"generalization.":[90]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}