Dr.-Ing. Stefan Borgwardt
Office:Andreas-Pfitzmann-Bau (APB), Room 3023
Nöthnitzer Str. 46
01187 Dresden
Phone: +49 (351) 463 - 39 209
Email:
GPG public key: 0x8E40E391
ORCiD:
orcid.org/0000-0003-0924-8478
I am a research and teaching associate at the Chair of Automata Theory of Prof. Franz Baader at TU Dresden.
Projects
I am a project leader in the Center for Perspicuous Computing, funded by DFG CRC/Transregio 248, 2019–2026, in the projects A3 (Description Logic Explications, together with Franz Baader, Markus Krötzsch, and Antonio Krüger) and E2 (Safe Handover in Mixed-Initiative Control, together with Vera Demberg and Antonio Krüger). Our local research team consists of Alisa Kovtunova, Christian Alrabbaa, and Ida Siahaan.
Teaching
See the courses at the Chair of Automata Theory
Research Interests
- Formal properties of logical formalisms
- Explanation of logical reasoning
- Query answering using description logics
- Metric temporal logics
- Weighted logics (fuzzy, possibilistic, probabilistic)
- Reasoning with numerical domains
Awards
- Harold Boley Distinguished Paper Award at the 7th International Joint Conference on Rules and Reasoning (RuleML+RR'23) for the paper Combining Proofs for Description Logic and Concrete Domain Reasoning, together with Christian Alrabbaa, Franz Baader, Patrick Koopmann, and Alisa Kovtunova
- Quality Champion award for reviewing for the 26th European Conference on Artificial Intelligence (ECAI'23)
- Best Paper Award at the 6th International Joint Conference on Rules and Reasoning (RuleML+RR'22) for the paper In the Head of the Beholder: Comparing Different Proof Representations, together with Christian Alrabbaa, Anke Hirsch, Nina Knieriemen, Alisa Kovtunova, Anna Milena Rothermel, and Frederik Wiehr
- Best Paper Award at the 16th European Conference on Logics in Artificial Intelligence (JELIA'19) for the paper Closed-World Semantics for Conjunctive Queries with Negation over Ontologies, together with Walter Forkel
- Distinguished PC Member of the 27th International Joint Conference on Artificial Intelligence (IJCAI'18)
- Distinguished Reviewer of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17)
- Best Paper Award at the 28th Australasian Joint Conference on Artificial Intelligence (AI'15) for the paper Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles, together with Franz Baader and Marcel Lippmann
- Commerzbank Award (awarded to two selected PhD theses of 2014 at TU Dresden) for the PhD thesis Fuzzy Description Logics with General Concept Inclusions
- Distinguished Student Paper Award at the 27th International Workshop on Description Logics (DL'14) for the paper Fuzzy DLs over Finite Lattices with Nominals
- Distinguished Student Paper Award at the 26th International Workshop on Description Logics (DL'13) for the paper Temporal Query Answering in DL-Lite, together with Marcel Lippmann and Veronika Thost
- N. J. Lehmann Award 2011 of the TU Dresden for my diploma thesis The Infimum Problem as a Generalization of the Inclusion Problem for Automata
Other Activities
- Member of the Steering Committee of the International Workshop on Description Logics (DL), 2017–2023
- DL Representative on the Steering Committee of Principles of Knowledge Representation and Reasoning, Incorporated (KR Inc.), 2020–2023
- Technical co-chair of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023) in Dresden, Germany
- Workshops and Tutorials co-chair of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022) as part of FLoC 2022 in Haifa, Israel
- Virtual Conference Arrangements co-chair of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021) in (virtual) Hanoi, Vietnam
- PC co-chair of the 33rd International Workshop on Description Logics (DL 2020) in (virtual) Rhodes, Greece
- Local organizer of the colloquium on the occasion of Franz Baader's 60th birthday, 2019 at TU Dresden
- Member of the Organization Committee of the HQA Workshop 2018 and 2019
- PC Board member of IJCAI 2022–2024
- Senior PC member of AAAI 2024, AAAI 2023, IJCAI 2021, AAAI 2021, IJCAI 2020, ECAI 2020, AAAI 2020
- PC member of XLoKR 2020–2023, DL 2015–2023, ECAI 2023, KR 2020, KR 2018, IJCAI 2015–2019, and others
- Reviewer for Artificial Intelligence, Journal of the ACM, Journal of Artificial Intelligence Research, ACM Transactions on Computational Logic, Journal of Web Semantics, Semantic Web, IEEE Transactions on Fuzzy Systems, Fuzzy Sets and Systems, and others
Past Projects
- Joint ANR-DFG project Generating and Answering Ontological Queries over Semi-structured Medical Data (GoAsq), researcher
- DFG project BA 1122/17-1 Reasoning in Fuzzy Description Logics with General Concept Inclusion Axioms (FuzzyDL), researcher; see the project report
- DFG Research Training Group 1763 Quantitative Logics and Automata (QuantLA), associated doctoral student
- DFG Collaborative Research Center 912 Highly Adaptive Energy-Efficient Computing (HAEC), Project B02 "Semantic Technology for Context Awareness", researcher; see the project report
- DFG project BA 1122/14-1 Unification in Description Logics for Avoiding Redundancies in Medical Ontologies, assistant