Unüberwachtes Lernen von Ereignisstrukturen

von Koopmann, Patrick
Veröffentlicht 2009

Optimal Repairs in the Description Logic EL Revisited

von Baader, Franz
Veröffentlicht in JELIA (18. : 2023 : Dresden) Logics in artificial intelligence (2023)

SCENIOR: ontology-based interpretation of aircraft service activities

von Bohlken, Wilfried
Veröffentlicht 2011

Computing Optimal Repairs of Quantified ABoxes w.r.t. Static EL TBoxes

von Baader, Franz
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)

eTRIMS scene interpretation datasets

Veröffentlicht 2010

Connection-Minimal Abduction in EL via Translation to FOL

von Haifani, Fajar
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)

Optimal ABox Repair w.r.t. Static EL TBoxes: From Quantified ABoxes Back to ABoxes

von Baader, Franz
Veröffentlicht in ESWC (19. : 2022 : Chersonēsos) The semantic web (2022)

SIGNATURE-BASED ABDUCTION FOR EXPRESSIVE DESCRIPTION LOGICS

von Koopmann, Patrick
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 2 of 2 (2021)

Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures

von Alrabbaa, Christian
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)

Evonne: Interactive Proof Visualization for Description Logics (System Description)

von Alrabbaa, Christian
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)