Weiter zum Inhalt Weiter zur Fußzeile

Best Paper Award

Auszeichnung: PreisPublikations-/Konferenzpreis

Empfänger:innen

BekanntheitsgradInternational

Konferenz

Titel6th International Joint Conference on Rules and Reasoning
KurztitelRuleML+RR 2022
Veranstaltungsnummer6
Dauer26 - 28 September 2022
BekanntheitsgradInternationale Veranstaltung
Ortonline
StadtBerlin
LandDeutschland

Verknüpfte Inhalte

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/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung