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
Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging
Méndez Oconitrillo, J. J., Alrabbaa, C., Koopmann, P., Langner, R., Baader, F. & Dachselt, R., 12 Mar 2023, In: Computer Graphics Forum.Research output: Contribution to journal › Research article › Contributed › peer-review
Explaining Non-Entailment by Model Transformation for the Description Logic EL
Alrabbaa, C. & Hieke, W., 13 Feb 2023, IJCKG '22: Proceedings of the 11th International Joint Conference on Knowledge Graphs. Artale, A., Calvanese, D., Wang, H. & Zhang, X. (eds.). p. 1-9 9 p.Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Optimal Fixed-Premise Repairs of 𝓔𝓛 TBoxes (Slides)
Kriegel, F., 23 Sep 2022.Research output: Contribution to conferences › Presentation slides › Contributed
Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report)
Alrabbaa, C., Borgwardt, S., Koopmann, P. & Kovtunova, A., 30 Aug 2022, arXiv.Research output: Preprint/documentation/report › Preprint
Optimal ABox Repair w.r.t. Static 𝓔𝓛 TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract) (Slides)
Baader, F., Kriegel, F., Koopmann, P. & Nuradiansyah, A., 9 Aug 2022.Research output: Contribution to conferences › Presentation slides › Contributed
International journal of control
ISSNs: 0020-7179
Additional searchable ISSN (Electronic): 1366-5820
Taylor & Francis, London [u.a.]
Scopus rating (2021): CiteScore 4.8 SJR 0.928 SNIP 1.153
Journal
IEEE Transactions on Big Data
ISSNs: 2332-7790
IEEE, New York [u. a.], United States
Scopus rating (2021): CiteScore 6.9 SJR 0.656 SNIP 1.791
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 (2021): CiteScore 8.7 SJR 1.564 SNIP 3.014
Journal
Informatik-Spektrum : Organ der Gesellschaft für Informatik e.V. und mit ihr assoziierter Organisationen
ISSNs: 0170-6012
Additional searchable ISSN (Electronic): 1432-122X
Springer Verlag, Germany
Scopus rating (2021): CiteScore 0.9 SJR 0.192 SNIP 0.272
Journal
IEEE intelligent systems / Institute of Electrical and Electronics Engineers ; IEEE Computer Society
ISSNs: 1541-1672, 1094-7167, 0885-9000
Additional searchable ISSN (Electronic): 2374-9423
IEEE, New York [u. a.]
Scopus rating (2021): CiteScore 7.5 SJR 1.572 SNIP 2.138
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
Shortlisted for the Best Paper Award
Nuradiansyah, Adrian (Recipient) & Baader, Franz (Recipient), 26 Sep 2019
Prize: Publication prize
Best Paper Award at the 16th European Conference on Logics in Artificial Intelligence (JELIA'19)
Borgwardt, Stefan (Recipient) & Forkel, Walter (Recipient), 2019
Prize: Publication prize