The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen

Personen und Einrichtungen

Filippo De Bortoli - , Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI Dresden), Professur für Automatentheorie (Redner:in)

Datum

29 Sept. 2025

Konferenz

Titel	15th International Symposium on Frontiers of Combining Systems
Kurztitel	FroCoS 2025
Veranstaltungsnummer	15
Beschreibung	part of FroCoS/ITP/TABLEAUX 2025
Dauer	29 September - 1 Oktober 2025
Webseite	https://icetcs.github.io/frocos-itp-tableaux25/frocos/
Bekanntheitsgrad	Internationale Veranstaltung
Ort	Reykjavík University
Stadt	Reykjavík
Land	Island

Verknüpfte Inhalte

Veröffentlichungen
Auszeichnungen

The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models

Baader, F. & De Bortoli, F., 2026, Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings. Thiemann, R. & Weidenbach, C. (Hrsg.). 1 Aufl. Springer, Cham, S. 22-39 18 S. (Lecture Notes in Computer Science, Band 15979).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (1)

Best Student Paper Award

De Bortoli, F. (Empfänger:in), 2025

Auszeichnung: Preis › Publikations-/Konferenzpreis

Alle Auszeichnungen ansehen (1)

Forschungsportal der TU Dresden

Personen und Einrichtungen

Datum

Konferenz

Verknüpfte Inhalte