( en | de | ru )

 

Disambiguation of "Borgwardt, Stefan"

Author of the publication

copydeleteadd this publication to your clipboard
Evonne: Interactive Proof Visualization for Description Logics (System Description).

, , , , , and . IJCAR, volume 13385 of Lecture Notes in Computer Science, page 271-280. Springer, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stefan Borgwardt

Stefan Borgwardt

Eva Borgwardt

Sönke Borgwardt

Jens Borgwardt

 

Other publications of authors with the same name

Finding Small Proofs for Description Logic Entailments: Theory and Practice., , , , and . LPAR, volume 73 of EPiC Series in Computing, page 32-67. EasyChair, (2020)Finite Lattices Do Not Make Reasoning in ALCI Harder., and . URSW, volume 778 of CEUR Workshop Proceedings, page 51-62. CEUR-WS.org, (2011)Description Logics over Lattices with Multi-Valued Ontologies., and . IJCAI, page 768-773. IJCAI/AAAI, (2011)Computing ABox Justifications for Query Answers via Datalog Rewriting., , and . Description Logics, volume 3515 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract)., , , , and . Description Logics, volume 2954 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Logic-Guided Neural Utterance Generation from Drone Sensory Data (Extended Abstract)., , , , , and . Description Logics, volume 2954 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)In the Hand of the Beholder: Comparing Interactive Proof Visualizations., , , , , and . Description Logics, volume 2954 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne., , , , , and . Description Logics, volume 3263 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies., , , and . Description Logics, volume 3263 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes., , and . Description Logics, volume 846 of CEUR Workshop Proceedings, CEUR-WS.org, (2012)