Satchmo - The Compiling and Functional Variants
Journal of Automated Reasoning
Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation
Journal of Automated Reasoning
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
System Description: E- KRHyper
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
A delayed splitting bottom-up procedure for model generation
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Hi-index | 0.00 |