Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Simon
Last name:	Colton
DBLP:	92/6384
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 34 of 34  

Select a publication
Show	Title	Venue	Rating	Date
	Simon Colton, Pedro Torres. Evolving Approximate Image Filters.	Applications of Evolutionary Computing, EvoWorkshops 2009: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG, Tübingen, Germany, April 15-17, 2009. Proceedings 2009	(0)	2009
	Simon Colton, Cameron Browne. Evolving Simple Art-Based Games.	Applications of Evolutionary Computing, EvoWorkshops 2009: EvoCOMNET, EvoENVIRONMENT, EvoFIN, EvoGAMES, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, EvoNUM, EvoSTOC, EvoTRANSLOG, Tübingen, Germany, April 15-17, 2009. Proceedings 2009	(0)	2009
	John Charnley, Simon Colton. A Global Workspace Framework for Combining Reasoning Systems.	Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings 2008	(0)	2008
	Simon Colton. Automatic Invention of Fitness Functions with Application to Scene Generation.	Applications of Evolutionary Computing, EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog, Naples, Italy, March 26-28, 2008. Proceedings 2008	(0)	2008
	Michel François Valstar, Simon Colton, Maja Pantic. Emotionally aware automated portrait painting demonstration.	8th IEEE International Conference on Automatic Face and Gesture Recognition (FG 2008), Amsterdam, The Netherlands, 17-19 September 2008 2008	(0)	2008
	Simon Colton, Michel François Valstar, Maja Pantic. Emotionally aware automated portrait painting.	Proceedings of the Third International Conference on Digital Interactive Media in Entertainment and Arts, DIMEA 2008, 10-12 September 2008, Athens, Greece 2008	(0)	2008
	Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton. Automatic Construction and Verification of Isotopy Invariants.	J. Autom. Reasoning 2008, Volume 40	(0)	2008
	Stephen Muggleton, Ramón P. Otero, Simon Colton. Guest editorial: special issue on Inductive Logic Programming.	Machine Learning 2008, Volume 70	(0)	2008
	Simon Colton. Computational Discovery in Pure Mathematics.	Computational Discovery of Scientific Knowledge, Introduction, Techniques, and Applications in Environmental and Life Sciences 2007	(0)	2007
	Simon Colton, Daniel Wagner. Using Formal Concept Analysis in Mathematical Discovery.	Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings 2007	(0)	2007
	Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton. Automatic Construction and Verification of Isotopy Invariants.	Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings 2006	(0)	2006
	John Charnley, Simon Colton, Ian Miguel. Automatic Generation of Implied Constraints.	ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings 2006	(0)	2006
	Paulo Santos, Simon Colton, Derek R. Magee. Predictive and Descriptive Approaches to Learning Game Rules from Vision Data.	Advances in Artificial Intelligence - IBERAMIA-SBIA 2006, 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirão Preto, Brazil, October 23-27, 2006, Proceedings 2006	(0)	2006
	Ning Jiang, Simon Colton. Boosting Descriptive ILP for Predictive Learning in Bioinformatics.	Inductive Logic Programming, 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers 2007	(0)	2006
	Simon Colton, Pedro Torres, Paul A. Cairns, Volker Sorge. Managing Automatically Formed Mathematical Theories.	Mathematical Knowledge Management, 5th International Conference, MKM 2006, Wokingham, UK, August 11-12, 2006, Proceedings 2006	(0)	2006
	Simon Colton, Stephen Muggleton. Mathematical applications of inductive logic programming.	Machine Learning 2006, Volume 64	(0)	2006
	Simon Colton. Automated conjecture making in number theory using HR, Otter and Maple.	J. Symb. Comput. 2005, Volume 39	(0)	2005
	Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland. Automatic Generation of Classification Theorems for Finite Algebras.	Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings 2004	(0)	2004
	Simon Colton, Alison Pease. Lakatos-Style Automated Theorem Modification.	Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004 2004	(0)	2004
	Simon Colton, Sophie Huczynska. The Homer System.	Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings 2003	(0)	2003
	Simon Colton, Stephen Muggleton. ILP for Mathematical Discovery.	Inductive Logic Programming: 13th International Conference, ILP 2003, Szeged, Hungary, September 29-October 1, 2003, Proceedings 2003	(0)	2003
	Simon Colton. Making Conjectures about Maple Functions.	Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings 2002	(0)	2002
	Andreas Meier, Volker Sorge, Simon Colton. Employing Theory Formation to Guide Proof Planning.	Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings 2002	(0)	2002
	Simon Colton, Louise A. Dennis. The NumbersWithNames Program.	AMAI 2002	(0)	2002
	Simon Colton, Geoff Sutcliffe. Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems.	AMAI 2002	(0)	2002
	Simon Colton. The HR Program for Theorem Generation.	Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings 2002	(0)	2002
	Simon Colton, Ian Miguel. Constraint Generation via Automated Theory Formation.	Principles and Practice of Constraint Programming - CP 2001, 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings 2001	(0)	2001
	Simon Colton, Alan Bundy, Toby Walsh. Automatic Invention of Integer Sequences.	Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30 - August 3, 2000, Austin, Texas, USA. 2000	(0)	2000
	Simon Colton, Volker Sorge, Ursula Martin. Workshop: The Role of Automated Deduction in Mathematics.	Automated Deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000, Proceedings 2000	(0)	2000
	Simon Colton, Alan Bundy, Toby Walsh. Automatic Identification of Mathematical Concepts.	Proceedings of the Seventeenth International Conference on Machine Learning (ICML 2000), Stanford University, Standord, CA, USA, June 29 - July 2, 2000 2000	(0)	2000
	Simon Colton. An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming.	Electron. Trans. Artif. Intell. 2000, Volume 4	(0)	2000
	Simon Colton, Alan Bundy, Toby Walsh. On the notion of interestingness in automated mathematical discovery.	Int. J. Hum.-Comput. Stud. 2000, Volume 53	(0)	2000
	Simon Colton, Alan Bundy, Toby Walsh. Automatic Concept Formation in Pure Mathematics.	Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 99, Stockholm, Sweden, July 31 - August 6, 1999. 2 Volumes, 1450 pages 1999	(0)	1999
	Simon Colton. HR - Automatic Concept Formation in Finite Algebras.	AAAI/IAAI 1998	(0)	1998

Your query returned 34 matches in the database.