Lilith Mattei, Alessandro Antonucci 0001, Alessandro Facchini. Dalal's Revision in Sentential Decision Diagrams. In Proceedings of the International Symposium on Artificial Intelligence and Mathematics 2022 (ISAIM 2022), Fort Lauderdale, Florida, USA, January 3-5, 2022. 2022. [doi]
Abstract is missing.