( en | de | ru )

 

Disambiguierung von "Alrabbaa, Christian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Finding Small Proofs for Description Logic Entailments: Theory and Practice.

, , , , und . LPAR, Volume 73 von EPiC Series in Computing, Seite 32-67. EasyChair, (2020)

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.

Christian Christian

Christian Winter

Gold-katalysierte Cycloisomerisierung funktionalisierter Allene und Anwendung in der Naturstoffsynthese. TU Dortmund, (2009)

Christian Helbig

Synthese und Charakterisierung von metallorganischen Bronzen. Uni Augsburg, (2009)

Christian Schüller

Automatisierte Feedbackgenerierung in der benutzerzentrierten Softwareentwicklung am Beispiel mobiler Anwendungen. TU München, (2009)

Christian Döring

Die Expression der E3 Ligasen Murf - 1 und MafBx nach Induktion einer Herzinsuffizienz, Einfluss von körperlichem Training. Uni Leipzig, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version., , , , , und . CoRR, (2022)Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures., , , , und . CADE, Volume 12699 von Lecture Notes in Computer Science, Seite 291-308. Springer, (2021)Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging., , , , , und . Comput. Graph. Forum, (September 2023)Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report)., , , , und . CoRR, (2020)Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report)., , , und . CoRR, (2022)Why Not? Explaining Missing Entailments with Evee., , , , und . Description Logics, Volume 3515 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)Explaining Ontology-Mediated Query Answers Using Proofs over Universal Models., , , und . RuleML+RR, Volume 13752 von Lecture Notes in Computer Science, Seite 167-182. Springer, (2022)Finding Small Proofs for Description Logic Entailments: Theory and Practice., , , , und . LPAR, Volume 73 von EPiC Series in Computing, Seite 32-67. EasyChair, (2020)Counter Model Transformation for Explaining Non-Subsumption in EL., , und . FCR@KI, Volume 2961 von CEUR Workshop Proceedings, Seite 9-22. CEUR-WS.org, (2021)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)