conftrace_

semantic characterization

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

logic programming (2) belief revision (2) possibilistic logic (1) partial preorder (1) iterated update (1) iterated belief (1) faithful assignment (1) agm postulate (1) km postulate (1) strong equivalence (1)

Papers

On the Logic of Theory Change Iteration of KM-Update, Revised IJCAI 2024 Forgetting Auxiliary Atoms in Forks (Extended Abstract) IJCAI 2020 Possibilistic ASP Base Revision by Certain Input IJCAI 2018