News96: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Larry Gonzalez (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Best Paper Award für Forschende der ICCL |Titel EN=ICCL Researchers win Best Paper Award at SAC 2024 |Beschreibung DE=Franz Baader und Filippo De Bortoli erhielten den Best Paper Award im Information Systems Track des [https://www.sigapp.org/sac/sac2024/ 39th ACM/SIGAPP Symposium on Applied Computing]. Ausgezeichnet wurde das Paper [https://iccl.inf.tu-dresden.de/web/Inproceedings3377 "The Abstract Expressive Power of First-…“) |
Larry Gonzalez (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 3: | Zeile 3: | ||
|Titel EN=ICCL Researchers win Best Paper Award at SAC 2024 | |Titel EN=ICCL Researchers win Best Paper Award at SAC 2024 | ||
|Beschreibung DE=[[Franz Baader]] und [[Filippo De Bortoli]] erhielten den Best Paper Award im Information Systems Track des [https://www.sigapp.org/sac/sac2024/ 39th ACM/SIGAPP Symposium on Applied Computing]. Ausgezeichnet wurde das Paper [https://iccl.inf.tu-dresden.de/web/Inproceedings3377 "The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains]." In diesem Werk vergleichen die Autoren die Ausdrucksstärke von Prädikatenlogik erster Stufe mit der von Beschreibungslogiken erweitert um konkrete Domänen. Konkrete Domänen erlauben es, Objekte wie Zahlen und bestimmte Prädikate auf diesen Objekten wie Vergleichsoperationen innerhalb einer Beschreibungslogik zu referenzieren. | |Beschreibung DE=[[Franz Baader]] und [[Filippo De Bortoli]] erhielten den Best Paper Award im Information Systems Track des [https://www.sigapp.org/sac/sac2024/ 39th ACM/SIGAPP Symposium on Applied Computing]. Ausgezeichnet wurde das Paper [https://iccl.inf.tu-dresden.de/web/Inproceedings3377 "The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains]." In diesem Werk vergleichen die Autoren die Ausdrucksstärke von Prädikatenlogik erster Stufe mit der von Beschreibungslogiken erweitert um konkrete Domänen. Konkrete Domänen erlauben es, Objekte wie Zahlen und bestimmte Prädikate auf diesen Objekten wie Vergleichsoperationen innerhalb einer Beschreibungslogik zu referenzieren. | ||
<br> | |||
Herzlichen Glückwunsch! | Herzlichen Glückwunsch! | ||
|Beschreibung EN=[[Franz Baader]] and [[Filippo De Bortoli]] received the Best Paper Award in the Information Systems area at the [https://www.sigapp.org/sac/sac2024/ 39th ACM/SIGAPP Symposium on Applied Computing] for the paper [https://iccl.inf.tu-dresden.de/web/Inproceedings3377 "The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains"], in which they investigate and compare formal first-order properties of description logics and first-order logic with and without concrete domain constructors, which have been introduced in description logics to enable reference to specific features of entities and their comparison. | |Beschreibung EN=[[Franz Baader]] and [[Filippo De Bortoli]] received the Best Paper Award in the Information Systems area at the [https://www.sigapp.org/sac/sac2024/ 39th ACM/SIGAPP Symposium on Applied Computing] for the paper [https://iccl.inf.tu-dresden.de/web/Inproceedings3377 "The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains"], in which they investigate and compare formal first-order properties of description logics and first-order logic with and without concrete domain constructors, which have been introduced in description logics to enable reference to specific features of entities and their comparison. | ||
<br> | |||
We congratulate to the authors for this outstanding archivement! | We congratulate to the authors for this outstanding archivement! | ||
|Datum=2024/04/19 | |Datum=2024/04/19 | ||
|Bild=2024.04.18-filippo-best-paper.jpeg | |Bild=2024.04.18-filippo-best-paper.jpeg | ||
}} | }} | ||
Version vom 19. April 2024, 09:38 Uhr
Neuigkeit vom 19. April 2024
Best Paper Award für Forschende der ICCL
Franz Baader und Filippo De Bortoli erhielten den Best Paper Award im Information Systems Track des 39th ACM/SIGAPP Symposium on Applied Computing. Ausgezeichnet wurde das Paper "The Abstract Expressive Power of First-Order and Description Logics with Concrete Domains." In diesem Werk vergleichen die Autoren die Ausdrucksstärke von Prädikatenlogik erster Stufe mit der von Beschreibungslogiken erweitert um konkrete Domänen. Konkrete Domänen erlauben es, Objekte wie Zahlen und bestimmte Prädikate auf diesen Objekten wie Vergleichsoperationen innerhalb einer Beschreibungslogik zu referenzieren.
