{"id":"https://openalex.org/W7160393453","doi":"https://doi.org/10.1613/jair.1.20040","title":"Representation Results for Belief Update in Closed Fragments of Propositional Logic","display_name":"Representation Results for Belief Update in Closed Fragments of Propositional Logic","publication_year":2026,"publication_date":"2026-04-29","ids":{"openalex":"https://openalex.org/W7160393453","doi":"https://doi.org/10.1613/jair.1.20040"},"language":null,"primary_location":{"id":"doi:10.1613/jair.1.20040","is_oa":true,"landing_page_url":"https://doi.org/10.1613/jair.1.20040","pdf_url":null,"source":{"id":"https://openalex.org/S139930977","display_name":"Journal of Artificial Intelligence Research","issn_l":"1076-9757","issn":["1076-9757","1943-5037"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310315760","host_organization_name":"AI Access Foundation","host_organization_lineage":["https://openalex.org/P4310315760"],"host_organization_lineage_names":["AI Access Foundation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Artificial Intelligence Research","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1613/jair.1.20040","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090333344","display_name":"Nadia Creignou","orcid":"https://orcid.org/0009-0005-6522-6363"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nadia Creignou","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0005-6522-6363","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027573671","display_name":"Adrian Haret","orcid":"https://orcid.org/0000-0002-0247-5590"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Adrian Haret","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-0247-5590","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112258375","display_name":"Odile Papini","orcid":"https://orcid.org/0000-0002-7537-5822"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Odile Papini","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-7537-5822","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5006053030","display_name":"Stefan Woltran","orcid":"https://orcid.org/0000-0003-1594-8972"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Stefan Woltran","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-1594-8972","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.69829752,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"85","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9121999740600586,"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.9121999740600586,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.042399998754262924,"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/T10126","display_name":"Logic, programming, and type systems","score":0.006300000008195639,"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/axiom","display_name":"Axiom","score":0.7228000164031982},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.6913999915122986},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.6118000149726868},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.546999990940094},{"id":"https://openalex.org/keywords/propositional-formula","display_name":"Propositional formula","score":0.4666000008583069},{"id":"https://openalex.org/keywords/belief-revision","display_name":"Belief revision","score":0.4438000023365021},{"id":"https://openalex.org/keywords/propositional-variable","display_name":"Propositional variable","score":0.44119998812675476},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.430400013923645},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.42590001225471497},{"id":"https://openalex.org/keywords/well-formed-formula","display_name":"Well-formed formula","score":0.423799991607666}],"concepts":[{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.7228000164031982},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.6913999915122986},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.6118000149726868},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.582099974155426},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.546999990940094},{"id":"https://openalex.org/C74640108","wikidata":"https://www.wikidata.org/wiki/Q1372900","display_name":"Propositional formula","level":5,"score":0.4666000008583069},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45980000495910645},{"id":"https://openalex.org/C128913409","wikidata":"https://www.wikidata.org/wiki/Q3566063","display_name":"Belief revision","level":2,"score":0.4438000023365021},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.44119998812675476},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.430400013923645},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.42590001225471497},{"id":"https://openalex.org/C191222856","wikidata":"https://www.wikidata.org/wiki/Q655328","display_name":"Well-formed formula","level":5,"score":0.423799991607666},{"id":"https://openalex.org/C2776230367","wikidata":"https://www.wikidata.org/wiki/Q7314222","display_name":"Representation theorem","level":2,"score":0.3871999979019165},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.37950000166893005},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3790999948978424},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36410000920295715},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3513000011444092},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.3508000075817108},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.3314000070095062},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.32589998841285706},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.31949999928474426},{"id":"https://openalex.org/C162670838","wikidata":"https://www.wikidata.org/wiki/Q6057295","display_name":"Interval temporal logic","level":3,"score":0.29989999532699585},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.2930000126361847},{"id":"https://openalex.org/C164953516","wikidata":"https://www.wikidata.org/wiki/Q320357","display_name":"Closed set","level":2,"score":0.29159998893737793},{"id":"https://openalex.org/C100481476","wikidata":"https://www.wikidata.org/wiki/Q4055684","display_name":"First-order logic","level":2,"score":0.28850001096725464},{"id":"https://openalex.org/C203264685","wikidata":"https://www.wikidata.org/wiki/Q2328174","display_name":"Atomic formula","level":2,"score":0.2865999937057495},{"id":"https://openalex.org/C173125200","wikidata":"https://www.wikidata.org/wiki/Q5275729","display_name":"Modal \u03bc-calculus","level":5,"score":0.2847000062465668},{"id":"https://openalex.org/C46274116","wikidata":"https://www.wikidata.org/wiki/Q185521","display_name":"Truth value","level":2,"score":0.28450000286102295},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.27869999408721924},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.2745000123977661},{"id":"https://openalex.org/C182359184","wikidata":"https://www.wikidata.org/wiki/Q1756942","display_name":"Partial function","level":2,"score":0.2727000117301941},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.27059999108314514},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.263700008392334},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.2522999942302704}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1613/jair.1.20040","is_oa":true,"landing_page_url":"https://doi.org/10.1613/jair.1.20040","pdf_url":null,"source":{"id":"https://openalex.org/S139930977","display_name":"Journal of Artificial Intelligence Research","issn_l":"1076-9757","issn":["1076-9757","1943-5037"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310315760","host_organization_name":"AI Access Foundation","host_organization_lineage":["https://openalex.org/P4310315760"],"host_organization_lineage_names":["AI Access Foundation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Artificial Intelligence Research","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1613/jair.1.20040","is_oa":true,"landing_page_url":"https://doi.org/10.1613/jair.1.20040","pdf_url":null,"source":{"id":"https://openalex.org/S139930977","display_name":"Journal of Artificial Intelligence Research","issn_l":"1076-9757","issn":["1076-9757","1943-5037"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310315760","host_organization_name":"AI Access Foundation","host_organization_lineage":["https://openalex.org/P4310315760"],"host_organization_lineage_names":["AI Access Foundation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Artificial Intelligence Research","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Fragments":[0],"of":[1,105],"propositional":[2,50],"logic,":[3],"i.e.,":[4],"tailored":[5],"sub-languages":[6],"designed":[7],"for":[8],"neatly":[9],"structured":[10],"data,":[11],"are":[12,112,143],"relevant":[13],"in":[14,23,48,94,138],"many":[15,68],"practical":[16],"settings.":[17],"This":[18],"paper":[19],"studies":[20],"belief":[21],"update":[22,38,53,118,150],"fragments":[24,70,139],"(e.g.,":[25,75],"Horn,":[26],"Krom,":[27],"affine)":[28],"that":[29],"obey":[30],"a":[31,103],"desirable":[32],"semantic":[33],"closure":[34,79],"condition.":[35],"We":[36],"assume":[37],"is":[39,102],"guided":[40,58],"by":[41,59,121],"the":[42,82,109,117,129],"well-known":[43],"Katsuno-Mendelzon":[44],"(KM)":[45],"postulates,":[46],"which":[47],"full":[49],"logic":[51],"characterize":[52],"operators":[54,119],"as":[55],"choice":[56],"functions":[57],"total":[60,124],"or":[61,125],"partial":[62,126,141],"preorders":[63,127,142],"over":[64],"possible":[65],"worlds.":[66],"Because":[67],"useful":[69],"cannot":[71],"express":[72],"every":[73],"connective":[74],"they":[76,114],"often":[77],"lack":[78],"under":[80],"disjunction),":[81],"KM":[83,110],"axioms":[84],"must":[85],"be":[86],"rephrased":[87],"and":[88,145],"supplemented":[89],"to":[90],"keep":[91],"updates":[92],"rational":[93],"these":[95],"less":[96],"expressive":[97],"environments.":[98],"Our":[99],"main":[100],"result":[101],"set":[104],"representation":[106],"theorems:":[107],"once":[108],"postulates":[111],"adjusted,":[113],"capture":[115],"exactly":[116],"generated":[120],"suitably":[122],"constrained":[123],"within":[128],"fragment.":[130],"In":[131],"addition,":[132],"we":[133],"clarify":[134],"how":[135],"revision":[136],"works":[137],"when":[140],"allowed":[144],"also":[146],"present":[147],"concrete,":[148],"fragment-friendly":[149],"operators.":[151]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-05-07T00:00:00"}