Francesco Santini. Defeasible Logic Programming in Satisfiability Modulo CHR. In Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, editors, AI*IA 2015, Advances in Artificial Intelligence - XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings. Volume 9336 of Lecture Notes in Computer Science, pages 191-204, Springer, 2015. [doi]
Abstract is missing.