Travelled to:
1 × Denmark
1 × Ireland
3 × USA
Collaborated with:
Michael Cook 0001 J.Gow Swen E. Gaudl M.J.Nelson V.Sorge A.Meier R.L.McCasland S.Huczynska ∅ Cameron Browne Andrew R. Martin A.Bundy T.Walsh Alison Pease Christian Guckelsberger Christoph Salge A.Raad Edward Jack Powley Rob Saunders P.A.Cairns Paul Miller Sebastian Deterding G.Smith Blanca Pérez Ferrer Peter Ivey
Talks about:
game (6) generat (4) automat (4) design (4) procedur (2) theorem (2) general (2) content (2) toward (2) system (2)
Person: Simon Colton
DBLP: Colton:Simon
Contributed to:
Wrote 17 papers:
- IJCAR-2006-SorgeMMC #automation #invariant #verification
- Automatic Construction and Verification of Isotopy Invariants (VS, AM, RLM, SC), pp. 36–51.
- IJCAR-2004-ColtonMSM #algebra #automation #classification #finite #generative #theorem
- Automatic Generation of Classification Theorems for Finite Algebras (SC, AM, VS, RLM), pp. 400–414.
- CADE-2003-ColtonH
- The Homer System (SC, SH), pp. 289–294.
- CADE-2002-Colton #generative #theorem
- The HR Program for Theorem Generation (SC), pp. 285–289.
- ICML-2000-ColtonBW #automation #concept #identification
- Automatic Identification of Mathematical Concepts (SC, AB, TW), pp. 183–190.
- CIG-2011-CookC #evolution #game studies #multi
- Multi-faceted evolution of simple arcade games (MC0, SC), pp. 289–296.
- AIIDE-2012-CookCP #automation #design #platform
- Aesthetic Considerations for Automated Platformer Design (MC0, SC, AP).
- AIIDE-2012-GowCCM #experience #mining #process
- Mining Rules from Player Experience and Activity Data (JG, SC, PAC, PM).
- CIG-2012-BrowneC #game studies
- Computational creativity in a closed game system (CB, SC), pp. 296–303.
- CIG-2016-CookGC #automation #generative #optimisation #towards
- Towards the automatic optimisation of procedural content generators (MC0, JG, SC), pp. 1–8.
- CIG-2016-GuckelsbergerSC #motivation
- Intrinsically motivated general companion NPCs via Coupled Empowerment Maximisation (CG, CS, SC), pp. 1–8.
- CIG-2016-PowleyCGSN #automation #design #game studies
- Semi-automated level design via auto-playtesting for handheld casual game creation (EJP, SC, SEG, RS, MJN), pp. 1–8.
- AIIDE-2017-PowleyNGCFSIC #design #game studies #named
- Wevva: Democratising Game Design (EJP, MJN, SEG, SC, BPF, RS, PI, MC0), pp. 273–276.
- CIG-2018-CookCR #analysis #constraints #design #game studies
- Inferring Design Constraints From Game Ruleset Analysis (MC0, SC, AR), pp. 1–8.
- FDG-2018-NelsonGCD
- Curious users of casual creators (MJN, SEG, SC, SD), p. 6.
- CoG-2019-CookCGS #generative
- General Analytical Techniques For Parameter-Based Procedural Content Generators (MC0, SC, JG, GS), pp. 1–8.
- CoG-2019-MartinC #development #game studies #liveness #towards
- Towards Liveness in Game Development (ARM, SC), pp. 1–4.