A logical game engine for modeling videogames"

Smith, A.M., Nelson, M.J. and Mateas, M. "LUDOCORE: A logical game engine for modeling videogames". Proceedings of the IEEE Conference on Computational Intelligence and Games.: pp. 91--98. 2010.

2010