Arbeiten von Mitglieder des AISE-Teams werden bei verschiedenen Konferenzen und Fachzeitschriften angenommen: KI, CLAR, J.IGPL
Die folgenden Arbeiten/Artikel wurden zur Veröffentlichung angenommen:
- PapagAI: Automated Feedback for Reflective Essays. Solopova, V., Rostom, E., Cremer, F., Gruszczynski, A., Witte, S., Zhang, C., Plößl, L., Romeike, R., Gläser-Zikuda, M., Benzmüller, C., & Landgraf, T. Accepted for KI 2023: 46th German Conference on Artificial Intelligence, Berlin, Germany, September 26-29, 2023. (https://ki2023.gi.de)
- Solving Modal Logic Problems by Translation to Higher-order Logic. Alexander Steen, G. S., & Benzmüller, C. Accepted for 5th International Conference on Logic and Argumentation, CLAR 2023, Hangzhou, China, September 2023. (https://www.zlaire.net/zjulogai2023/clar2023/)
- Investigations on Non-classical Logics with Recovery Operators: Negation. Fuenmayor, D. Accepted for Special Issue on Non-classical and Modal Predicate Logics of the Logic Journal of the IGPL, 2023. (https://academic.oup.com/jigpal)