( en | de | ru )

 

Disambiguierung von "Borgwardt, Stefan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Why Not? Explaining Missing Entailments with Evee.

, , , , und . Description Logics, Volume 3515 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Stefan Borgwardt

Stefan Borgwardt

Eva Borgwardt

Sönke Borgwardt

Jens Borgwardt

 

Weitere Publikationen von Autoren mit dem selben Namen

Finding Small Proofs for Description Logic Entailments: Theory and Practice., , , , und . LPAR, Volume 73 von EPiC Series in Computing, Seite 32-67. EasyChair, (2020)Finite Lattices Do Not Make Reasoning in ALCI Harder., und . URSW, Volume 778 von CEUR Workshop Proceedings, Seite 51-62. CEUR-WS.org, (2011)Description Logics over Lattices with Multi-Valued Ontologies., und . IJCAI, Seite 768-773. IJCAI/AAAI, (2011)Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes., , und . RuleML+RR, Volume 11784 von Lecture Notes in Computer Science, Seite 3-18. Springer, (2019)Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract)., , , , und . Description Logics, Volume 2954 von CEUR Workshop Proceedings, CEUR-WS.org, (2021)Logic-Guided Neural Utterance Generation from Drone Sensory Data (Extended Abstract)., , , , , und . Description Logics, Volume 2954 von CEUR Workshop Proceedings, CEUR-WS.org, (2021)In the Hand of the Beholder: Comparing Interactive Proof Visualizations., , , , , und . Description Logics, Volume 2954 von CEUR Workshop Proceedings, CEUR-WS.org, (2021)On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne., , , , , und . Description Logics, Volume 3263 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies., , , und . Description Logics, Volume 3263 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes., , und . Description Logics, Volume 846 von CEUR Workshop Proceedings, CEUR-WS.org, (2012)