Logic for problem-solving
On the evaluation strategy of EDUCE
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Foundations of deductive databases and logic
Foundations of deductive databases and logic
Distributed processing of logic programs
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
A logical language for data and knowledge bases
A logical language for data and knowledge bases
Logical diagnosis of LDL programs
Logic programming
Deductive databases—theory meets practice
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
The magic of duplicates and aggregates
Proceedings of the sixteenth international conference on Very large databases
Reconstructing sets from interpoint distances (extended abstract)
SCG '90 Proceedings of the sixth annual symposium on Computational geometry
A new paradigm for parallel and distributed rule-processing
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
A framework for the parallel processing of Datalog queries
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Making deductive databases a practical technology: a step forward
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Data Engineering - Special issue on directions for future DBMS research and development
Low complexity aggregation in GraphLog and Datalog
ICDT '90 Proceedings of the third international conference on database theory on Database theory
Minimum and maximum predicates in logic programming
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Deductive databases: achievements and future directions
ACM SIGMOD Record - Directions for future database research & development
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
PROLOG Database System
Logic and Data Bases
An optimizing prolog front-end to a relational query system
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
IEEE Transactions on Knowledge and Data Engineering
Some recent developments in deductive databases
ACM SIGMOD Record
Nonmonotonic reasoning in LDL++
Logic-based artificial intelligence
A Graph-Based Data Model and its Ramifications
IEEE Transactions on Knowledge and Data Engineering
Data and knowledge in database systems: deductive databases
Handbook of data mining and knowledge discovery
Logic programming languages for databases and the web
A 25-year perspective on logic programming
Hi-index | 0.00 |