PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Koopmann, Patrick"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Finding small proofs for Description Logic entailments: Theory and practice

, , , , und . EasyChair, (2020)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Koopmann, Patrick
Eine Person hinzufügen mit dem Namen Koopmann, Patrick
 

Weitere Publikationen von Autoren mit dem selben Namen

Computing Optimal Repairs of Quantified ABoxes w.r.t. Static $$EL$$ TBoxes, , , und . Automated Deduction -- CADE 28, Springer International Publishing, Cham, (2021)Finding good proofs for Description Logic entailments using recursive quality measures, , , , und . 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), , , und . LTCS-Report, Technische Universität Dresden, (2022)Finding small proofs for Description Logic entailments: Theory and practice, , , , und . EasyChair, (2020)Optimal repairs in the description logic $$EL$$ revisited, , und . Lecture Notes in Computer Science, Springer Nature Switzerland, Cham, (2023)Metric temporal description logics with interval-rigid names, , , , und . ACM Trans. Comput. Log., 21 (4): 1--46 (Oktober 2020)Optimal ABox Repair w.r.t. Static $EL$ TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract), , , und . 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, , , und . Automated Deduction -- CADE 28, Springer International Publishing, Cham, (2021)Evonne: Interactive Proof Visualization for Description Logics (System Description), , , , , und . Automated Reasoning, Seite 271--280. Cham, Springer International Publishing, (2022)Semantic Technologies for Situation Awareness, , , , und . KI - Künstl. Intell., 34 (4): 543--550 (Dezember 2020)