News90: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Larry Gonzalez (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Larry Gonzalez (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 15: | Zeile 15: | ||
<br> | <br> | ||
<br> | <br> | ||
The winning paper "Combining Proofs for Description Logic and Concrete Domain Reasoning" authored by [https://iccl.inf.tu-dresden.de/web/Christian_Al-Rabbaa Christian Alrabbaa], [[Franz Baader]], [[Stefan Borgwardt]], [https://research.vu.nl/en/persons/patrick-koopmann Patrick Koopmann], and [https://lat.inf.tu-dresden.de/~alisa/ Alisa Kovtunova]; focuses on how to compute and display proofs for consequences derived by DL reasoners extended with Concrete Domains in | The winning paper "Combining Proofs for Description Logic and Concrete Domain Reasoning" authored by [https://iccl.inf.tu-dresden.de/web/Christian_Al-Rabbaa Christian Alrabbaa], [[Franz Baader]], [[Stefan Borgwardt]], [https://research.vu.nl/en/persons/patrick-koopmann Patrick Koopmann], and [https://lat.inf.tu-dresden.de/~alisa/ Alisa Kovtunova]; focuses on how to compute and display proofs for consequences derived by DL reasoners extended with Concrete Domains in a user-friendly way. | ||
<br> | <br> | ||
The Best Paper Award not only recognizes the ICCL's contributions to the field but also highlights the institute's commitment to advancing cutting-edge research in artificial intelligence and knowledge representation. | The Best Paper Award not only recognizes the ICCL's contributions to the field but also highlights the institute's commitment to advancing cutting-edge research in artificial intelligence and knowledge representation. | ||
Aktuelle Version vom 6. Oktober 2023, 08:53 Uhr
Neuigkeit vom 20. September 2023
ICCL-Forschende mit Distinguished Paper Award geehrt
Forscher:innen des International Center for Computational Logic (ICCL) der TU Dresden wurden mit dem Harol Boley Distinguished Paper Award auf der diesjährigen RuleML+RR Konferenz ausgezeichnet.
Auf der International Joint Conference on Rules and Reasoning (RuleML+RR) treffen sich jedes Jahr führende Experten:innen auf dem Gebiet der regelbasierten Logik. Die Konferenz bietet damit eine gemeinsame Plattform für Foscher:innen sowie Fachleuten aus der Industrie, sich über die neusten Entwicklungen und Ideen in diesem Gebiet auszutauschen.
Das mit dem Award ausgezeichnete Paper "Combining Proofs for Description Logic and Concrete Domain Reasoning" von Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann und Alisa Kovtunova befasst sich mit Methoden, um Beweise für die von DL-Reasonern abgeleiteten Fakten möglichst benutzerfreundlich darzustellen.
