Immortal: A Model-Based Belief Revision System.

Seng-cho Timothy Chou, Marianne Winslett

Browse the full KR paper archive.