Exploiting Conditional Equivalences in Connection Calculi
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Abstraction-Based Relevancy Testing for Model Elimination
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
SRASS - A Semantic Relevance Axiom Selection System
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Cooperation between top-down and bottom-up theorem provers
Journal of Artificial Intelligence Research
| Hi-index | 0.00 |