Axiomatic characterizations are given for belief revision operators using interval orders and biorders, plus credibility-limited non-prioritized variants that discard inconsistent inputs.
For Disjunctive Overlap, we consider two cases •(a)α∨β /∈ C KB
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AI 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Interval Orders, Biorders and Credibility-limited Belief Revision
Axiomatic characterizations are given for belief revision operators using interval orders and biorders, plus credibility-limited non-prioritized variants that discard inconsistent inputs.