Professur für Automatentheorie
Organisation: Professur
Verknüpfte Inhalte und Wissenschaftler:innen
- Wissenschaftler:innen
- Veröffentlichungen
- Zeitschriften
- Aktivitäten
- Auszeichnungen
Baader, Franz
- Professur für Automatentheorie - Wissenschaftliches Personal
- Fakultät Mathematik - Wissenschaftliches Personal
Person: Aktiv
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 März 2023, in: Computer Graphics Forum.Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
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. 9 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Optimal Fixed-Premise Repairs of 𝓔𝓛 TBoxes (Slides)
Kriegel, F., 23 Sep. 2022.Publikation: Beitrag zu Konferenzen › Wissenschaftliche Vortragsfolien › Beigetragen
Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report)
Alrabbaa, C., Borgwardt, S., Koopmann, P. & Kovtunova, A., 30 Aug. 2022, arXiv.Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (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.Publikation: Beitrag zu Konferenzen › Wissenschaftliche Vortragsfolien › Beigetragen
Conference SAC: Symposium on Applied Computing
Association for Computing Machinery (ACM), New York, Zypern
Fachzeitschrift: Zeitschrift
International journal of control
ISSNs: 0020-7179
Weitere durchsuchbare ISSN (elektronisch): 1366-5820
Taylor & Francis, London [u.a.]
Scopus-Bewertung (2021): CiteScore 4,8 SJR 0,928 SNIP 1,153
Fachzeitschrift: Zeitschrift
IEEE Transactions on Big Data
ISSNs: 2332-7790
IEEE, New York [u. a.], USA/Vereinigte Staaten
Scopus-Bewertung (2021): CiteScore 6,9 SJR 0,656 SNIP 1,791
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 (2021): CiteScore 8,7 SJR 1,564 SNIP 3,014
Fachzeitschrift: Zeitschrift
Informatik-Spektrum : Organ der Gesellschaft für Informatik e.V. und mit ihr assoziierter Organisationen
ISSNs: 0170-6012
Weitere durchsuchbare ISSN (elektronisch): 1432-122X
Springer Verlag, Deutschland
Scopus-Bewertung (2021): CiteScore 0,9 SJR 0,192 SNIP 0,272
Fachzeitschrift: Zeitschrift
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
Free University of Bozen-Bolzano
Nuradiansyah, A. (Gastwissenschaftler:in)2018
Aktivität: Aufenthalte an externen Einrichtungen › Forschungsaufenthalt
Herbrand Award
Baader, Franz (Empfänger:in), 2020
Auszeichnung: Preis › Preis für erfahrene Forschende
Shortlisted for the Best Paper Award
Nuradiansyah, Adrian (Empfänger:in) & Baader, Franz (Empfänger:in), 26 Sep. 2019
Auszeichnung: Preis › Publikationspreis
Best Paper Award at the 16th European Conference on Logics in Artificial Intelligence (JELIA'19)
Borgwardt, Stefan (Empfänger:in) & Forkel, Walter (Empfänger:in), 2019
Auszeichnung: Preis › Publikationspreis
Best Paper by a Junior Researcher Award
De Bortoli, Filippo (Empfänger:in), 2019
Auszeichnung: Preis › Konferenzpreis
3m5.Excellence Award 2018
Ceylan, Ismail Ilkan (Empfänger:in), 2018
Auszeichnung: Preis › Promotionspreis