Communications of the ACM
Query evaluation under the well-founded semantics
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Modular stratification and magic sets for Datalog programs with negation
Journal of the ACM (JACM)
Tabled evaluation with delaying for general logic programs
Journal of the ACM (JACM)
ACM Transactions on Database Systems (TODS)
Tail recursion elimination in deductive databases
ACM Transactions on Database Systems (TODS)
An analysis of magic sets and related optimization strategies for logic queries
Journal of the ACM (JACM)
Constraint databases: promising technology or just intellectual exercise?
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
A Computational Model for Functional Logic Deductive Databases
Proceedings of the 17th International Conference on Logic Programming
Toward Practical Constraint Databases
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
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
Soft stratification for magic set based query evaluation in deductive databases
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Description logic programs: combining logic programs with description logic
WWW '03 Proceedings of the 12th international conference on World Wide Web
Handbook of automated reasoning
OWL DL vs. OWL flight: conceptual modeling and reasoning for the semantic Web
WWW '05 Proceedings of the 14th international conference on World Wide Web
Optimizing existential queries in stratifiable deductive databases
Proceedings of the 2005 ACM symposium on Applied computing
Compiling Comp Ling: practical weighted dynamic programming and the Dyna language
HLT '05 Proceedings of the conference on Human Language Technology and Empirical Methods in Natural Language Processing
Efficient trust management policy analysis from rules
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode
Electronic Notes in Theoretical Computer Science (ENTCS)
Focusing the Inverse Method for LF: A Preliminary Report
Electronic Notes in Theoretical Computer Science (ENTCS)
ICICS'06 Proceedings of the 8th international conference on Information and Communications Security
Finitely recursive programs: Decidability and bottom-up computation
AI Communications
Proofs you can believe in: proving equivalences between Prolog semantics in Coq
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
| Hi-index | 0.02 |