Simon Colton

	2011
44		Simon Colton, Michael Cook, Azalea Raad: Ludic Considerations of Tablet-Based Evo-Art. EvoApplications (2) 2011: 223-233
	2010
43		Simon Colton: Stroke Matching for Paint Dances. Computational Aesthetics 2010: 67-74
42		Chong-U Lim, Robin Baumgarten, Simon Colton: Evolving Behaviour Trees for the Commercial Game DEFCON. EvoApplications (1) 2010: 100-110
41		Andrew Martin, Andrew Lim, Simon Colton, Cameron Browne: Evolving 3D Buildings for the Prototype Video Game Subversion. EvoApplications (1) 2010: 111-120
	2009
40		Simon Colton, Cameron Browne: Evolving Simple Art-Based Games. EvoWorkshops 2009: 283-292
39		Simon Colton, Pedro Torres: Evolving Approximate Image Filters. EvoWorkshops 2009: 467-477
38		Simon Colton, Ramon López de Mántaras, Oliviero Stock: Computational Creativity: Coming of Age. AI Magazine 30(3): 11-14 (2009)
37		Robin Baumgarten, Simon Colton, Mark Morris: Combining AI Methods for Learning Bots in a Real-Time Strategy Game. Int. J. Computer Games Technology 2009: (2009)
	2008
36		John Charnley, Simon Colton: A Global Workspace Framework for Combining Reasoning Systems. AISC/MKM/Calculemus 2008: 261-265
35		Simon Colton, Michel François Valstar, Maja Pantic: Emotionally aware automated portrait painting. DIMEA 2008: 304-311
34		Simon Colton: Automatic Invention of Fitness Functions with Application to Scene Generation. EvoWorkshops 2008: 381-391
33		Michel François Valstar, Simon Colton, Maja Pantic: Emotionally aware automated portrait painting demonstration. FG 2008: 1-2
32		Marcello Balduccini, Chitta Baral, Boyan Brodaric, Simon Colton, Peter Fox, David Gutelius, Knut Hinkelmann, Ian Horswill, Bernardo A. Huberman, Eva Hudlicka, Kristina Lerman, Christine L. Lisetti, Deborah L. McGuinness, Mary Lou Maher, Mark A. Musen, Mehran Sahami, Derek H. Sleeman, Barbara Thönssen, Juan D. Velásquez, Dan Ventura: AAAI 2008 Spring Symposia Reports. AI Magazine 29(3): 107-115 (2008)
31		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)
30		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
29		Simon Colton, Daniel Wagner: Using Formal Concept Analysis in Mathematical Discovery. Calculemus/MKM 2007: 205-220
28		Simon Colton: Computational Discovery in Pure Mathematics. Computational Discovery of Scientific Knowledge 2007: 175-201
	2006
27		John Charnley, Simon Colton, Ian Miguel: Automatic Generation of Implied Constraints. ECAI 2006: 73-77
26		Paulo Santos, Simon Colton, Derek R. Magee: Predictive and Descriptive Approaches to Learning Game Rules from Vision Data. IBERAMIA-SBIA 2006: 349-359
25		Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton: Automatic Construction and Verification of Isotopy Invariants. IJCAR 2006: 36-51
24		Ning Jiang, Simon Colton: Boosting Descriptive ILP for Predictive Learning in Bioinformatics. ILP 2006: 275-289
23		Simon Colton, Pedro Torres, Paul A. Cairns, Volker Sorge: Managing Automatically Formed Mathematical Theories. MKM 2006: 237-250
22		Simon Colton, Stephen Muggleton: Mathematical applications of inductive logic programming. Machine Learning 64(1-3): 25-64 (2006)
	2005
21		Simon Colton, Alison Pease: The TM System for Repairing Non-Theorems. Electr. Notes Theor. Comput. Sci. 125(3): 87-101 (2005)
20		Simon Colton: Automated conjecture making in number theory using HR, Otter and Maple. J. Symb. Comput. 39(5): 593-615 (2005)
	2004
19		Simon Colton, Alison Pease: Lakatos-Style Automated Theorem Modification. ECAI 2004: 977-978
18		Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland: Automatic Generation of Classification Theorems for Finite Algebras. IJCAR 2004: 400-414
	2003
17		Simon Colton, Sophie Huczynska: The Homer System. CADE 2003: 289-294
16		Simon Colton, Stephen Muggleton: ILP for Mathematical Discovery. ILP 2003: 93-111
	2002
15		Simon Colton: Making Conjectures about Maple Functions. AISC 2002: 259-274
14		Andreas Meier, Volker Sorge, Simon Colton: Employing Theory Formation to Guide Proof Planning. AISC 2002: 275-289
13		Simon Colton, Geoff Sutcliffe: Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems. AMAI 2002
12		Simon Colton, Louise A. Dennis: The NumbersWithNames Program. AMAI 2002
11		Simon Colton: The HR Program for Theorem Generation. CADE 2002: 285-289
10		Simon Colton, Geoff Sutcliffe: Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems. ISAIM 2002
9		Simon Colton, Louise A. Dennis: The NumbersWithNames Program. ISAIM 2002
	2001
8		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		Simon Colton: An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming. Electron. Trans. Artif. Intell. 4(B): 97-117 (2000)
3		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	Marcello Balduccini	[32]
2	Chitta Baral	[32]
3	Robin Baumgarten	[37] [42]
4	Boyan Brodaric	[32]
5	Cameron Browne	[40] [41]
6	Alan Bundy	[2] [3] [5] [7]
7	Paul A. Cairns	[23]
8	John Charnley	[27] [36]
9	Michael Cook	[44]
10	Louise A. Dennis	[9] [12]
11	Peter Fox	[32]
12	David Gutelius	[32]
13	Knut Hinkelmann	[32]
14	Ian Horswill	[32]
15	Bernardo A. Huberman	[32]
16	Sophie Huczynska	[17]
17	Eva Hudlicka	[32]
18	Ning Jiang	[24]
19	Kristina Lerman	[32]
20	Andrew Lim	[41]
21	Chong-U Lim	[42]
22	Christine L. Lisetti (Christine Lætitia Lisetti)	[32]
23	Derek R. Magee	[26]
24	Mary Lou Maher	[32]
25	Ramon López de Mántaras	[38]
26	Andrew Martin	[41]
27	Ursula Martin	[6]
28	Roy L. McCasland	[18] [25] [31]
29	Deborah L. McGuinness	[32]
30	Andreas Meier	[14] [18] [25] [31]
31	Ian Miguel	[8] [27]
32	Mark Morris	[37]
33	Stephen Muggleton	[16] [22] [30]
34	Mark A. Musen	[32]
35	Ramón P. Otero	[30]
36	Maja Pantic	[33] [35]
37	Alison Pease	[19] [21]
38	Azalea Raad	[44]
39	Mehran Sahami	[32]
40	Paulo Santos	[26]
41	Derek H. Sleeman	[32]
42	Volker Sorge	[6] [14] [18] [23] [25] [31]
43	Oliviero Stock	[38]
44	Geoff Sutcliffe	[10] [13]
45	Barbara Thönssen	[32]
46	Pedro Torres	[23] [39]
47	Michel François Valstar	[33] [35]
48	Juan D. Velásquez	[32]
49	Dan Ventura	[32]
50	Daniel Wagner	[29]
51	Toby Walsh	[2] [3] [5] [7]

Colors in the list of coauthors

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page