Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation
Journal of Automated Reasoning
Hyper Tableau - The Next Generation
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
HyperS tableaux - heuristic hyper tableaux
Acta Cybernetica
Hyper tableaux — the third version
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Hi-index | 0.00 |