Alexandre Niveau, Héctor Palacios, Sergej Scheck, Bruno Zanuttini. A knowledge compilation perspective on queries and transformations for belief tracking. Annals of Mathematics and Artificial Intelligence, 92(5):1113-1159, October 2024. [doi]
Abstract is missing.