( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Faceted Answer-Set Navigation.

, , и . RuleML+RR, том 11092 из Lecture Notes in Computer Science, стр. 211-225. Springer, (2018)

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.

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)
 

Другие публикации лиц с тем же именем

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