Austin Parker Guillaume Infantes V. S. Subrahmanian John Grant An AGM-Based Belief Revision Mechanism for Probabilistic Spatio-Temporal Logics. 511-516 2008 AAAI conf/aaai/2008 db/conf/aaai/aaai2008.html#ParkerISG08