Publikationen 2016
-
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)