The alternating fixpoint of logic programs with negation
Cited by
124 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Finding Cross-Rule Optimization Bugs in Datalog Engines;Proceedings of the ACM on Programming Languages;2024-04-29
2. Convergence of datalog over (Pre-) Semirings;Journal of the ACM;2024-04-10
3. Datalog in Wonderland;ACM SIGMOD Record;2022-07-29
4. Semantic data management in P2P systems driven by self-esteem;Journal of Logic and Computation;2022-02-07
5. On Combining Ontologies and Rules;Reasoning Web. Declarative Artificial Intelligence;2022