ACM Computing Surveys (CSUR)
Splitting Finite Default Theories: A Comparison of Two Approaches
Journal of Logic, Language and Information
Representing Knowledge in A-Prolog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Revising aggregation hierarchies in OLAP: a rule-based approach
Data & Knowledge Engineering - Special issue: Advances in OLAP
Locally Determined Logic Programs and Recursive Stable Models
Annals of Mathematics and Artificial Intelligence
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
Compactness Properties for Stable Semantics of Logic Programs
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
How Can Agents Know What to Assume When?
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Knowledge Base Stratification and Merging Based on Degree of Support
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A hierarchy of tractable subsets for computing stable models
Journal of Artificial Intelligence Research
Computing default logic extensions: an implementation
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
A comparison of two approaches to splitting default theories
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Stratification for variants of default logic
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of 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
Computation of Extensions of Seminormal Default Theories
Fundamenta Informaticae
Hi-index | 0.00 |