Communications of the ACM
Graphical interface for logic programming
ACM SIGART Bulletin
Experimental Results on Subgoal Reordering
IEEE Transactions on Computers
Estimating the size of generalized transitive closures
VLDB '89 Proceedings of the 15th international conference on Very large data bases
A methodology for detecting shared variable dependencies in logic programs
Journal of Symbolic Computation
Avoiding Cartesian products in programs for multiple joins (extended abstract)
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ACM Transactions on Information Systems (TOIS)
Avoiding Cartesian products for multiple joins
Journal of the ACM (JACM)
Learning investment functions for controlling the utility of control knowledge
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Query optimization for repository-based applications
Proceedings of the 1999 ACM symposium on Applied computing
Knowledge-based query processing in object bases
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
ACM Computing Surveys (CSUR)
State-saving transformations for efficient bottom-up
Annals of Mathematics and Artificial Intelligence
Efficient Reordering of Prolog Programs
IEEE Transactions on Knowledge and Data Engineering
An Optimization Algorithm for Production Systems
IEEE Transactions on Knowledge and Data Engineering
Journal of Artificial Intelligence Research
The divide-and-conquer subgoal-ordering algorithm for speeding up logic inference
Journal of Artificial Intelligence Research
Incorporating redundant learned rules: a preliminary formal analysis of EBL
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
TREE: the heuristic driven join strategy of a RETE-like matcher
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Optimizing backtrack search for all solutions to conjunctive problems
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Computational costs versus benefits of control reasoning
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Computational costs versus benefits of control reasoning
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
The complexity of constraint satisfaction in prolog
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Is there any need for domain-dependent control information?
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
When does it pay off to use sophisticated entailment engines in ILP?
ILP'10 Proceedings of the 20th international conference on Inductive logic programming
| Hi-index | 0.02 |