- On The Notion Of Interestingness In Automated Mathematical Discovery
- The Use of Classification in Automated Mathematical Concept Formation Simon Colton, Stephen Cresswell and Alan Bundy
- Artificial Intelligence and Scientific Creativity Simon Colton and Graham Steel
- A Gridbased Application of Machine Learning to Model Generation
- Automated Reformulation of Constraint Satisfaction Problems John Charnley
- Evaluating Machine Creativity Alison Pease, Daniel Winterstein, Simon Colton
- Lakatos-style Reasoning Alison Pease, Simon Colton, Alan Smaill, John Lee
- Automatic Invention of Integer Sequences Simon Colton, Alan Bundy
- Employing Theory Formation to Guide Proof Planning
- Automatic Identification of Mathematical Concepts Simon Colton simonco@dai.ed.ac.uk
- The NumbersWithNames Program Simon Colton
- Automated Discovery in Pure Mathematics Simon Colton, Alan Bundy and Toby Walsh,
- HR A System for Machine Discovery in Finite Algebras Alan Bundy, Simon Colton 1 and Toby Walsh 2
- Agent Based Cooperative Theory Formation in Pure Mathematics Simon Colton, Alan Bundy and Toby Walsh ?
- Lakatos-style Automated Theorem Modification Simon Colton
- Automatic Generation of Implied Constraints: Initial Progress Simon Colton, Lyndon Drake, Alan M. Frisch, Ian Miguel and Toby Walsh
- Automated Puzzle Generation Simon Colton
- Mathematics -a new Domain for Datamining? Simon Colton
- The Use of Classification in Automated Mathematical Concept Formation Simon Colton, Stephen Cresswell and Alan Bundy
- Assessing Exploratory Theory Formation Programs Simon Colton
- HR Automatic Concept Formation in Finite Algebras Simon Colton
- Automated Theory Formation for Tutoring Tasks in Pure Mathematics
- Semi-Automated Discovery in Zariski Spaces (A Proposal)
- Automatic Invention of Integer Sequences Simon Colton, Alan Bundy
- Article Submitted to Journal of Symbolic Computation Automated Conjecture Making in Number
- A Grand Challenge of Theorem Discovery Geo Sutcli e 1 , Yi Gao 1 , and Simon Colton 2
- Lakatosstyle Automated Theorem Modification Simon Colton 1 and Alison Pease 2
- The HR Program for Theorem Generation Simon Colton ?
- Automatic Construction and Verification of Isotopy Invariants
- Experiments in Metatheory Formation Simon Colton
- Automatic Generation of Classification Theorems for Finite Algebras
- Making Conjectures about Maple Functions Simon Colton
- Integrating HR and tptp2X into MathWeb to Compare Automated Theorem Provers
- Managing Automatically Formed Mathematical Theories
- Crossdomain Mathematical Concept Formation Graham Steel, Simon Colton, Alan Bundy and Toby Walsh #
- Automated Theory Formation in Bioinformatics Simon Colton
- Agent Based Cooperative Theory Formation in Pure Mathematics Simon Colton, Alan Bundy and Toby Walsh
- On The Notion Of Interestingness In Automated Mathematical Discovery
- Journal of Integer Sequences, Vol. 2 (1999), Article 99.1.2
- ILP for Mathematical Discovery Simon Colton and Stephen Muggleton
- Automated Puzzle Generation Simon Colton
- On The Notion Of Interestingness In Automated Mathematical Discovery
- A Grid-based Application of Machine Learning to Model Generation
- Creative Logic Programming Simon Colton
- Automated Theory Formation in Bioinformatics Simon Colton
- HR -A System for Machine Discovery in Finite Algebras Alan Bundy, Simon Colton
- The Effect of Input Knowledge on Creativity Simon Colton, Alison Pease, Graeme Ritchie
- Semantic Negotiation: Modelling Ambiguity in Dialogue Alison Pease Simon Colton
- Creative Logic Programming Simon Colton
- Theory Formation Applied to Discovery, Learning and Problem Solving
- Cross-domain Mathematical Concept Formation Graham Steel, Simon Colton, Alan Bundy and Toby Walsh
- Assessing Exploratory Theory Formation Programs Simon Colton
- Towards a General Framework for Program Generation in Creative Domains Department of Computing
- The Homer System Simon Colton 1 and Sophie Huczynska 2
- Lakatos-style Methods in Automated Reasoning Simon Colton and Alison Pease
- Automated `Plugging and Chugging' Simon Colton
- The Effect of Input Knowledge on Creativity Simon Colton, Alison Pease, Graeme Ritchie
- Automated Theorem Discovery: A Future Direction for Theorem Provers
- Automatic Concept Formation in Pure Mathematics Simon Colton and Alan Bundy
- Automatic Generation of Implied Constraints: Initial Progress Simon Colton, Lyndon Drake, Alan M. Frisch, Ian Miguel and Toby Walsh
- DOI 10.1007/s10994-006-8259-x Mathematical applications of inductive logic
- Constraint Generation via Automated Theory Formation
- Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems
- New Directions in Automated Conjecture Making Alan Bundy , Simon Colton , Sophie Huczynska and Roy McCasland
- Using Model Generation in Automated Concept Formation Pedro Torres
- Machine Learning Case Splits for Theorem Proving Simon Colton , Ferdinand Hoermann , Geo Sutcli e and Alison Pease
- The Homer System Simon Colton1 and Sophie Huczynska2
- Evaluating Machine Creativity Alison Pease, Daniel Winterstein, Simon Colton
- Automatic Generation of Implied Constraints John Charnley, Simon Colton1 and Ian Miguel2
- A Multiagent Approach to Modelling Interaction in Human Mathematical Reasoning
- Experiments in Meta-theory Formation Simon Colton
- Linkoping Electronic Articles in Computer and Information Science