Graph-based Generation of Action-Adventure Dungeon Levels using Answer Set Programming
A case study of expressively constrainable level design automation tools for a puzzle game