Automatic concept formation in pure mathematics
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
Making Conjectures about Maple Functions
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
Computational Discovery in Pure Mathematics
Computational Discovery of Scientific Knowledge
Generalised arc consistency for the AllDifferent constraint: An empirical survey
Artificial Intelligence
Automatic Generation of Implied Constraints
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Learning implied global constraints
IJCAI'07 Proceedings of the 20th international joint conference on Artifical 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
CGRASS: a system for transforming constraint satisfaction problems
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
Exploiting short supports for generalised arc consistency for arbitrary constraints
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
ACSC '12 Proceedings of the Thirty-fifth Australasian Computer Science Conference - Volume 122
Short and long supports for constraint propagation
Journal of Artificial Intelligence Research
| Hi-index | 0.03 |