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
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)
DOI: https://doi.org/10.25368/2022.65

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

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)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)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 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)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)Metric temporal description logics with interval-rigid names, , , , and . ACM Trans. Comput. Log., 21 (4): 1--46 (October 2020)The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains, , and . Proceedings of the 37th International Workshop on Description Logics (DL'24), volume 3739 of CEUR Workshop Proceedings, Bergen, Norway, CEUR-WS, (2024)The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains, , and . Proceedings of the 37th International Workshop on Description Logics (DL 2024), 3739, CEUR-WS.org, (June 2024)Optimal ABox Repair w.r.t.\ Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes, , , and . Proceedings of the 19th Extended Semantic Web Conference, ESWC 2022, Hersonissos, Greece, May 29 -- June 2, 2022, volume 13261 of Lecture Notes in Computer Science, page 130--146. Springer, (2022)