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
Description	part of the event “Declarative AI: Rules, Reasoning, Decisions, and Explanations” and is co-located with DecisionCAMP 2023 and the Reasoning Web Summer School 2023
Duration	18 - 21 September 2023
Website	https://2023.declarativeai.net/events/ruleml-rr
Degree of recognition	International event
Location	Oslo Metropolitan University
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