Author:
Kolaitis Phokion G.,Papadimitriou Christos H.
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Better Together: Unifying Datalog and Equality Saturation;Proceedings of the ACM on Programming Languages;2023-06-06
2. Datalog Unchained;Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2021-06-20
3. Data Provenance;Foundations and Trends® in Databases;2021
4. First-order Answer Set Programming as Constructive Proof Search;Theory and Practice of Logic Programming;2018-07
5. Answer set programming in intuitionistic logic;Indagationes Mathematicae;2018-02