( en | de | ru )

 

Disambiguation of "Koopmann, Patrick"

Author of the publication

copydeleteadd this publication to your clipboard
Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources.

, , , , , and . (May 2022)

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.

Patrick Koopmann

Walter Koopmann

Jürgen Koopmann

Rüdiger Koopmann

Regine Koopmann

 

Other publications of authors with the same name

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