Dr.-Ing. Stefan Borgwardt
Person

Affiliations

Professor (rtd.) for Automata Theory
- Academic Staff

Research interests

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

Identification Numbers

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

Automated Planning with Ontologies under Coherence Update Semantics (Extended Version)

Borgwardt, S., Nhu, D. & Röger, G., 2025, arXiv.

Research output: Preprint/Documentation/Report › Preprint

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics

Baader, F., Borgwardt, S., De Bortoli, F. & Koopmann, P., 2025, Automated Deduction - CADE 30 - 30th International Conference on Automated Deduction, 2025, Proceedings. Barrett, C. & Waldmann, U. (eds.). Springer, p. 676-695 20 p. (Lecture Notes in Artificial Intelligence (LNAI), Vol. 15943).

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

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)

Baader, F., Borgwardt, S., De Bortoli, F. & Koopmann, P., 2025, arXiv.

Research output: Preprint/Documentation/Report › Preprint

The Shape of ℰℒ Proofs: A Tale of Three Calculi (Extended Version)

Alrabbaa, C., Borgwardt, S., Herrmann, P. & Krötzsch, M., 2025, arXiv.

Research output: Preprint/Documentation/Report › Preprint

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

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

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

View all research output (175)

View all prizes (8)

Research Portal of the TU Dresden

Dr.-Ing. Stefan Borgwardt
Person

Affiliations

Research interests

Identification Numbers

Related content

Automated Planning with Ontologies under Coherence Update Semantics (Extended Version)

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)

The Shape of ℰℒ Proofs: A Tale of Three Calculi (Extended Version)

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

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