Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Filippo De Bortoli Master of Science
Person

Zugehörigkeiten

Professur für Automatentheorie
- Wissenschaftliches Personal
- filippo.de_bortoli@tu-dresden.de

Identifizierungsnummern

ORCID	0000-0002-8623-6465
Scopus Autor ID	57210936386

Veröffentlichungen
Auszeichnungen

Description Logics That Count, and What They Can and Cannot Count

Baader, F. & De Bortoli, F., 2020, ANDREI-60. Automated New-era Deductive Reasoning Event in Iberia.

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

Description Logics that Count, and What They Can and Cannot Count (Extended Abstract)

Baader, F. & De Bortoli, F., 2020.

Publikation: Beitrag zu Konferenzen › Abstract › Beigetragen › Begutachtung

Integrating Reasoning Services for Description Logics with Cardinality Constraints with Numerical Optimization Techniques

De Bortoli, F., 2019

Publikation: Hochschulschrift/Abschlussarbeit › Masterarbeit

On the Complexity and Expressiveness of Description Logics with Counting

Baader, F. & De Bortoli, F., 2019.

Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)

On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets

Baader, F. & De Bortoli, F., 2019, Frontiers of Combining Systems - 12th International Symposium, FroCoS 2019, Proceedings. Herzig, A. & Popescu, A. (Hrsg.). Springer Verlag, Band 11715. S. 203-219 17 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Band 11715 LNAI).

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

Alle Veröffentlichungen ansehen (5)

Best Paper by a Junior Researcher Award

De Bortoli, Filippo (Empfänger:in), 2019

Auszeichnung: Preis › Konferenzpreis

Alle Auszeichnungen ansehen (1)