# Forgetting in short and heterogeneous sequences of belief revisions

arXiv: https://arxiv.org/abs/2504.13986 · HTML: https://mlsanity.com/paper/2504.13986/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- First posted on arXiv 18 Apr 2025.

## Abstract (arXiv)

Forgetting a specific belief revision episode may not erase information because the other revisions may provide or entail the same information. Whether it does was proved coNP-hard for sequences of two arbitrary lexicographic revisions or arbitrarily long lexicographic Horn revisions. A polynomial algorithm is presented for the case of two lexicographic Horn revision. Heterogeneous sequences, including revisions other than lexicographic, were proved to belong in Delta2. Their previously proved coNP-hardness is enhanced to Dp-hardness.