A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
DISCOUNT - A Distributed and Learning Equational Prover
Journal of Automated Reasoning
Experiments with an Agent-Oriented Reasoning System
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
High performance ATP systems by combining several AI methods
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Proof systems and transformation games
MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
Cooperating answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Proof systems and transformation games
Annals of Mathematics and Artificial Intelligence
Improving the efficiency of distributed data mining using an adjustment work flow
MLDM'13 Proceedings of the 9th international conference on Machine Learning and Data Mining in Pattern Recognition
Computing cooperative solution concepts in coalitional skill games
Artificial Intelligence
Hi-index | 0.00 |