Co-occurring keywords · papers mentioning both
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