Marco Gavanelli, Marco Alberti, Evelina Lamma. Integration of Abductive Reasoning and Constraint Optimization in SCIFF. In Patricia M. Hill, David Scott Warren, editors, Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings. Volume 5649 of Lecture Notes in Computer Science, pages 387-401, Springer, 2009. [doi]
Abstract is missing.