Best Paper Award

Auszeichnung: Preis › Publikations-/Konferenzpreis

Empfänger:innen

Christian Alrabbaa - , Professur für Automatentheorie
Stefan Borgwardt - , Professur für Automatentheorie
Anke Hirsch -
Nina Knieriemen -
Alisa Kovtunova - , Professur für Automatentheorie
Anna Milena Rothermel -
Frederik Wiehr -

Datum der Verleihung	2022
Bekanntheitsgrad	International

Konferenz

Titel	6th International Joint Conference on Rules and Reasoning
Kurztitel	RuleML+RR 2022
Veranstaltungsnummer	6
Dauer	26 - 28 September 2022
Bekanntheitsgrad	Internationale Veranstaltung
Ort	online
Stadt	Berlin
Land	Deutschland

Verknüpfte Inhalte

Veröffentlichungen

In the Head of the Beholder: Comparing Different Proof Representations

Alrabbaa, C., Borgwardt, S., Hirsch, A., Knieriemen, N., Kovtunova, A., Rothermel, A. M. & Wiehr, F., 2022, Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR’22). Governatori, G. & Turhan, A-Y. (Hrsg.). Springer, Berlin [u. a.], S. 211-226 16 S. (Lecture Notes in Computer Science, Volume 13752).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (1)

Forschungsportal der TU Dresden

Empfänger:innen

Konferenz

Verknüpfte Inhalte