Generative Datalog with Stable Negation

Mario Alviano, Matthias Lanzinger, Michael Morak, Andreas Pieris. Generative Datalog with Stable Negation. In Floris Geerts, Hung Q. Ngo 0001, Stavros Sintos, editors, Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2023, Seattle, WA, USA, June 18-23, 2023. pages 21-32, ACM, 2023. [doi]

Abstract

Abstract is missing.