Communications of the ACM
Tabled evaluation with delaying for general logic programs
Journal of the ACM (JACM)
Polynomial-time computation via local inference relations
ACM Transactions on Computational Logic (TOCL)
State-saving transformations for efficient bottom-up
Annals of Mathematics and Artificial Intelligence
Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases
Journal of Automated Reasoning
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
A Model Generation Based Theorem Prover MGTP for First-Order Logic
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
SLDMagic - The Real Magic (With Applications to Web Queries)
CL '00 Proceedings of the First International Conference on Computational Logic
SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy
New Generation Computing
A logic-based approach to data integration
Theory and Practice of Logic Programming
Bottom-up abduction by model generation
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Flavors of KWQL, a Keyword Query Language for a Semantic Wiki
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
Precise complexity analysis for efficient datalog queries
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
More efficient datalog queries: subsumptive tabling beats magic sets
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Rules and logic programming for the web
RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data
Datalog relaunched: simulation unification and value invention
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
A Generalized QSQR Evaluation Method for Horn Knowledge Bases
ACM Transactions on Computational Logic (TOCL)
Foundations of rule-based query answering
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Hi-index | 0.02 |