Implementation of logical query languages for databases
ACM Transactions on Database Systems (TODS)
Notions of dependency satisfaction
Journal of the ACM (JACM) - The MIT Press scientific computation series
Logic and databases: a critique
ACM SIGACT News
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
Formal representation of a conceptual knowledge model for a database based expert system
SIGCPR '85 Proceedings of the twenty-first annual conference on Computer personnel research
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
Logic and databases: a response
ACM SIGACT News
Logic and databases: a critique
ACM SIGPLAN Notices
Logic and databases: a response
ACM SIGPLAN Notices
Database theory—past and future
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A data-driven model for a subset of logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Query optimization by simulated annealing
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Non-deterministic modelling of logical queries in deductive databases
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Towards fully-computerized database maintenance for non-traditional appliances
ACM '87 Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow
ACM Transactions on Database Systems (TODS)
Types and persistence in database programming languages
ACM Computing Surveys (CSUR)
Decidable optimization problems for database logic programs
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
A parallel multiprocessor machine dedicated to relational and deductive data bases
SIGIR '88 Proceedings of the 11th annual international ACM SIGIR conference on Research and development in information retrieval
Natural language querying of historical databases
Computational Linguistics
A deductive database based on aristotelian logic
Journal of Symbolic Computation
Expressiveness of restricted recursive queries
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
Safety of datalog queries over infinite databases
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the first-order expressibility of recursive queries
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An Architecture for High Performance Engineering Information Systems
IEEE Transactions on Software Engineering
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Fragmenting Relations Horizontally Using a Knowledge-Based Approach
IEEE Transactions on Software Engineering
Communicating control knowledge to a deductive database system
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
The impact of logic programming on databases
Communications of the ACM
On the equivalence of recursive and nonrecursive datalog programs
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Syntactical characterization of a subset of domain-independent formulas
Journal of the ACM (JACM)
Development and evaluation of an application in a deductive environment
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Undecidable optimization problems for database logic programs
Journal of the ACM (JACM)
On the complexity of equivalence between recursive and nonrecursive Datalog programs
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Unique complements and decompositions of database schemata
Journal of Computer and System Sciences
Describing Prolog by its interpretation and compilation
Communications of the ACM
Decidability and undecidability results for boundedness of linear recursive queries
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
On the foundations of the universal relation model
ACM Transactions on Database Systems (TODS)
Partitioning a relational database horizontally using a knowledge-based approach
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
On database systems development through logic
ACM Transactions on Database Systems (TODS)
Answering queries without revealing secrets
ACM Transactions on Database Systems (TODS)
Formal semantics for time in databases
ACM Transactions on Database Systems (TODS)
A foundation of CODD's relational maybe-operations
ACM Transactions on Database Systems (TODS)
PROLOG applications for database design with the information center
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
Equality and Domain Closure in First-Order Databases
Journal of the ACM (JACM)
A hardware pipeline algorithm for relational database operation
ISCA '85 Proceedings of the 12th annual international symposium on Computer architecture
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Relating sentences and semantic networks with procedural logic
Communications of the ACM
Introduction to logic-based artificial intelligence
Logic-based artificial intelligence
Programming primitives for database languages
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Incomplete information and dependencies in relational databases
SIGMOD '83 Proceedings of the 1983 ACM SIGMOD international conference on Management of data
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Inverting relational expressions: a uniform and natural technique for various database problems
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Horn clauses and the fixpoint query hierarchy
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Notions of dependency satisfaction
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
An Algorithm for Dual Transformation in First-Order Logic
Journal of Automated Reasoning
Browsing in a loosely structured database
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
An optimizing prolog front-end to a relational query system
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Relational algebras, logic, and functional programming
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
An Advanced Database Accelerator
IEEE Micro
What You Always Wanted to Know About Datalog (And Never Dared to Ask)
IEEE Transactions on Knowledge and Data Engineering
On the Multiple-Query Optimization Problem
IEEE Transactions on Knowledge and Data Engineering
The Design, Implementation, and Performance Evaluation of BERMUDA
IEEE Transactions on Knowledge and Data Engineering
First-Order Logic Characterization of Program Properties
IEEE Transactions on Knowledge and Data Engineering
An Efficient Indefiniteness Inference Scheme in Indefinite Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Security Constraint Processing in a Multilevel Secure Distributed Database Management System
IEEE Transactions on Knowledge and Data Engineering
The Query Clustering Problem: A Set Partitioning Approach
IEEE Transactions on Knowledge and Data Engineering
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
A Knowledge Representation Model for Multiuser Knowledge-Based Systems
IEEE Transactions on Knowledge and Data Engineering
How Does an Expert System Get its Data? (Extended Abstract)
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
A Temporal Framework for Database Specification and Verification
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
LDL: A Logic-Based Data Language
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Using Design Axioms and Topology to Model Database Semantics
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Qualified Answers That Reflect User Needs and Preferences
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Translating advanced integrity checking technology to SQL
Database integrity
Data and knowledge in database systems: deductive databases
Handbook of data mining and knowledge discovery
Action and transaction skeletons:: High level language constructs for database transactions
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems
An overview of Knowledge Representation
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Utilizing first-order logic in query processing
CSC '84 Proceedings of the ACM 12th annual computer science conference on SIGCSE symposium
Compiling prolog programs for parallel execution on a cellular machine
ACM '84 Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge
Beyond PROLOG: software specification by grammar
ACM SIGPLAN Notices
Translating Spanish into logic through logic
Computational Linguistics
Processing English with a Generalized Phrase Structure Grammar
ACL '82 Proceedings of the 20th annual meeting on Association for Computational Linguistics
An informal approach to formal specifications
ACM SIGMOD Record
An informal approach to formal specifications
ACM SIGMOD Record
Database system based on intensional logic
COLING '80 Proceedings of the 8th conference on Computational linguistics
Processing of syntax and semantics of natural language by predicate logic
COLING '80 Proceedings of the 8th conference on Computational linguistics
Recherches sur la representation des connaissances le systeme ARCHES
COLING '82 Proceedings of the 9th conference on Computational linguistics - Volume 1
CodeQuest: querying source code with datalog
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Final report of the ANSI/X3/SPARC DBS-SG relational database task group
ACM SIGMOD Record
Privacy constraint processing in a privacy-enhanced database management system
Data & Knowledge Engineering
Datalog as a pointcut language in aspect-oriented programming
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Semantics of static pointcuts in aspectJ
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Object-oriented queries over software systems: (abstract of invited talk)
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Formal Aspects in Security and Trust
The interaction with incomplete knowledge bases: a formal treatment
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
Quantification in a three-valued logic for natural language question-answering systems
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
NON-VON's applicability to three AI task area
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
High-level database programming in curry
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
PrPl: a decentralized social networking infrastructure
Proceedings of the 1st ACM Workshop on Mobile Cloud Computing & Services: Social Networks and Beyond
Logic programming languages for databases and the web
A 25-year perspective on logic programming
Using ontology databases for scalable query answering, inconsistency detection, and data integration
Journal of Intelligent Information Systems
Simplified integration of Prolog with RDBMS
ACM SIGMIS Database
Approximate boolean reasoning: foundations and applications in data mining
Transactions on Rough Sets V
CodeQuest: scalable source code queries with datalog
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
To vladimir lifschitz on his 65th birthday
Correct Reasoning
Qualifying Answers According to User Needs and Preferences
Fundamenta Informaticae
A UNIVERSAL MODEL FOR NON-PROCEDURAL DATABASE LANGUAGES
Fundamenta Informaticae
LOGIC BASED PROGRAMMED STRUCTURE REWRITING SYSTEMS
Fundamenta Informaticae
Hi-index | 0.05 |