MoL-2003-03: Guillaume Aucher A Combined System for Update Logic and Belief Revision 1.Abstract, 2.Full Text (PDF), 3.Full Text (PS). < Back