Deductive databases: achievements and future directions
ACM SIGMOD Record - Directions for future database research & development
Graph-theoretic methods in database theory
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Inherent complexity of recursive queries
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The Branching-Time Transformation Technique for Chain Datalog Programs
Journal of Intelligent Information Systems
IEEE Transactions on Knowledge and Data Engineering
COMPLEX: An Object-Oriented Logic Programming System
IEEE Transactions on Knowledge and Data Engineering
A Deductive Environment for Dealing with Objects and Nonmonotonic Reasoning
IEEE Transactions on Knowledge and Data Engineering
LDL: A Technology for the Realization of Tightly Coupled Expert Database Systems
IEEE Expert: Intelligent Systems and Their Applications
A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Logic programming languages for databases and the web
A 25-year perspective on logic programming
Hi-index | 0.00 |