Declarative optimization-based drama management in interactive fiction | IEEE Journals & Magazine | IEEE Xplore