( en | de | ru )

 

Disambiguation of "Alrabbaa, Christian"

Author of the publication

copydeleteadd this publication to your clipboard
Faceted Answer-Set Navigation.

, , and . RuleML+RR, volume 11092 of Lecture Notes in Computer Science, page 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. You can also use the button next to the name to display some publications already assigned to the person.

Christian Christian

Christian Schüller

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

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 Gröling

Optimierungspotenzial bei Servoumrichtern für permanenterregte Synchronmaschinen. TU Braunschweig, (2009)
 

Other publications of authors with the same name

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