Employing Theory Formation to Guide Proof Planning
AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Mathematical applications of inductive logic programming
Machine Learning
The Crystallizing Substochastic Sequential Machine Extractor: CrySSMEx
Neural Computation
Computational Discovery in Pure Mathematics
Computational Discovery of Scientific Knowledge
The altricial-precocial spectrum for robots
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
The TM System for Repairing Non-Theorems
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated conjecture making in number theory using HR, Otter and Maple
Journal of Symbolic Computation
Managing automatically formed mathematical theories
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Predictive and descriptive approaches to learning game rules from vision data
IBERAMIA-SBIA'06 Proceedings of the 2nd international joint conference, and Proceedings of the 10th Ibero-American Conference on AI 18th Brazilian conference on Advances in Artificial Intelligence
A combinator language for theorem discovery
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
| Hi-index | 0.00 |