conftrace_

belief revision

52 papers

Explore in graph

Co-occurring keywords

knowledge representation (301) epistemic logic (42) modal logic (55) agm postulate (6) iterated belief change (5) iterated revision (5) non-monotonic reasoning (26) belief change (11) formal logic (21) belief base (7)

Papers

Revision by Comparison for Ranking Functions IJCAI 2022
Multi-Agent Belief Base Revision IJCAI 2021
How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements 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
On Computational Aspects of Iterated Belief Change IJCAI 2020
GenC: A Fast Tool for Applications Involving Belief Revision IJCAI 2020
Extension Removal in Abstract Argumentation – An Axiomatic Approach AAAI 2019
Belief Change and Non-Monotonic Reasoning Sans Compactness AAAI 2019
Shielded Base Contraction (Extended Abstract) IJCAI 2019
A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief IJCAI 2019
What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario IJCAI 2019
Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach AAAI 2019
Belief Update without Compactness in Non-finitary Languages IJCAI 2019
Belief Revision Operators with Varying Attitudes Towards Initial Beliefs IJCAI 2019
Observations on Darwiche and Pearl's Approach for Iterated Belief Revision IJCAI 2019
Stratified Evidence Logics IJCAI 2019
Rational Inference Relations from Maximal Consistent Subsets Selection IJCAI 2019
Possibilistic ASP Base Revision by Certain Input IJCAI 2018
Multi-agent Epistemic Planning with Common Knowledge 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
Strong Syntax Splitting for Iterated Belief Revision IJCAI 2017
Epistemic-entrenchment Characterization of Parikh’s Axiom IJCAI 2017
Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract) IJCAI 2017