Best Paper Award

Prize: Publication/Conference prize

Recipients

Christian Alrabbaa - , Chair of Automata Theory
Stefan Borgwardt - , Chair of Automata Theory
Anke Hirsch -
Nina Knieriemen -
Alisa Kovtunova - , Chair of Automata Theory
Anna Milena Rothermel -
Frederik Wiehr -

Awarded date	2022
Degree of recognition	International

Conference

Title	6th International Joint Conference on Rules and Reasoning
Abbreviated title	RuleML+RR 2022
Conference number	6
Duration	26 - 28 September 2022
Website	https://2022.declarativeai.net/events/ruleml-rr
Degree of recognition	International event
Location	Online
City	Berlin
Country	Germany

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. (eds.). Springer, Berlin [u. a.], p. 211-226 16 p. (Lecture Notes in Computer Science, Volume 13752).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

View all research output (1)

Research Portal of the TU Dresden

Best Paper Award

Recipients

Conference

Related content

In the Head of the Beholder: Comparing Different Proof Representations