Simon Colton

2009
34	EE	Simon Colton, Cameron Browne: Evolving Simple Art-Based Games. EvoWorkshops 2009: 283-292
33	EE	Simon Colton, Pedro Torres: Evolving Approximate Image Filters. EvoWorkshops 2009: 467-477
2008
32	EE	John Charnley, Simon Colton: A Global Workspace Framework for Combining Reasoning Systems. AISC/MKM/Calculemus 2008: 261-265
31	EE	Simon Colton, Michel François Valstar, Maja Pantic: Emotionally aware automated portrait painting. DIMEA 2008: 304-311
30	EE	Simon Colton: Automatic Invention of Fitness Functions with Application to Scene Generation. EvoWorkshops 2008: 381-391
29	EE	Michel François Valstar, Simon Colton, Maja Pantic: Emotionally aware automated portrait painting demonstration. FG 2008: 1-2
28	EE	Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton: Automatic Construction and Verification of Isotopy Invariants. J. Autom. Reasoning 40(2-3): 221-243 (2008)
27	EE	Stephen Muggleton, Ramón P. Otero, Simon Colton: Guest editorial: special issue on Inductive Logic Programming. Machine Learning 70(2-3): 119-120 (2008)
2007
26	EE	Simon Colton, Daniel Wagner: Using Formal Concept Analysis in Mathematical Discovery. Calculemus/MKM 2007: 205-220
25	EE	Simon Colton: Computational Discovery in Pure Mathematics. Computational Discovery of Scientific Knowledge 2007: 175-201
2006
24		John Charnley, Simon Colton, Ian Miguel: Automatic Generation of Implied Constraints. ECAI 2006: 73-77
23	EE	Paulo Santos, Simon Colton, Derek R. Magee: Predictive and Descriptive Approaches to Learning Game Rules from Vision Data. IBERAMIA-SBIA 2006: 349-359
22	EE	Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton: Automatic Construction and Verification of Isotopy Invariants. IJCAR 2006: 36-51
21	EE	Ning Jiang, Simon Colton: Boosting Descriptive ILP for Predictive Learning in Bioinformatics. ILP 2006: 275-289
20	EE	Simon Colton, Pedro Torres, Paul A. Cairns, Volker Sorge: Managing Automatically Formed Mathematical Theories. MKM 2006: 237-250
19	EE	Simon Colton, Stephen Muggleton: Mathematical applications of inductive logic programming. Machine Learning 64(1-3): 25-64 (2006)
2005
18	EE	Simon Colton: Automated conjecture making in number theory using HR, Otter and Maple. J. Symb. Comput. 39(5): 593-615 (2005)
2004
17		Simon Colton, Alison Pease: Lakatos-Style Automated Theorem Modification. ECAI 2004: 977-978
16	EE	Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland: Automatic Generation of Classification Theorems for Finite Algebras. IJCAR 2004: 400-414
2003
15	EE	Simon Colton, Sophie Huczynska: The Homer System. CADE 2003: 289-294
14	EE	Simon Colton, Stephen Muggleton: ILP for Mathematical Discovery. ILP 2003: 93-111
2002
13	EE	Simon Colton: Making Conjectures about Maple Functions. AISC 2002: 259-274
12	EE	Andreas Meier, Volker Sorge, Simon Colton: Employing Theory Formation to Guide Proof Planning. AISC 2002: 275-289
11	EE	Simon Colton, Geoff Sutcliffe: Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems. AMAI 2002
10	EE	Simon Colton, Louise A. Dennis: The NumbersWithNames Program. AMAI 2002
9	EE	Simon Colton: The HR Program for Theorem Generation. CADE 2002: 285-289
2001
8	EE	Simon Colton, Ian Miguel: Constraint Generation via Automated Theory Formation. CP 2001: 575-579
2000
7		Simon Colton, Alan Bundy, Toby Walsh: Automatic Invention of Integer Sequences. AAAI/IAAI 2000: 558-563
6		Simon Colton, Volker Sorge, Ursula Martin: Workshop: The Role of Automated Deduction in Mathematics. CADE 2000: 517
5		Simon Colton, Alan Bundy, Toby Walsh: Automatic Identification of Mathematical Concepts. ICML 2000: 183-190
4	EE	Simon Colton: An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming. Electron. Trans. Artif. Intell. 4(B): 97-117 (2000)
3	EE	Simon Colton, Alan Bundy, Toby Walsh: On the notion of interestingness in automated mathematical discovery. Int. J. Hum.-Comput. Stud. 53(3): 351-375 (2000)
1999
2		Simon Colton, Alan Bundy, Toby Walsh: Automatic Concept Formation in Pure Mathematics. IJCAI 1999: 786-793
1998
1		Simon Colton: HR - Automatic Concept Formation in Finite Algebras. AAAI/IAAI 1998: 1170

Coauthor Index

1	Cameron Browne	[34]
2	Alan Bundy	[2] [3] [5] [7]
3	Paul A. Cairns	[20]
4	John Charnley	[24] [32]
5	Louise A. Dennis	[10]
6	Sophie Huczynska	[15]
7	Ning Jiang	[21]
8	Derek R. Magee	[23]
9	Ursula Martin	[6]
10	Roy L. McCasland	[16] [22] [28]
11	Andreas Meier	[12] [16] [22] [28]
12	Ian Miguel	[8] [24]
13	Stephen Muggleton	[14] [19] [27]
14	Ramón P. Otero	[27]
15	Maja Pantic	[29] [31]
16	Alison Pease	[17]
17	Paulo Santos	[23]
18	Volker Sorge	[6] [12] [16] [20] [22] [28]
19	Geoff Sutcliffe	[11]
20	Pedro Torres	[20] [33]
21	Michel François Valstar	[29] [31]
22	Daniel Wagner	[26]
23	Toby Walsh	[2] [3] [5] [7]

Colors in the list of coauthors