Logic programming revisited: logic programs as inductive definitions
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Logic programming and software maintenance
Annals of Mathematics and Artificial Intelligence
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
On the Expressibility of Stable Logic Programming
LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning
Locally Determined Logic Programs
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Locally Determined Logic Programs and Recursive Stable Models
Annals of Mathematics and Artificial Intelligence
On the expressibility of stable logic programming
Theory and Practice of Logic Programming
Logic programming with infinite sets
Annals of Mathematics and Artificial Intelligence
Compactness Properties for Stable Semantics of Logic Programs
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
ACM Transactions on Information and System Security (TISSEC)
Compactness Properties for Stable Semantics of Logic Programs
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Automata and Answer Set Programming
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Personalizing access control by generalizing access control
Proceedings of the 15th ACM symposium on Access control models and technologies
Effectively reasoning about infinite sets in answer set programming
Logic programming, knowledge representation, and nonmonotonic reasoning
Compactness Properties for Stable Semantics of Logic Programs
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Complexity of Recursive Normal Default Logic
Fundamenta Informaticae
The Complexity Of Local Stratification
Fundamenta Informaticae
Hi-index | 0.00 |