The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Simon Colton: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Simon Colton
    HR - Automatic Concept Formation in Finite Algebras. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 1998, pp:1170- [Conf]
  2. Simon Colton, Alan Bundy, Toby Walsh
    Automatic Invention of Integer Sequences. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2000, pp:558-563 [Conf]
  3. Simon Colton
    Making Conjectures about Maple Functions. [Citation Graph (0, 0)][DBLP]
    AISC, 2002, pp:259-274 [Conf]
  4. Andreas Meier, Volker Sorge, Simon Colton
    Employing Theory Formation to Guide Proof Planning. [Citation Graph (0, 0)][DBLP]
    AISC, 2002, pp:275-289 [Conf]
  5. Simon Colton, Louise A. Dennis
    The NumbersWithNames Program. [Citation Graph (0, 0)][DBLP]
    AMAI, 2002, pp:- [Conf]
  6. Simon Colton, Geoff Sutcliffe
    Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems. [Citation Graph (0, 0)][DBLP]
    AMAI, 2002, pp:- [Conf]
  7. Simon Colton
    The HR Program for Theorem Generation. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:285-289 [Conf]
  8. Simon Colton, Sophie Huczynska
    The Homer System. [Citation Graph (0, 0)][DBLP]
    CADE, 2003, pp:289-294 [Conf]
  9. 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]
  10. Simon Colton, Volker Sorge, Ursula Martin
    Workshop: The Role of Automated Deduction in Mathematics. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:517- [Conf]
  11. 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]
  12. Simon Colton, Ian Miguel
    Constraint Generation via Automated Theory Formation. [Citation Graph (0, 0)][DBLP]
    CP, 2001, pp:575-579 [Conf]
  13. John Charnley, Simon Colton, Ian Miguel
    Automatic Generation of Implied Constraints. [Citation Graph (0, 0)][DBLP]
    ECAI, 2006, pp:73-77 [Conf]
  14. Simon Colton, Alison Pease
    Lakatos-Style Automated Theorem Modification. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:977-978 [Conf]
  15. 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]
  16. Simon Colton, Alan Bundy, Toby Walsh
    Automatic Identification of Mathematical Concepts. [Citation Graph (0, 0)][DBLP]
    ICML, 2000, pp:183-190 [Conf]
  17. Simon Colton, Alan Bundy, Toby Walsh
    Automatic Concept Formation in Pure Mathematics. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:786-793 [Conf]
  18. Simon Colton, Stephen Muggleton
    ILP for Mathematical Discovery. [Citation Graph (0, 0)][DBLP]
    ILP, 2003, pp:93-111 [Conf]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. Simon Colton
    Computational Discovery in Pure Mathematics. [Citation Graph (0, 0)][DBLP]
    Computational Discovery of Scientific Knowledge, 2007, pp:175-201 [Conf]
  25. Ning Jiang, Simon Colton
    Boosting Descriptive ILP for Predictive Learning in Bioinformatics. [Citation Graph (0, 0)][DBLP]
    ILP, 2006, pp:275-289 [Conf]
  26. Simon Colton, Daniel Wagner
    Using Formal Concept Analysis in Mathematical Discovery. [Citation Graph (0, 0)][DBLP]
    Calculemus/MKM, 2007, pp:205-220 [Conf]

  27. A Global Workspace Framework for Combining Reasoning Systems. [Citation Graph (, )][DBLP]


  28. Automatic Invention of Fitness Functions with Application to Scene Generation. [Citation Graph (, )][DBLP]


  29. Evolving Approximate Image Filters. [Citation Graph (, )][DBLP]


  30. Evolving Simple Art-Based Games. [Citation Graph (, )][DBLP]


  31. Evolving 3D Buildings for the Prototype Video Game Subversion. [Citation Graph (, )][DBLP]


  32. Evolving Behaviour Trees for the Commercial Game DEFCON. [Citation Graph (, )][DBLP]


  33. Emotionally aware automated portrait painting demonstration. [Citation Graph (, )][DBLP]


  34. Emotionally aware automated portrait painting. [Citation Graph (, )][DBLP]


Search in 0.030secs, Finished in 0.032secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002