@inproceedings{3617faacd96941bc8ad0b1906bfb0276,
title = "Taking LEVI IDENTITY seriously: A plea for iterated belief contraction",
abstract = "Most work on iterated belief change has focused on iterated belief revision, namely how to compute (K*x)y. Historically however, belief revision can be defined in terms of belief expansion and belief contraction, where expansion and contraction are viewed as primary operators. Accordingly, our attention to iterated belief change should be focused on constructions like (Kx+)y+, (K x-)y+, (Kx +)y- and (Kx-) y-. The first two of these are relatively straightforward, but the last two are more problematic. Here we consider these latter, and formulate iterated belief change by employing the Levi identity and the Harper Identity as the guiding principles.",
keywords = "Belief Change, Information State Change, Iterated Belief Contraction",
author = "Abhaya Nayak and Randy Goebel and Mehmet Orgun and Tarn Pham",
year = "2006",
doi = "10.1007/11811220_26",
language = "English",
isbn = "3540370331",
volume = "4092 LNAI",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer, Springer Nature",
pages = "305--317",
booktitle = "Knowledge Science, Engineering and Management - First International Conference, KSEM 2006, Proceedings",
address = "United States",
note = "1st International Conference on Knowledge Science, Engineering and Management, KSEM 2006 ; Conference date: 05-08-2006 Through 08-08-2006",
}