BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Colton:Simon

Contributed to:

IJCAR 20062006
IJCAR 20042004
CADE 20032003
CADE 20022002
ICML 20002000
CIG 20112011
AIIDE 20122012
CIG 20122012
CIG 20162016
AIIDE 20172017
CIG 20182018
FDG 20182018
CoG 20192019

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.