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]

Authors

Mario Alviano

This author has not been identified. Look up 'Mario Alviano' in Google

Matthias Lanzinger

This author has not been identified. Look up 'Matthias Lanzinger' in Google

Michael Morak

This author has not been identified. Look up 'Michael Morak' in Google

Andreas Pieris

This author has not been identified. Look up 'Andreas Pieris' in Google