Ordered Semantic Hyper-Linking
Journal of Automated Reasoning
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation
Journal of Automated Reasoning
Duality for Goal-Driven Query Processing in Disjunctive Deductive Databases
Journal of Automated Reasoning
I-SATCHMO: An Improvement of SATCHMO
Journal of Automated Reasoning
Ordered Semantic Hyper Tableaux
Journal of Automated Reasoning
Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries
IEEE Transactions on Knowledge and Data Engineering
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
A Model Generation Based Theorem Prover MGTP for First-Order Logic
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Generating Minimal Herbrand Models Step by Step
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy
New Generation Computing
Cooperation between top-down and bottom-up theorem provers
Journal of Artificial Intelligence Research
Proof simplification for model generation and its applications
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Blocking and other enhancements for bottom-up model generation methods
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi
Fundamenta Informaticae
Hi-index | 0.00 |