Resource-Bounded Belief Revision and Contraction - Alechina, Natasha; Jago, Mark; Logan, Brian (Declarative Agent Languages and Technologies III, 2006)
Keywords: Belief Revision; Contraction Operation; Revision Operator; Rule Instance; Work Memory