Professur für Automatentheorie
Organisation: Professur
Organisationsprofil
Inhaber:in der Professur: Prof. Dr.-Ing. Franz Baader
Kontakt
- TUD Webseite: https://tu-dresden.de/ing/informatik/thi/lat
Verknüpfte Inhalte und Forschende (öffentliche Profile)
- Forschende (öffentliche Profile)
- Veröffentlichungen
- Zeitschriften
- Aktivitäten
- Auszeichnungen
Baader, Franz
- Professur für Automatentheorie - Wissenschaftliches Personal
- Fakultät Mathematik - Wissenschaftliches Personal
Person
Logics with Concrete Domains: First-Order Properties, Abstract Expressive Power, and (Un)Decidability
Baader, F. & De Bortoli, F., 1 Okt. 2024, in: ACM SIGAPP Applied Computing Review. 24, 3, S. 5–17Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Eingeladen › Begutachtung
Unification in the Description Logic ELHR+ without the Top Concept modulo Cycle-Restricted Ontologies
Fernandez Gil, O. & Baader, F., 2 Juli 2024, Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 1-6, 2024, Proceedings, Part II. Benzmüller, C., Heule, M. J. H. & Schmidt, R. A. (Hrsg.). Springer, S. 279-297 19 S. (Lecture Notes in Computer Science, Band 14740).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept Analysis (Extended Abstract)
Kriegel, F., 18 Juni 2024, Proceedings of the 37th International Workshop on Description Logics (DL 2024), June 18--21, 2024, Bergen, Norway. Giordano, L., Jung, J. C. & Ozaki, A. (Hrsg.). 5 S. (CEUR Workshop Proceedings, Band 3739).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains
De Bortoli, F., Borgwardt, S. & Koopmann, P., Juni 2024, Proceedings of the 37th International Workshop on Description Logics (DL 2024). Giordano, L., Jung, J. C. & Ozaki, A. (Hrsg.). CEUR-WS.org, Band 3739.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Efficient Axiomatization of OWL 2 EL Ontologies from Data by means of Formal Concept Analysis
Kriegel, F., 25 März 2024, Proceedings of the 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024), February 20--27, 2024, Vancouver, Canada. Wooldridge, M., Dy, J. & Natarajan, S. (Hrsg.). 9 Aufl. Band 38. S. 10597-10606 10 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Annals of mathematics and artificial intelligence : AMAI
ISSNs: 1012-2443
Weitere durchsuchbare ISSN (elektronisch): 1573-7470
Springer Science Business Media B.V., Niederlande
Scopus-Bewertung (2023): CiteScore 3 SJR 0,411 SNIP 0,967
Fachzeitschrift: Zeitschrift
ACM SIGAPP Applied Computing Review
ISSNs: 1559-6915
Weitere durchsuchbare ISSN (elektronisch): 1931-0161
Association for Computing Machinery (ACM), New York, USA/Vereinigte Staaten
Fachzeitschrift: Zeitschrift
International journal of control
ISSNs: 0020-7179
Weitere durchsuchbare ISSN (elektronisch): 1366-5820
Taylor & Francis, London [u.a.]
Scopus-Bewertung (2023): CiteScore 5 SJR 0,862 SNIP 0,996
Fachzeitschrift: Zeitschrift
IEEE Transactions on Big Data
ISSNs: 2332-7790
IEEE, New York [u. a.], USA/Vereinigte Staaten
Scopus-Bewertung (2022): CiteScore 9,7 SJR 1,182 SNIP 2,144
Fachzeitschrift: Zeitschrift
Communications of the ACM : CACM ; a publ. of the Association for Computing Machinery / ed.-in-chief M. Stuart Lynn
ISSNs: 0001-0782
Weitere durchsuchbare ISSN (elektronisch): 1557-7317
Association for Computing Machinery (ACM), New York
Scopus-Bewertung (2023): CiteScore 16,1 SJR 2,957 SNIP 5,136
Fachzeitschrift: Zeitschrift
The Expressive Power of Quantitative Extensions of Description Logics
De Bortoli, F. (Redner:in)5 Apr. 2024
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
INRIA centre at the University Grenoble Alpes
De Bortoli, F. (Gast)3 Apr. 2024 → 5 Apr. 2024
Aktivität: Aufenthalte an externen Einrichtungen › Forschungsaufenthalt
The Role of Ontologies in AI (in Bahasa Indonesia)
Nuradiansyah, A. (Redner:in)28 Juli 2022
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Reasoning in Description Logic Ontologies for Privacy Management (Dissertation Defense Slides)
Nuradiansyah, A. (Redner:in)25 Nov. 2019
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
University of Oxford
Nuradiansyah, A. (Gastwissenschaftler:in)2019
Aktivität: Aufenthalte an externen Einrichtungen › Forschungsaufenthalt
Best Paper Award - Information Systems
Baader, F. (Empfänger:in) & De Bortoli, F. (Empfänger:in), Apr. 2024
Auszeichnung: Preis › Publikations-/Konferenzpreis
Harold Boley Distinguished Paper Award
Alrabbaa, C. (Empfänger:in), Baader, F. (Empfänger:in), Borgwardt, S. (Empfänger:in), Koopmann, P. (Empfänger:in) & Kovtunova, A. (Empfänger:in), 2023
Auszeichnung: Preis › Publikations-/Konferenzpreis
Best Paper Award
Alrabbaa, C. (Empfänger:in), Borgwardt, S. (Empfänger:in), Hirsch, A. (Empfänger:in), Knieriemen, N. (Empfänger:in), Kovtunova, A. (Empfänger:in), Rothermel, A. M. (Empfänger:in) & Wiehr, F. (Empfänger:in), 2022
Auszeichnung: Preis › Publikations-/Konferenzpreis
Best Research Paper
Alrabbaa, C. (Empfänger:in) & Hieke, W. (Empfänger:in), 2022
Auszeichnung: Preis › Publikations-/Konferenzpreis