{"id":"https://openalex.org/W4385438024","doi":"https://doi.org/10.24963/kr.2023/25","title":"Credible Models of Belief Update","display_name":"Credible Models of Belief Update","publication_year":2023,"publication_date":"2023-07-31","ids":{"openalex":"https://openalex.org/W4385438024","doi":"https://doi.org/10.24963/kr.2023/25"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2023/25","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2023/25","pdf_url":"https://proceedings.kr.org/2023/25/kr2023-0025-ferme-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/25/kr2023-0025-ferme-et-al.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021273410","display_name":"Eduardo Ferm\u00e9","orcid":"https://orcid.org/0000-0002-9618-2421"},"institutions":[{"id":"https://openalex.org/I58028834","display_name":"Universidade da Madeira","ror":"https://ror.org/0442zbe52","country_code":"PT","type":"education","lineage":["https://openalex.org/I58028834"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Eduardo Ferm\u00e9","raw_affiliation_strings":["Universidade da Madeira and NOVA LINCS, Portugal"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidade da Madeira and NOVA LINCS, Portugal","institution_ids":["https://openalex.org/I58028834"]}]},{"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":"middle","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"]}]},{"author_position":"last","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"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3263,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.64257314,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"252","last_page":"261"},"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.9937000274658203,"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.9775000214576721,"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/credibility","display_name":"Credibility","score":0.7249394655227661},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.7238752245903015},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6942075490951538},{"id":"https://openalex.org/keywords/belief-revision","display_name":"Belief revision","score":0.5413143634796143},{"id":"https://openalex.org/keywords/limit","display_name":"Limit (mathematics)","score":0.5088646411895752},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.5049048066139221},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37003952264785767},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22738605737686157},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2020559012889862},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.11017227172851562}],"concepts":[{"id":"https://openalex.org/C2780224610","wikidata":"https://www.wikidata.org/wiki/Q1530061","display_name":"Credibility","level":2,"score":0.7249394655227661},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.7238752245903015},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6942075490951538},{"id":"https://openalex.org/C128913409","wikidata":"https://www.wikidata.org/wiki/Q3566063","display_name":"Belief revision","level":2,"score":0.5413143634796143},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.5088646411895752},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.5049048066139221},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37003952264785767},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22738605737686157},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2020559012889862},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.11017227172851562},{"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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.24963/kr.2023/25","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2023/25","pdf_url":"https://proceedings.kr.org/2023/25/kr2023-0025-ferme-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-04267944v1","is_oa":true,"landing_page_url":"https://univ-artois.hal.science/hal-04267944","pdf_url":"https://univ-artois.hal.science/hal-04267944/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.252-261, ⟨10.24963/kr.2023/25⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"doi:10.24963/kr.2023/25","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2023/25","pdf_url":"https://proceedings.kr.org/2023/25/kr2023-0025-ferme-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/G1473921676","display_name":null,"funder_award_id":"PTDC/CCICOM/4464/2020","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G6348741101","display_name":null,"funder_award_id":"UIDB/04516/2020","funder_id":"https://openalex.org/F4320331406","funder_display_name":"NOVA Laboratory for Computer Science and Informatics"},{"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"},{"id":"https://openalex.org/G8725369612","display_name":"NOVA Laboratory for Computer Science and Informatics","funder_award_id":"UIDB/04516/2020","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320331406","display_name":"NOVA Laboratory for Computer Science and Informatics","ror":null},{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"},{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4385438024.pdf"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W175258934","https://openalex.org/W592213923","https://openalex.org/W1493653360","https://openalex.org/W1521968029","https://openalex.org/W1594099509","https://openalex.org/W1602228819","https://openalex.org/W1982853556","https://openalex.org/W2004960927","https://openalex.org/W2007457223","https://openalex.org/W2021675560","https://openalex.org/W2026067321","https://openalex.org/W2072960772","https://openalex.org/W2085022454","https://openalex.org/W2118128239","https://openalex.org/W2136808187","https://openalex.org/W2149420462","https://openalex.org/W2168606704","https://openalex.org/W2398821235","https://openalex.org/W3101419665","https://openalex.org/W4241442473","https://openalex.org/W4288047109","https://openalex.org/W4301502809","https://openalex.org/W4360975204","https://openalex.org/W6606390394","https://openalex.org/W6606839634","https://openalex.org/W6629459384","https://openalex.org/W6631409921","https://openalex.org/W6657018165","https://openalex.org/W6712494839","https://openalex.org/W6758022139","https://openalex.org/W6785479648","https://openalex.org/W6821711403"],"related_works":["https://openalex.org/W2388687352","https://openalex.org/W1990162851","https://openalex.org/W2370187191","https://openalex.org/W2369854048","https://openalex.org/W2374291020","https://openalex.org/W2355907197","https://openalex.org/W3171042291","https://openalex.org/W2390961115","https://openalex.org/W3012350883","https://openalex.org/W2066876068"],"abstract_inverted_index":{"In":[0],"this":[1,50],"work,":[2],"we":[3,52,73],"address":[4],"one":[5,41,97],"important":[6],"problem":[7],"of":[8,69],"Katsuno":[9],"and":[10],"Mendelzon":[11],"update":[12,70],"operators,":[13,71],"that":[14,18,34,43,72,86],"is":[15,46,99],"to":[16,65,88],"require":[17],"any":[19,25,35],"updated":[20,39],"belief":[21],"base":[22],"must":[23,53],"entail":[24],"new":[26],"input":[27],"in":[28,94],"a":[29,66,83],"consistent":[30],"way.":[31],"This":[32],"assumes":[33],"situation":[36],"can":[37],"be":[38],"into":[40],"satisfying":[42],"input,":[44],"which":[45,95],"unrealistic.":[47],"To":[48],"solve":[49],"problem,":[51],"relax":[54],"either":[55],"the":[56,59,103],"success":[57],"or":[58],"consistency":[60],"principle.":[61],"Each":[62],"case":[63],"leads":[64],"distinct":[67],"family":[68,98],"semantically":[74],"characterize":[75],"by":[76],"plausibility":[77],"relations":[78],"over":[79],"possible":[80],"worlds,":[81],"considering":[82],"credibility":[84],"limit":[85],"aims":[87],"forbid":[89],"unrealistic":[90],"changes.":[91],"We":[92],"discuss":[93],"cases":[96],"more":[100],"adequate":[101],"than":[102],"other":[104],"one.":[105]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}