2016 Publications

• 2016
  • I. Alvarez, R. Reuillon, R. De Aldama : “Viabilitree: A kd-tree Framework for Viability-based Decision”, (2016)
  • Y. Yang, R. De Aldama, J. Atif, I. Bloch : “Efficient Semantic Tableau Generation for Abduction in Propositional Logic”, ECAI 16, The Hague, Netherlands, pp. 1756-1757 (2016)