Generative Datalog with Stable Negation-Reference-Cited by-同舟云学术

Generative Datalog with Stable Negation

Published:2023-06-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems
language:
Short-container-title:

Author:

Alviano Mario¹^ORCID,Lanzinger Matthias²^ORCID,Morak Michael³^ORCID,Pieris Andreas⁴^ORCID

Affiliation:

1. University of Calabria, Rende, Italy

2. University of Oxford, Oxford, United Kingdom

3. University of Klagenfurt, Klegenfurt, Austria

4. University of Edinburgh & University of Cyprus, Edinburgh, United Kingdom

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3584372.3588656

Reference31 articles.

1. Mario Alviano Michael Morak and Andreas Pieris. 2017. Stable Model Semantics for Tuple-Generating Dependencies Revisited. In PODS. 377--388. Mario Alviano Michael Morak and Andreas Pieris. 2017. Stable Model Semantics for Tuple-Generating Dependencies Revisited. In PODS. 377--388.

2. Probabilistic reasoning with answer sets

3. Declarative Probabilistic Programming with Datalog;Vince Bá;ACM Trans. Database Syst.,2017

4. Pyro: Deep Universal Probabilistic Programming;Bingham Eli;J. Mach. Learn. Res.,2019

5. Andrea Cal ` i, Georg Gottlob , Thomas Lukasiewicz, Bruno Marnette, and Andreas Pieris. 2010 . Datalog/-: A Family of Logical Knowledge Representation and Query Languages for New Applications. In LICS. 228--242. Andrea Cal`i, Georg Gottlob, Thomas Lukasiewicz, Bruno Marnette, and Andreas Pieris. 2010. Datalog/-: A Family of Logical Knowledge Representation and Query Languages for New Applications. In LICS. 228--242.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Generative Datalog and Answer Set Programming – Extended Abstract;Logics in Artificial Intelligence;2023