Towards Generating Effective Explanations of Logical Formulas: Challenges and Strategies Alexandra Mayn author Kees van Deemter author 2020-11 text 2nd Workshop on Interactive Natural Language Technology for Explainable Artificial Intelligence Jose M Alonso editor Alejandro Catala editor Association for Computational Linguistics Dublin, Ireland conference publication mayn-van-deemter-2020-towards https://aclanthology.org/2020.nl4xai-1.9/ 2020-11 39 43