( en | de | ru )

 

Disambiguierung von "Koopmann, Patrick"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
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)

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.

Patrick Koopmann

Regine Koopmann

Walter Koopmann

Jürgen Koopmann

Rüdiger Koopmann

 

Weitere Publikationen von Autoren mit dem selben Namen

Towards Ontology-Based Realtime Behaviour Interpretation., , , und . Human Behavior Recognition Technologies, IGI Global, (2013)Planning with Ontology-Enhanced States using Problem-Dependent Rewritings., und . PLATO@ICAPS, Volume 3493 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)Evonne: Interactive Proof Visualization for Description Logics (System Description)., , , , , und . IJCAR, Volume 13385 von Lecture Notes in Computer Science, Seite 271-280. Springer, (2022)Practical Query Rewriting for DL-Lite with Numerical Predicates., , und . GCAI, Volume 65 von EPiC Series in Computing, Seite 15-27. EasyChair, (2019)Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)., , , , und . Description Logics, Volume 3263 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)Visualising Proofs and the Modular Structure of Ontologies to Support Ontology Repair., , , , und . Description Logics, Volume 2663 von CEUR Workshop Proceedings, CEUR-WS.org, (2020)First Results on How to Certify Subsumptions Computed by the EL Reasoner ELK Using the Logical Framework with Side Conditions., , und . Description Logics, Volume 2663 von CEUR Workshop Proceedings, CEUR-WS.org, (2020)Efficient Computation of General Modules for ALC Ontologies (Extended Abstract)., , , und . Description Logics, Volume 3515 von CEUR Workshop Proceedings, CEUR-WS.org, (2023)Combining Proofs for Description Logic and Concrete Domain Reasoning., , , , und . RuleML+RR, Volume 14244 von Lecture Notes in Computer Science, Seite 54-69. Springer, (2023)Efficient Computation of General Modules for ALC Ontologies., , , und . IJCAI, Seite 3356-3364. ijcai.org, (2023)