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]
@inproceedings{AlvianoLMP23,
title = {Generative Datalog with Stable Negation},
author = {Mario Alviano and Matthias Lanzinger and Michael Morak and Andreas Pieris},
year = {2023},
doi = {10.1145/3584372.3588656},
url = {https://doi.org/10.1145/3584372.3588656},
researchr = {https://researchr.org/publication/AlvianoLMP23},
cites = {0},
citedby = {0},
pages = {21-32},
booktitle = {Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, PODS 2023, Seattle, WA, USA, June 18-23, 2023},
editor = {Floris Geerts and Hung Q. Ngo 0001 and Stavros Sintos},
publisher = {ACM},
}