Christian Alrabbaa
Orcid: 0000-0002-2925-1765
According to our database1,
Christian Alrabbaa
authored at least 33 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2018
2019
2020
2021
2022
2023
2024
0
5
10
3
4
1
1
1
2
6
4
4
1
1
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
2023
Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging.
Comput. Graph. Forum, September, 2023
Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources.
Dataset, August, 2023
Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources.
Dataset, August, 2023
Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML23 - Resources.
Dataset, August, 2023
Combining Proofs for Description Logic and Concrete Domain Reasoning (Technical Report).
CoRR, 2023
Proceedings of the Rules and Reasoning - 7th International Joint Conference, 2023
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023
2022
Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources.
Dataset, May, 2022
Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report).
CoRR, 2022
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report).
CoRR, 2022
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version).
CoRR, 2022
Evonne: Interactive Proof Visualization for Description Logics (System Description) - Extended Version.
CoRR, 2022
Proceedings of the Rules and Reasoning, 2022
Proceedings of the Rules and Reasoning, 2022
Proceedings of the 11th International Joint Conference on Knowledge Graphs, 2022
Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies.
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne.
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022
2021
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Technical Report).
CoRR, 2021
Proceedings of the 7th Workshop on Formal and Cognitive Reasoning co-located with the 44th German Conference on Artificial Intelligence (KI 2021), 2021
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021
Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract).
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021
Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures.
Proceedings of the Automated Deduction - CADE 28, 2021
2020
Finding Small Proofs for Description Logic Entailments: Theory and Practice - LPAR20 - Resources.
Dataset, May, 2020
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report).
CoRR, 2020
Towards Designing a Tool For Understanding Proofs in Ontologies through Combined Node-Link Diagrams.
Proceedings of the Fifth International Workshop on Visualization and Interaction for Ontologies and Linked Data co-located with the 19th International Semantic Web Conference (ISWC 2020), 2020
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020
Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair.
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020
Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020
2019
Proceedings of the GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, 2019
2018
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018