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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.