Author:
Apt Krzysztof R.,Blair Howard A.,Walker Adrian
Reference42 articles.
1. Negation as Failure: Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions;Aquilano;Journal of Automated Reasoning,1986
2. Artificial Intelligence [1980] 13(1)
3. Contributions to the Theory of Logic Programming;Apt;JACM,1982
4. Apt, K. R. and Pugin, J. M. [1987] Maintenance of Stratified Databases Viewed as a Belief Revision System, in Proc. of the 6th ACM Symposium on Principles of Database Systems, San Diego, CA, 136–145
5. Recursion Theoretic Complexity of the Semantics of Predicate Logic as a Programming Language;Blair;Information and Control,1982
Cited by
412 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. IASCAR: Incremental Answer Set Counting by Anytime Refinement;Theory and Practice of Logic Programming;2024-02-21
2. Orthologic with Axioms;Proceedings of the ACM on Programming Languages;2024-01-05
3. Learning Assumption-Based Argumentation Frameworks;Lecture Notes in Computer Science;2024
4. Algebraic Connection Between Logic Programming and Machine Learning (Extended Abstract);Lecture Notes in Computer Science;2024
5. The Logical Level;An Introduction to Knowledge Graphs;2024