Hyper Tableau - The Next Generation
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
System Description: Kimba, A Model Generator for Many-Valued First-Order Logics
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
A Pattern-Based Framework for Uncertainty Representation in Ontologies
TSD '08 Proceedings of the 11th international conference on Text, Speech and Dialogue
Applications of automated reasoning
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
A taxonomy of theorem-proving strategies
Artificial intelligence today
Unifiability and admissibility in finite algebras
CiE'12 Proceedings of the 8th Turing Centenary conference on Computability in Europe: how the world computes
| Hi-index | 0.00 |