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
Finding good proofs for Description Logic entailments using recursive quality measures

, , , , and . Automated Deduction -- CADE 28, Springer International Publishing, Cham, (2021)

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)Optimal ABox Repair w.r.t.\ Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Extended Version), , , and . LTCS-Report, 22-01. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2022)Optimal Repairs in the Description Logic ℰℒ Revisited, , and . Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), September 20--22, 2023, Dresden, Germany, volume 14281 of Lecture Notes in Computer Science, page 11--34. Springer, (2023)Optimal Repairs in the Description Logic ℰℒ Revisited (Extended Version), , and . LTCS-Report, 23-03. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2023)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 ABox Repair w.r.t.\ Static $EL$ TBoxes: from Quantified ABoxes back to ABoxes (Extended Version), , , and . LTCS-Report, 22-01. Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, Dresden, Germany, (2022)Optimal Repairs in the Description Logic $EL$ Revisited, , and . Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), September 20--22, 2023, Dresden, Germany, volume 14281 of Lecture Notes in Computer Science, page 11--34. Springer, (2023)Optimal ABox Repair w.r.t. Static ℰℒ 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, volume 3263 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Metric temporal description logics with interval-rigid names, , , , and . ACM Trans. Comput. Log., 21 (4): 1--46 (October 2020)