Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Dr.-Ing. Stefan Borgwardt
Person

Zugehörigkeiten

Professur für Automatentheorie
- Wissenschaftliches Personal
- stefan.borgwardt@tu-dresden.de

Forschungsgebiete

Knowledge representation, description logics, metric temporal logics, fuzzy logics, probabilistic logics

Identifizierungsnummern

ORCID	0000-0003-0924-8478
Scopus Autor ID	47361145500

Veröffentlichungen
Auszeichnungen

The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains

De Bortoli, F., Borgwardt, S. & Koopmann, P., Juni 2024, Proceedings of the 37th International Workshop on Description Logics (DL 2024). Giordano, L., Jung, J. C. & Ozaki, A. (Hrsg.). CEUR-WS.org, Band 3739.

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

Explaining Reasoning Results for OWL Ontologies with Evee

Alrabbaa, C., Borgwardt, S., Friese, T., Hirsch, A., Knieriemen, N., Koopmann, P., Kovtunova, A., & 3 weitereKrüger, A., Popovic, A. & Siahaan, I. S. R., 2024, Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning -- KR in the Wild. S. 709–719

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

Why Not? Explaining Missing Entailments with Evee (Technical Report)

Alrabbaa, C., Borgwardt, S., Friese, T., Koopmann, P. & Kotlov, M., 14 Aug. 2023.

Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)

Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report)

Alrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 7 Aug. 2023.

Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)

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. (Hrsg.). S. 54-69 16 S. (Lecture Notes in Computer Science, Volume 14244).

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

Alle Veröffentlichungen ansehen (168)

Alle Auszeichnungen ansehen (8)

Forschungsportal der TU Dresden

Dr.-Ing. Stefan Borgwardt
Person

Zugehörigkeiten

Forschungsgebiete

Identifizierungsnummern

The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains

Explaining Reasoning Results for OWL Ontologies with Evee

Why Not? Explaining Missing Entailments with Evee (Technical Report)

Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report)

Combining Proofs for Description Logic and Concrete Domain Reasoning

Harold Boley Distinguished Paper Award

Best Paper Award

Best Paper Award at the 16th European Conference on Logics in Artificial Intelligence (JELIA'19)

Best Paper Award at the 28th Australasian Joint Conference on Artificial Intelligence (AI'15)

Commerzbank Award