Skip to content
conftrace_

belief revision

52 papers

Papers

How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements IJCAI 2021 Multi-Agent Belief Base Revision IJCAI 2021 Updating the Belief Promotion Operator IJCAI 2021 Formulas Free From Inconsistency: An Atom-Centric Characterization in Priest's Minimally Inconsistent LP (Extended Abstract) IJCAI 2020 GenC: A Fast Tool for Applications Involving Belief Revision IJCAI 2020 On Computational Aspects of Iterated Belief Change IJCAI 2020 A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief IJCAI 2019 Belief Change and Non-Monotonic Reasoning Sans Compactness AAAI 2019 Belief Revision Operators with Varying Attitudes Towards Initial Beliefs IJCAI 2019 Belief Update without Compactness in Non-finitary Languages IJCAI 2019 Extension Removal in Abstract Argumentation – An Axiomatic Approach AAAI 2019 Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach AAAI 2019 Observations on Darwiche and Pearl's Approach for Iterated Belief Revision IJCAI 2019 Rational Inference Relations from Maximal Consistent Subsets Selection IJCAI 2019 Shielded Base Contraction (Extended Abstract) IJCAI 2019 Stratified Evidence Logics IJCAI 2019 What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario IJCAI 2019 Multi-agent Epistemic Planning with Common Knowledge IJCAI 2018 Possibilistic ASP Base Revision by Certain Input IJCAI 2018 Two Sides of the Same Coin: Belief Revision and Enforcing Arguments IJCAI 2018 A General Multi-agent Epistemic Planner Based on Higher-order Belief Change IJCAI 2017 A Unifying Framework for Probabilistic Belief Revision IJCAI 2017 Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract) IJCAI 2017 Epistemic-entrenchment Characterization of Parikh’s Axiom IJCAI 2017 Strong Syntax Splitting for Iterated Belief Revision IJCAI 2017