The parallel complexity of simple chain queries
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An eductive interpreter for the language Lucid
SIGPLAN '87 Papers of the Symposium on Interpreters and interpretive techniques
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
The generalized counting method for recursive logic queries
Theoretical Computer Science - First International Conference on Database Theory, Rome, September 1986
Expressiveness of restricted recursive queries
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
The eductive implementation of a three-dimensional spreadsheet
Software—Practice & Experience
Journal of Logic Programming
The parallel complexity of simple logic programs
Journal of the ACM (JACM)
Intensional logic programming
An analysis of magic sets and related optimization strategies for logic queries
Journal of the ACM (JACM)
Counting methods for cyclic relations
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Synthesis of Eureka Predicates for Developing Logic Programs
ESOP '90 Proceedings of the 3rd European Symposium on Programming
An Overview of Temporal and Modal Logic Programming
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Unfold/Fold Transformations For Definite Clause Programs
PLILP '94 Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming
On Transformations into Linear Database Logic Programs
Proceedings of the Second International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Higher-order functional languages and intensional logic
Journal of Functional Programming
First-order functional languages and intensional logic
Journal of Functional Programming
Branching-time logic programming: the language Cactus and its applications
Computer Languages
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
Temporal stratification tests for linear and branching-time deductive databases
Theoretical Computer Science
Hi-index | 0.00 |
Generality and scale are important but difficult issues in knowledge engineering. At the root of the difficulty lie two challenging issues: how to accumulate huge volumes of knowledge and how to support heterogeneous knowledge and processing. One approach ...