ACM Transactions on Database Systems (TODS)
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
A Correct Logic Programming Computation of Default Logic Extensions
Journal of Automated Reasoning
Default Logic as a Query Language
IEEE Transactions on Knowledge and Data Engineering
Hypothesis-Founded Semantics for Datalog Programs with Negation
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Key Constraints and Monotonic Aggregates in Deductive Databases
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Between Well-Founded Semantics and Stable Model Semantics
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Here's the Beef: Answer Set Programming !
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
From the textual description of an accident to its causes
Artificial Intelligence
Dealing Automatically with Exceptions by Introducing Specificity in ASP
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Minimal and absent information in contexts
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Magic sets and their application to data integration
ICDT'05 Proceedings of the 10th international conference on Database Theory
A Classification Theory Of Semantics Of Normal Logic Programs: Ii. Weak Properties
Fundamenta Informaticae
Fundamenta Informaticae
Hi-index | 0.00 |