Searching for authors named "Simon Colton" – sorted by Relevance.
-
Automated Theory Formation Applied to Four Learning Tasks
- Formation Applied to Four Learning Tasks Simon Colton Published on December 21, 2000 by Link
- Add To MetaCart
-
An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming
- -based Comparison of Automated Theory Formation and Inductive Logic Programming Simon Colton Division
- Cited by 5 (5 self) – Add To MetaCart
-
Making Conjectures about Maple Functions
- Making Conjectures about Maple Functions Simon Colton Division of Informatics University
- Cited by 8 (6 self) – Add To MetaCart
-
Automated Puzzle Generation
- Automated Puzzle Generation Simon Colton Division of Informatics University of Edinburgh
- Cited by 2 (1 self) – Add To MetaCart
-
Assessing exploratory theory formation programs
- rights reserved. Simon Colton Mathematical Reasoning Group Division of Informatics University
- Cited by 5 (4 self) – Add To MetaCart
-
Creative Logic Programming
- Creative Logic Programming Simon Colton sgc@(email omitted); Imperial College, London 180 Queens
- Cited by 1 (0 self) – Add To MetaCart
-
The HR Program for Theorem Generation
- The HR Program for Theorem Generation Simon Colton ? Division of Informatics, University
- Cited by 16 (10 self) – Add To MetaCart
-
Experiments in Meta-theory Formation
- Experiments in Meta-theory Formation Simon Colton Division of Informatics University of Edinburgh
- Cited by 4 (2 self) – Add To MetaCart
-
Refactorable Numbers - A Machine Invention
- Invention Simon Colton Mathematical Reasoning Group Institute of Representation and Reasoning Division
- Cited by 27 (24 self) – Add To MetaCart
-
Experiments in Constraint-Based Automated Scene Generation
- Experiments in Constraint-Based Automated Scene Generation Simon Colton Department of Computing
- Add To MetaCart

