The SCEAS System
| |||||||

## Search the dblp DataBase
Simon Colton:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Simon Colton
**HR - Automatic Concept Formation in Finite Algebras.**[Citation Graph (0, 0)][DBLP] AAAI/IAAI, 1998, pp:1170- [Conf] - Simon Colton, Alan Bundy, Toby Walsh
**Automatic Invention of Integer Sequences.**[Citation Graph (0, 0)][DBLP] AAAI/IAAI, 2000, pp:558-563 [Conf] - Simon Colton
**Making Conjectures about Maple Functions.**[Citation Graph (0, 0)][DBLP] AISC, 2002, pp:259-274 [Conf] - Andreas Meier, Volker Sorge, Simon Colton
**Employing Theory Formation to Guide Proof Planning.**[Citation Graph (0, 0)][DBLP] AISC, 2002, pp:275-289 [Conf] - Simon Colton, Louise A. Dennis
**The NumbersWithNames Program.**[Citation Graph (0, 0)][DBLP] AMAI, 2002, pp:- [Conf] - Simon Colton, Geoff Sutcliffe
**Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems.**[Citation Graph (0, 0)][DBLP] AMAI, 2002, pp:- [Conf] - Simon Colton
**The HR Program for Theorem Generation.**[Citation Graph (0, 0)][DBLP] CADE, 2002, pp:285-289 [Conf] - Simon Colton, Sophie Huczynska
**The Homer System.**[Citation Graph (0, 0)][DBLP] CADE, 2003, pp:289-294 [Conf] - Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland
**Automatic Generation of Classification Theorems for Finite Algebras.**[Citation Graph (0, 0)][DBLP] IJCAR, 2004, pp:400-414 [Conf] - Simon Colton, Volker Sorge, Ursula Martin
**Workshop: The Role of Automated Deduction in Mathematics.**[Citation Graph (0, 0)][DBLP] CADE, 2000, pp:517- [Conf] - Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton
**Automatic Construction and Verification of Isotopy Invariants.**[Citation Graph (0, 0)][DBLP] IJCAR, 2006, pp:36-51 [Conf] - Simon Colton, Ian Miguel
**Constraint Generation via Automated Theory Formation.**[Citation Graph (0, 0)][DBLP] CP, 2001, pp:575-579 [Conf] - John Charnley, Simon Colton, Ian Miguel
**Automatic Generation of Implied Constraints.**[Citation Graph (0, 0)][DBLP] ECAI, 2006, pp:73-77 [Conf] - Simon Colton, Alison Pease
**Lakatos-Style Automated Theorem Modification.**[Citation Graph (0, 0)][DBLP] ECAI, 2004, pp:977-978 [Conf] - Paulo Santos, Simon Colton, Derek R. Magee
**Predictive and Descriptive Approaches to Learning Game Rules from Vision Data.**[Citation Graph (0, 0)][DBLP] IBERAMIA-SBIA, 2006, pp:349-359 [Conf] - Simon Colton, Alan Bundy, Toby Walsh
**Automatic Identification of Mathematical Concepts.**[Citation Graph (0, 0)][DBLP] ICML, 2000, pp:183-190 [Conf] - Simon Colton, Alan Bundy, Toby Walsh
**Automatic Concept Formation in Pure Mathematics.**[Citation Graph (0, 0)][DBLP] IJCAI, 1999, pp:786-793 [Conf] - Simon Colton, Stephen Muggleton
**ILP for Mathematical Discovery.**[Citation Graph (0, 0)][DBLP] ILP, 2003, pp:93-111 [Conf] - Simon Colton, Pedro Torres, Paul A. Cairns, Volker Sorge
**Managing Automatically Formed Mathematical Theories.**[Citation Graph (0, 0)][DBLP] MKM, 2006, pp:237-250 [Conf] - Simon Colton
**An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming.**[Citation Graph (0, 0)][DBLP] Electron. Trans. Artif. Intell., 2000, v:4, n:B, pp:97-117 [Journal] - Simon Colton, Alan Bundy, Toby Walsh
**On the notion of interestingness in automated mathematical discovery.**[Citation Graph (0, 0)][DBLP] Int. J. Hum.-Comput. Stud., 2000, v:53, n:3, pp:351-375 [Journal] - Simon Colton
**Automated conjecture making in number theory using HR, Otter and Maple.**[Citation Graph (0, 0)][DBLP] J. Symb. Comput., 2005, v:39, n:5, pp:593-615 [Journal] - Simon Colton, Stephen Muggleton
**Mathematical applications of inductive logic programming.**[Citation Graph (0, 0)][DBLP] Machine Learning, 2006, v:64, n:1-3, pp:25-64 [Journal] - Simon Colton
**Computational Discovery in Pure Mathematics.**[Citation Graph (0, 0)][DBLP] Computational Discovery of Scientific Knowledge, 2007, pp:175-201 [Conf] - Ning Jiang, Simon Colton
**Boosting Descriptive ILP for Predictive Learning in Bioinformatics.**[Citation Graph (0, 0)][DBLP] ILP, 2006, pp:275-289 [Conf] - Simon Colton, Daniel Wagner
**Using Formal Concept Analysis in Mathematical Discovery.**[Citation Graph (0, 0)][DBLP] Calculemus/MKM, 2007, pp:205-220 [Conf] **A Global Workspace Framework for Combining Reasoning Systems.**[Citation Graph (, )][DBLP]**Automatic Invention of Fitness Functions with Application to Scene Generation.**[Citation Graph (, )][DBLP]**Evolving Approximate Image Filters.**[Citation Graph (, )][DBLP]**Evolving Simple Art-Based Games.**[Citation Graph (, )][DBLP]**Evolving 3D Buildings for the Prototype Video Game Subversion.**[Citation Graph (, )][DBLP]**Evolving Behaviour Trees for the Commercial Game DEFCON.**[Citation Graph (, )][DBLP]**Emotionally aware automated portrait painting demonstration.**[Citation Graph (, )][DBLP]**Emotionally aware automated portrait painting.**[Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |