( en | de | ru )

 

Disambiguierung von "Koopmann, Patrick"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Finding Small Proofs for Description Logic Entailments: Theory and Practice (Extended Technical Report).

, , , , und . CoRR, (2020)

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

Walter Koopmann

Jürgen Koopmann

Rüdiger Koopmann

Regine Koopmann

 

Weitere Publikationen von Autoren mit dem selben Namen

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)Towards Ontology-Based Realtime Behaviour Interpretation., , , und . Human Behavior Recognition Technologies, IGI Global, (2013)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)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)Practical Query Rewriting for DL-Lite with Numerical Predicates., , und . GCAI, Volume 65 von EPiC Series in Computing, Seite 15-27. EasyChair, (2019)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)Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources., , , , und . (August 2023)