Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis

Rosamaria Barilaro, Francesco Ricca, Giorgio Terracina. Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis. In James P. Delgrande, Wolfgang Faber, editors, Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings. Volume 6645 of Lecture Notes in Computer Science, pages 217-222, Springer, 2011. [doi]

Abstract

Abstract is missing.