Benchmark Evaluation of Square-KE
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Tableau for Multimodal Logics and Some (Un)Decidability Results
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A new general method to generate random modal formulae for testing decision procedures
Journal of Artificial Intelligence Research
Hi-index | 0.00 |