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
408 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Orthologic with Axioms;Proceedings of the ACM on Programming Languages;2024-01-05
2. Human Conditional Reasoning in Answer Set Programming;Theory and Practice of Logic Programming;2023-12-14
3. Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells;Annals of Mathematics and Artificial Intelligence;2023-07-31
4. Translation Competence;A Translation Theory of Knowledge Transfer;2023-04-27
5. Reimagining That Translators and Translations Make a Difference;A Translation Theory of Knowledge Transfer;2023-04-27