Kelly, J., Calderwood, A., Wardrip-Fruin, N., & Mateas, M. (2023). There and Back Again: Extracting Formal Domains for Controllable Neurosymbolic Story Authoring. Proceedings of the AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 19(1), 64-74. https://doi.org/10.1609/aiide.v19i1.27502