Carlo Zaniolo. Expressing and Supporting Efficiently Greedy Algorithms as Locally Stratified Logic Programs. In Marina De Vos, Thomas Eiter, Yuliya Lierler, Francesca Toni, editors, Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015. Volume 1433 of CEUR Workshop Proceedings, CEUR-WS.org, 2015. [doi]
Abstract is missing.