Kelly, Jack, Alex Calderwood, Noah Wardrip-Fruin, and Michael Mateas. “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, no. 1 (October 6, 2023): 64-74. Accessed October 18, 2024. https://ojs.aaai.org/index.php/AIIDE/article/view/27502.