Mombourquette, B.; Muise, C.; McIlraith, S. Logical Filtering and Smoothing: State Estimation in Partially Observable Domains. AAAI 2017, 31.