lp2cpp: A Tool For Compiling Stratified Logic Programs

Bernardo Cuteri, Alessandro Francesco De Rosis, Francesco Ricca. lp2cpp: A Tool For Compiling Stratified Logic Programs. In Floriana Esposito, Roberto Basili 0001, Stefano Ferilli, Francesca A. Lisi, editors, AI*IA 2017 Advances in Artificial Intelligence - XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings. Volume 10640 of Lecture Notes in Computer Science, pages 200-212, Springer, 2017. [doi]

Abstract

Abstract is missing.