Kelly, Jack, Alex Calderwood, Noah Wardrip-Fruin, and Michael Mateas. 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.