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 - Mitglied
Person
Beyond Optimal: Interactive Identification of Better-than-optimal Repairs
Kriegel, F., 31 März 2025, Proceedings of the 40th ACM/SIGAPP Symposium On Applied Computing (SAC 2025). Association for Computing MachineryPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beyond Optimal: Interactive Identification of Better-than-optimal Repairs (Extended Version)
Kriegel, F., 20 Dez. 2024, Dresden, Germany, (LTCS-Report, Band 24-05).Publikation: Vorabdruck/Dokumentation/Bericht › Arbeitspapier
Horned-OWL: Flying Further and Faster with Ontologies
Lord, P., Gehrke, B., Larralde, M., Hastings, J., De Bortoli, F., Overton, J. & Balhoff, J. & 1 weitere, Warrender, J., 18 Dez. 2024, in: Transactions on Graph Data and Knowledge (TGDK). 2, 2, 14 S., 9.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
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
CEUR Workshop Proceedings (Vol. 2373)
ISSNs: 1613-0073
Weitere durchsuchbare ISSN (elektronisch): 1613-0073
RTWH Aachen, Deutschland
Fachzeitschrift: Schriftenreihe
Transactions on Graph Data and Knowledge (TGDK)
ISSNs: 2942-7517
Weitere durchsuchbare ISSN (elektronisch): 2942-7517
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Deutschland
Fachzeitschrift: Zeitschrift
Annals of mathematics and artificial intelligence : AMAI
ISSNs: 1012-2443
Weitere durchsuchbare ISSN (elektronisch): 1573-7470
Springer, Dordrecht [u. a.], 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
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