PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Koopmann, Patrick"

Author of the publication

copydeleteadd this publication to your clipboard
Efficient TBox Reasoning with Value Restrictions using the wer Reasoner

, , , , and . Theory and Practice of Logic Programming, (October 2021)
DOI: 10.1017/S1471068421000466

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.

No persons found for author name Koopmann, Patrick
add a person with the name Koopmann, Patrick
 

Other publications of authors with the same name

Finding good proofs for Description Logic entailments using recursive quality measures, , , , and . Automated Deduction -- CADE 28, Springer International Publishing, Cham, (2021)Computing Optimal Repairs of Quantified ABoxes w.r.t. Static $$EL$$ TBoxes, , , and . Automated Deduction -- CADE 28, Springer International Publishing, Cham, (2021)Optimal ABox Repair w.r.t. Static EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Version), , , and . LTCS-Report, Technische Universität Dresden, (2022)Finding small proofs for Description Logic entailments: Theory and practice, , , , and . EasyChair, (2020)Efficient TBox Reasoning with Value Restrictions using the wer Reasoner, , , , and . Theory and Practice of Logic Programming, (October 2021)Optimal repairs in the description logic $$EL$$ revisited, , and . Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, (2023)Metric temporal description logics with interval-rigid names, , , , and . ACM Trans. Comput. Log., 21 (4): 1--46 (October 2020)Optimal ABox Repair w.r.t. Static $EL$ TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract), , , and . Proceedings of the 35th International Workshop on Description Logics (DL 2022), Haifa, Israel, August 7--10, 2022, CEUR-WS.org, (2022)Computing Optimal Repairs of Quantified ABoxes w.r.t. Static $EL$ TBoxes, , , and . Automated Deduction -- CADE 28, Springer International Publishing, Cham, (2021)Evonne: Interactive Proof Visualization for Description Logics (System Description), , , , , and . Automated Reasoning, page 271--280. Cham, Springer International Publishing, (2022)