Harold Boley Distinguished Paper Award

Prize: Publication/Conference prize

Recipients

Christian Alrabbaa - , Chair of Automata Theory
Franz Baader - , Chair of Automata Theory
Stefan Borgwardt - , Chair of Automata Theory
Patrick Koopmann -
Alisa Kovtunova - , Chair of Automata Theory

Awarded date	2023
Degree of recognition	International

Conference

Title	7th International Joint Conference on Rules and Reasoning
Abbreviated title	RuleML+RR 2023
Conference number	7
Duration	18 - 21 September 2023
Degree of recognition	International event
City	Oslo
Country	Norway

Combining Proofs for Description Logic and Concrete Domain Reasoning

Alrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2023, Rules and Reasoning: 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18–20, 2023, Proceedings. Fensel, A., Ozaki, A., Roman, D. & Soylu, A. (eds.). p. 54-69 16 p. (Lecture Notes in Computer Science, Volume 14244).

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

Harold Boley Distinguished Paper Award

Recipients

Conference

Related content

Combining Proofs for Description Logic and Concrete Domain Reasoning