Adam M. Smith Michael Mateas Answer Set Programming for Procedural Content Generation: A Design Space Approach. 187-200 2011 3 IEEE Trans. Comput. Intellig. and AI in Games 3 http://dx.doi.org/10.1109/TCIAIG.2011.2158545 db/journals/tciaig/tciaig3.html#SmithM11