Design overview of the NAIL] system
Proceedings on Third international conference on logic programming
Some results and experiments in programming techniques for propositional logic
Computers and Operations Research - Special issue: Applications of integer programming
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
An amateur's introduction to recursive query processing strategies
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Computation-oriented reductions of predicate to propositional logic
Decision Support Systems
The alternating fixpoint of logic programs with negation
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Bottom-up beats top-down for datalog
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An incremental access method for ViewCache: concept, algorithms, and cost analysis
ACM Transactions on Database Systems (TODS)
Implementing deductive databases by linear programming
Implementing deductive databases by linear programming
Computation and implementation of non-monotonic deductive databases
Computation and implementation of non-monotonic deductive databases
WFS + branch and bound = stable models
WFS + branch and bound = stable models
Constraint query languages (preliminary report)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Rewriting of rules containing set terms in a logic data language LDL
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On Indefinite Databases and the Closed World Assumption
Proceedings of the 6th Conference on Automated Deduction
A linear programming approach to logical inference
CSC '93 Proceedings of the 1993 ACM conference on Computer science
Mixed integer programming methods for computing nonmonotonic deductive databases
Journal of the ACM (JACM)
Sequent calculi for propositional nonmonotonic logics
ACM Transactions on Computational Logic (TOCL)
Foundations of Secure Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Semantics, Consistency, and Query Processing of Empirical Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
Nonmonotonic Logic Programming
IEEE Transactions on Knowledge and Data Engineering
Empirical probabilities in monadic deductive databases
UAI'92 Proceedings of the Eighth international conference on Uncertainty in artificial intelligence
Hi-index | 0.00 |