Kelly, J., Calderwood, A., Wardrip-Fruin, N. and 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 (Oct. 2023), 64-74. DOI:https://doi.org/10.1609/aiide.v19i1.27502.