Patrick Koopmann und Alisa Kovtunova - Info zur Person

(1 - 5 von 7

)

Explaining Ontology-Mediated Query Answers using ...arXiv

arxiv.org

von C Alrabbaa · — ... using Proofs over Universal Models (Technical Report). Authors:Christian Alrabbaa, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova.

Finding Proofs for Description Logic Entailments in Practice

lat.inf.tu-dresden.de

WebChristian Alrabbaa Stefan Borgwardt Patrick Koopmann Alisa Kovtunova Finding Proofs for Description Logic Entailments in Practice Based on Finding Small Proofs for Description …

Staff — Chair of Automata Theory — TU Dresden

tu-dresden.de

WebAug 24, · Anni-Yasmin Turhan, Francesco Kriegel, Kerstin Achtruth, Patrick Koopmann, Alisa Kovtunova, Sandy Seifarth-Haupold, Franz Baader, Christian Alrabbaa, …

Stefan Borgwardt - TU Dresden

lat.inf.tu-dresden.de

WebDec 19, · Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, and Alisa Kovtunova. Finding good proofs for description logic entailments using recursive …

Description Logics CEUR-WS.org

ceur-ws.org

WebChristian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova; Restricted Unification in the DL FL0 (Extended Abstract) Franz Baader, Oliver Fernández …

Alle Infos zum Namen "Patrick Koopmann"

Verwandte Suchanfragen zu Patrick Koopmann

Franz Baader
Anni-Yasmin Turhan
Julián Méndez

Veronika Thost
Stefan Borgwardt
Renate Schmidt

Clemens Dubslaff
Christoph Weidenbach
Katharina Kollek

Person "Koopmann" (8)
Vorname "Patrick" (48799)
Name "Koopmann" (732)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z