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.003secs, Finished in 0.305secs