Yaniv Aspis, Krysia Broda, Alessandra Russo. Tensor-Based Abduction in Horn Propositional Programs. In Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, editors, Up-and-Coming and Short Papers of the 28th International Conference on Inductive Logic Programming (ILP 2018), Ferrara, Italy, September 2-4, 2018. Volume 2206 of CEUR Workshop Proceedings, pages 68-75, CEUR-WS.org, 2018. [doi]
Abstract is missing.