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 EL TBoxes: from Quantified ABoxes back to ABoxes (Extended Version)

, , , and . LTCS-Report, Technische Universität Dresden, (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.

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

Other publications of authors with the same name

Computing Optimal Repairs of Quantified ABoxes w.r.t. Static $$EL$$ TBoxes, , , and . Automated Deduction -- CADE 28, Springer International Publishing, Cham, (2021)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 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)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)Semantic Technologies for Situation Awareness, , , , and . KI - Künstl. Intell., 34 (4): 543--550 (December 2020)