Chair of Automata Theory
Organisational unit: Chair
Related content and researchers (public profile)
- Researchers (public profile)
- Research output
- Journals
- Activities
- Prizes
Baader, Franz
- Chair of Automata Theory - Academic Staff
- Faculty of Mathematics - Academic Staff
Person: Current
Extending the description logic EL with threshold concepts induced by concept measures
Fernandez Gil, O. & Baader, F., 2024, In: Artificial Intelligence. 326, 104034.Research output: Contribution to journal › Research article › Contributed › peer-review
Optimal Repairs in the Description Logic 𝓔𝓛 Revisited
Baader, F., Koopmann, P. & Kriegel, F., 20 Sept 2023, Proceedings of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), September 20-22, 2023, Dresden, Germany: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings. Springer, p. 11-34 24 p. (Lecture Notes in Computer Science, Vol. 14281).Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Optimal Repairs in the Description Logic 𝓔𝓛 Revisited (Extended Version)
Baader, F., Koopmann, P. & Kriegel, F., 20 Sept 2023.Research output: Contribution to conferences › Paper › Contributed › peer-review
Optimal Fixed-Premise Repairs of 𝓔𝓛 TBoxes
Kriegel, F., 5 Sept 2023.Research output: Contribution to conferences › Presentation slides › Contributed
Optimal Fixed-Premise Repairs of 𝓔𝓛 TBoxes (Extended Abstract)
Kriegel, F., 5 Sept 2023, Recently Published Research (RPR) track of the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), September 2-8, 2023, Rhodes, Greece.Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Annals of mathematics and artificial intelligence : AMAI
ISSNs: 1012-2443
Additional searchable ISSN (Electronic): 1573-7470
Springer Science Business Media B.V., Netherlands
Scopus rating (2022): CiteScore 2.6 SJR 0.383 SNIP 0.92
Journal
ACM SIGAPP Applied Computing Review
ISSNs: 1559-6915
Additional searchable ISSN (Electronic): 1931-0161
Association for Computing Machinery (ACM), New York, United States
Journal
International journal of control
ISSNs: 0020-7179
Additional searchable ISSN (Electronic): 1366-5820
Taylor & Francis, London [u.a.]
Scopus rating (2022): CiteScore 4.9 SJR 0.87 SNIP 1.043
Journal
IEEE Transactions on Big Data
ISSNs: 2332-7790
IEEE, New York [u. a.], United States
Scopus rating (2022): CiteScore 9.7 SJR 1.182 SNIP 2.144
Journal
Communications of the ACM : CACM ; a publ. of the Association for Computing Machinery / ed.-in-chief M. Stuart Lynn
ISSNs: 0001-0782
Additional searchable ISSN (Electronic): 1557-7317
Association for Computing Machinery (ACM), New York
Scopus rating (2022): CiteScore 9.8 SJR 1.514 SNIP 3.392
Journal
The Role of Ontologies in AI (in Bahasa Indonesia)
Nuradiansyah, A. (Speaker)28 Jul 2022
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Reasoning in Description Logic Ontologies for Privacy Management (Dissertation Defense Slides)
Nuradiansyah, A. (Speaker)25 Nov 2019
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
University of Oxford
Nuradiansyah, A. (Visiting scientist)2019
Activity: Visiting external institutions › Research stay
Free University of Bozen-Bolzano
Nuradiansyah, A. (Visiting scientist)2018
Activity: Visiting external institutions › Research stay
Harold Boley Distinguished Paper Award
Alrabbaa, Christian (Recipient), Baader, Franz (Recipient), Borgwardt, Stefan (Recipient), Koopmann, Patrick (Recipient) & Kovtunova, Alisa (Recipient), 2023
Prize: Publication/Conference prize
Best Paper Award
Alrabbaa, Christian (Recipient), Borgwardt, Stefan (Recipient), Hirsch, Anke (Recipient), Knieriemen, Nina (Recipient), Kovtunova, Alisa (Recipient), Rothermel, Anna Milena (Recipient) & Wiehr, Frederik (Recipient), 2022
Prize: Publication/Conference prize
Best Research Paper
Alrabbaa, Christian (Recipient) & Hieke, Willi (Recipient), 2022
Prize: Publication/Conference prize
Shortlisted for the Best Paper Award
Nuradiansyah, Adrian (Recipient) & Baader, Franz (Recipient), 26 Sept 2019
Prize: Publication/Conference prize