Saturation, nonmonotonic reasoning and the closed-world assumption
Artificial Intelligence
Closed-world databases and circumscription
Artificial Intelligence
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
The Alexander method-a technique for the processing of recursive axioms in deductive databases
New Generation Computing
On the relationship between circumscription and negation as failure
Artificial Intelligence
Logic programming as constructivism: a formalization and its application to databases
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
On Indefinite Databases and the Closed World Assumption
Proceedings of the 6th Conference on Automated Deduction
Procedural Interpretation of Non-Horn Logic Programs
Proceedings of the 9th International Conference on Automated Deduction
Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases
Journal of Automated Reasoning
Hi-index | 0.00 |