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 5: | Zeile 5: | ||
<br> | <br> | ||
Auf der [https://2023.declarativeai.net/events/ruleml-rr 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. | Auf der [https://2023.declarativeai.net/events/ruleml-rr 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. | ||
<br> | |||
<br> | <br> | ||
Das mit dem Award ausgezeichnete Paper "Combining Proofs for Description Logic and Concrete Domain Reasoning" von [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] und Alisa Kovtunova befasst sich mit Methoden, um Beweise für die von DL-Reasonern abgeleiteten Fakten möglichst benutzerfreundlich darzustellen. | Das mit dem Award ausgezeichnete Paper "Combining Proofs for Description Logic and Concrete Domain Reasoning" von [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] und Alisa Kovtunova befasst sich mit Methoden, um Beweise für die von DL-Reasonern abgeleiteten Fakten möglichst benutzerfreundlich darzustellen. | ||
| Zeile 12: | Zeile 13: | ||
<br> | <br> | ||
The [https://2023.declarativeai.net/events/ruleml-rr International Joint Conference on Rules and Reasoning] (RuleML+RR) is an annual gathering of leading experts in the rule based reasoning area. It provides a platform for researchers, academics, and industry professionals to exchange ideas and share the latest developments in these crucial fields. | The [https://2023.declarativeai.net/events/ruleml-rr International Joint Conference on Rules and Reasoning] (RuleML+RR) is an annual gathering of leading experts in the rule based reasoning area. It provides a platform for researchers, academics, and industry professionals to exchange ideas and share the latest developments in these crucial fields. | ||
<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], Alisa Kovtunova; focuses on how to compute and display proofs for consequences derived by DL reasoners extended with Concrete Domains in an user-friendly way. | 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], Alisa Kovtunova; focuses on how to compute and display proofs for consequences derived by DL reasoners extended with Concrete Domains in an user-friendly way. | ||
Version vom 5. Oktober 2023, 16:26 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.
