Deduction Trees and the View Update Problem in Indefinite Deductive Databases
Journal of Automated Reasoning
Evaluation of Queries under Closed-World Assumption
Journal of Automated Reasoning
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation
Journal of Automated Reasoning
Top-Down Query Processing in First Order Deductive Databases under the DWFS
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
Top-Down Query Processing in First-Order Deductive Databases under the DWFS
Journal of Automated Reasoning
Computing Only Minimal Answers in Disjunctive Deductive Databases
Journal of Automated Reasoning
Strategies in rigid-variable methods
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Discrete Applied Mathematics
Discrete Applied Mathematics - Special issue: Boolean and pseudo-boolean funtions
Discrete Applied Mathematics - Special issue: IWCIA 2003 - Ninth international workshop on combinatorial image analysis
Discrete Applied Mathematics
Discrete Applied Mathematics - Special issue: Advances in discrete geometry and topology (DGCI 2003)
Discrete Applied Mathematics
Discrete Applied Mathematics - Structural decompositions, width parameters, and graph labelings (DAS 5)
Discrete Applied Mathematics - Ordinal and symbolic data analysis (OSDA 2000)
Discrete Applied Mathematics
Discrete Applied Mathematics
Discrete Applied Mathematics
Discrete Applied Mathematics
Discrete Applied Mathematics
Discrete Applied Mathematics
Discrete Applied Mathematics
Discrete Optimization
Processing Deductive Databases under the Disjunctive Stable Model Semantics
Fundamenta Informaticae
Hi-index | 0.00 |