OLD resolution with tabulation
Proceedings on Third international conference on logic programming
Magic sets and other strange ways to implement logic programs (extended abstract)
PODS '86 Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems
The generalized counting method for recursive logic queries
Proceedings on International conference on database theory
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Performance evaluation of data intensive logic programs
Foundations of deductive databases and logic programming
A logical language for data and knowledge bases
A logical language for data and knowledge bases
Advances in the design of the BANG file
3rd International Conference, FODO 1989 on Foundations of Data Organization and Algorithms
Recursive query processing: the power of logic
Theoretical Computer Science
Managing complex objects in an extensible relational DBMS
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Right-, left-, and multi-linear rule transformations that maintain context information
Proceedings of the sixteenth international conference on Very large databases
A rule-based language with functions and sets
ACM Transactions on Database Systems (TODS)
Reactive consistency control in deductive databases
ACM Transactions on Database Systems (TODS)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Efficient bottom-up computation of queries on stratified databases
Journal of Logic Programming
Is there anything better than magic
Proceedings of the 1990 North American conference on Logic programming
Communications of the ACM
Analysis based constraint query optimization
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Constraint propagation for linear recursive rules
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Hy+: a Hygraph-based query and visualization system
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Implementation of magic-sets in a relational database system
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Modular stratification and magic sets for DATALOG programs with negation
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Starburst Mid-Flight: As the Dust Clears
IEEE Transactions on Knowledge and Data Engineering
A Production Rule-Based Approach to Deductive Databases
Proceedings of the Fourth International Conference on Data Engineering
MegaLog - A platform for developing Knowledge Base Management Systems
Proceedings of the Second International Symposium on Database Systems for Advanced Applications
LOLA - A Logic Language for Deductive Databases and its Implementation
Proceedings of the Second International Symposium on Database Systems for Advanced Applications
Version models for software configuration management
ACM Computing Surveys (CSUR)
A Layered Architecture for Uniform Version Management
IEEE Transactions on Software Engineering
Distributed mining of classification rules
Knowledge and Information Systems
Prolog as the first programming language
ACM SIGCSE Bulletin
Models and tools for managing development processes
Models and tools for managing development processes
Ontology query answering on databases
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
An ontology-based approach to heterogeneous verification of embedded control systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Case study: The furniture company: deductive databases and the scheduling problem
International Journal of Information Management: The Journal for Information Professionals
Hi-index | 0.00 |