Best Paper Award bei CLAR 2023

Die Forschungsarbeit

Solving Modal Logic Problems by Translation to Higher-order Logic.

präsentiert die Ergebnisse einer laufenden Zusammenarbeit zwischen Prof. Christoph Benzmüller vom AISE-Team an der U Bamberg mit Prof. Alexander Steen (U Greifswald), Tobias Scholl (Independent) und Prof. Geoff Sutcliffe (U Miami, USA). Auf der 5. Internationalen Konferenz über Logik und Argumentation wurde es mit dem Preis für die beste Arbeit ausgezeichnet. Die Konferenz wurde im Rahmen des Zhejiang University Logic and AI Summit (ZJULogAI 2023) vom 10. bis 12. September 2023 in Hangzhou, China, organisiert.

Angaben zur Veröffentlichung:

Solving Modal Logic Problems by Translation to Higher-order Logic. Steen, A., Sutcliffe, G., Scholl, T., & Benzmüller, C. In Herzig, A., Luo, J., & Pardo, P., editor(s), Logic and Argumentation, 5th International Conference, CLAR 2023, Hangzhou, China, September 2023, Proceedings, volume 14156 of Lecture Notes in Artificial Intelligence, pages 25-43, 2023. Springer. doi