Foundations of logic programming
Foundations of logic programming
Saturation, nonmonotonic reasoning and the closed-world assumption
Artificial Intelligence
Equality and Domain Closure in First-Order Databases
Journal of the ACM (JACM)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
A relational model of data for large shared data banks
Communications of the ACM
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Logic Programming
On the equivalence of logical databases
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
On Indefinite Databases and the Closed World Assumption
Proceedings of the 6th Conference on Automated Deduction
A rule-based language with functions and sets
ACM Transactions on Database Systems (TODS)
Negation and minimality in non-horn databases
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA
Journal of Automated Reasoning
A Possible World Semantics for Disjunctive Databases
IEEE Transactions on Knowledge and Data Engineering
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
| Hi-index | 0.00 |