Stefan Borgwardt
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
37
Venues
11
Active years
2011–2025
Best venue rank
A*
Where they publish
Papers
37 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CADE | Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics. | Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann |
| 2025 | IJCNLP | ProofTeller: Exposing recency bias in LLM reasoning and its side effects on communication. | Mayank Jobanputra, Alisa Kovtunova, Brisca Balthes, Fedor Grigoryevich Pogulskiy, Yifan Wang, Stefan Borgwardt, Vera Demberg |
| 2025 | KR | Automated Planning with Ontologies Under Coherence Update Semantics. | Stefan Borgwardt, Duy Nhu, Gabriele Rger |
| 2024 | KR | Explaining Reasoning Results for OWL Ontologies with Evee. | Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Anke Hirsch, Nina Knieriemen, Patrick Koopmann, Alisa Kovtunova, Antonio Krger, Alexej Popovic, Ida S. R. Siahaan |
| 2022 | AAAI | Expressivity of Planning with Horn Description Logic Ontologies. | Stefan Borgwardt, Jrg Hoffmann, Alisa Kovtunova, Markus Krtzsch, Bernhard Nebel, Marcel Steinmetz |
| 2022 | AAAI | Classical Planning with Avoid Conditions. | Marcel Steinmetz, Jrg Hoffmann, Alisa Kovtunova, Stefan Borgwardt |
| 2022 | CADE | Evonne: Interactive Proof Visualization for Description Logics (System Description). | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julin Mndez |
| 2022 | LREC | Logic-Guided Message Generation from Raw Real-Time Sensor Data. | Ernie Chang, Alisa Kovtunova, Stefan Borgwardt, Vera Demberg, Kathryn Chapman, Hui-Syuan Yeh |
| 2021 | CADE | Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova |
| 2021 | ICMI | Why Do I Have to Take Over Control? Evaluating Safe Handovers with Advance Notice and Explanations in HAD. | Frederik Wiehr, Anke Hirsch, Lukas Schmitz, Nina Knieriemen, Antonio Krger, Alisa Kovtunova, Stefan Borgwardt, Ernie Chang, Vera Demberg, Marcel Steinmetz, Jrg Hoffmann |
| 2021 | KR | Making DL-Lite Planning Practical. | Stefan Borgwardt, Jrg Hoffmann, Alisa Kovtunova, Marcel Steinmetz |
| 2020 | LPAR | Finding Small Proofs for Description Logic Entailments: Theory and Practice. | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova |
| 2019 | AAAI | Ontology-Mediated Query Answering over Log-Linear Probabilistic Data. | Stefan Borgwardt, Ismail Ilkan Ceylan, Thomas Lukasiewicz |
| 2019 | IJCAI | Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies. | Stefan Borgwardt, Walter Forkel |
| 2019 | JELIA | Closed-World Semantics for Conjunctive Queries with Negation over | Stefan Borgwardt, Walter Forkel |
| 2018 | IJCAI | Recent Advances in Querying Probabilistic Knowledge Bases. | Stefan Borgwardt, Ismail Ilkan Ceylan, Thomas Lukasiewicz |
| 2018 | WWW | Patient Selection for Clinical Trials Using Temporalized Ontology-Mediated Query Answering. | Franz Baader, Stefan Borgwardt, Walter Forkel |
| 2017 | AAAI | Ontology-Mediated Queries for Probabilistic Databases. | Stefan Borgwardt, Ismail Ilkan Ceylan, Thomas Lukasiewicz |
| 2017 | IJCAI | Query Rewriting for DL-Lite with n-ary Concrete Domains. | Franz Baader, Stefan Borgwardt, Marcel Lippmann |
| 2017 | IJCAI | Most Probable Explanations for Probabilistic Database Queries. | Ismail Ilkan Ceylan, Stefan Borgwardt, Thomas Lukasiewicz |
| 2016 | IJCAI | Preferential Query Answering over the Semantic Web with Possibilistic Networks. | Stefan Borgwardt, Bettina Fazzinga, Thomas Lukasiewicz, Akanksha Shrivastava, Oana Tifrea-Marciuska |
| 2015 | IJCAI | The Complexity of Subsumption in Fuzzy EL. | Stefan Borgwardt, Marco Cerami, Rafael Pealoza |
| 2015 | IJCAI | Temporal Query Answering in the Description Logic EL. | Stefan Borgwardt, Veronika Thost |
| 2014 | CADE | Many-valued Horn Logic is Hard. | Stefan Borgwardt, Marco Cerami, Rafael Pealoza |
| 2014 | JELIA | The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics. | Stefan Borgwardt, Jos A. Leyva Galano, Rafael Pealoza |
| 2014 | KR | Decidable Gdel Description Logics without the Finitely-Valued Model Property. | Stefan Borgwardt, Felix Distel, Rafael Pealoza |
| 2013 | CADE | Temporalizing Ontology-Based Data Access. | Franz Baader, Stefan Borgwardt, Marcel Lippmann |
| 2013 | IJCAI | Positive Subsumption in Fuzzy EL with General t-Norms. | Stefan Borgwardt, Rafael Pealoza |
| 2012 | AiML | Computing Minimal EL-unifiers is Hard. | Franz Baader, Stefan Borgwardt, Barbara Morawska |
| 2012 | CADE | SAT Encoding of Unification in ℇℒℋ | Franz Baader, Stefan Borgwardt, Barbara Morawska |
| 2012 | CADE | Recent Advances in Unification for the EL Family. | Franz Baader, Stefan Borgwardt, Barbara Morawska |
| 2012 | CADE | How Fuzzy Is My Fuzzy Description Logic? | Stefan Borgwardt, Felix Distel, Rafael Pealoza |
| 2012 | KR | Extending Unification in EL Towards General TBoxes. | Franz Baader, Stefan Borgwardt, Barbara Morawska |
| 2012 | KR | Undecidability of Fuzzy Description Logics. | Stefan Borgwardt, Rafael Pealoza |
| 2012 | LPAR | Finding Finite Herbrand Models. | Stefan Borgwardt, Barbara Morawska |
| 2011 | CADE | Unification in the Description Logic | Franz Baader, Thanh Binh Nguyen, Stefan Borgwardt, Barbara Morawska |
| 2011 | IJCAI | Description Logics over Lattices with Multi-Valued Ontologies. | Stefan Borgwardt, Rafael Pealoza |