AISE team members get papers accepted at various conferences and Journals: KI, CLAR, J.IGPL

The following papers/articles got accepted for publication:

  • 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. (
  • 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. (
  • 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. (