Woody Bledsoe Award

Auszeichnung: Preis › Sonstiger Preis

Empfänger:innen

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

Beschreibung

Travel Award

Datum der Verleihung	2025
Bekanntheitsgrad	International
Verleihende Organisationen	CADE Inc.

Konferenz

Titel	30th International Conference on Automated Deduction
Kurztitel	CADE-30
Veranstaltungsnummer	30
Dauer	28 - 31 Juli 2025
Webseite	https://www.dhbw-stuttgart.de/cade-30/
Bekanntheitsgrad	Internationale Veranstaltung
Ort	Duale Hochschule Baden-Württemberg (DHBW) Stuttgart
Stadt	Stuttgart
Land	Deutschland

Verknüpfte Inhalte

Veröffentlichungen

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics

Baader, F., Borgwardt, S., De Bortoli, F. & Koopmann, P., 2025, Automated Deduction - CADE 30 - 30th International Conference on Automated Deduction, 2025, Proceedings. Barrett, C. & Waldmann, U. (Hrsg.). Springer, S. 676-695 20 S. (Lecture Notes in Artificial Intelligence (LNAI), Band 15943).

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

Alle Veröffentlichungen ansehen (1)

Forschungsportal der TU Dresden

Empfänger:innen

Beschreibung

Konferenz

Verknüpfte Inhalte