Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP

Joaquín Arias, Manuel Carro. Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP. In José Júlio Alferes, Moa Johansson, editors, Practical Aspects of Declarative Languages - 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings. Volume 11372 of Lecture Notes in Computer Science, pages 98-114, Springer, 2019. [doi]

Abstract

Abstract is missing.