Professur für Automatentheorie
Organisation: Professur
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: Aktiv
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, (Lecture Notes in Computer Science, Band 14281).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Optimal Repairs in the Description Logic 𝓔𝓛 Revisited (Extended Version)
Baader, F., Koopmann, P. & Kriegel, F., 20 Sept. 2023.Publikation: Beitrag zu Konferenzen › Paper › Beigetragen › Begutachtung
Optimal Fixed-Premise Repairs of 𝓔𝓛 TBoxes
Kriegel, F., 5 Sept. 2023.Publikation: Beitrag zu Konferenzen › Wissenschaftliche Vortragsfolien › Beigetragen
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.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Error-Tolerant Reasoning in 𝓔𝓛 w.r.t. Optimal ABox Repairs (Extended Abstract)
Baader, F., Kriegel, F. & Nuradiansyah, A., 2 Sept. 2023, Proceedings of the 36th International Workshop on Description Logics (DL 2023), Rhodes, Greece, September 2-4, 2023. CEUR-WS.org, (CEUR Workshop Proceedings).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
International journal of control
ISSNs: 0020-7179
Weitere durchsuchbare ISSN (elektronisch): 1366-5820
Taylor & Francis, London [u.a.]
Scopus-Bewertung (2022): CiteScore 4,9 SJR 0,87 SNIP 1,043
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 (2022): CiteScore 9,8 SJR 1,514 SNIP 3,392
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 (2022): CiteScore 1,1 SJR 0,263 SNIP 0,529
Fachzeitschrift: Zeitschrift
IEEE intelligent systems / Institute of Electrical and Electronics Engineers ; IEEE Computer Society
ISSNs: 1541-1672, 1094-7167, 0885-9000
Weitere durchsuchbare ISSN (elektronisch): 2374-9423
IEEE, New York [u. a.]
Scopus-Bewertung (2022): CiteScore 10,2 SJR 1,872 SNIP 2,532
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
Harold Boley Distinguished Paper Award
Alrabbaa, Christian (Empfänger:in), Baader, Franz (Empfänger:in), Borgwardt, Stefan (Empfänger:in), Koopmann, Patrick (Empfänger:in) & Kovtunova, Alisa (Empfänger:in), 2023
Auszeichnung: Preis › Publikations-/Konferenzpreis
Best Paper Award
Alrabbaa, Christian (Empfänger:in), Borgwardt, Stefan (Empfänger:in), Hirsch, Anke (Empfänger:in), Knieriemen, Nina (Empfänger:in), Kovtunova, Alisa (Empfänger:in), Rothermel, Anna Milena (Empfänger:in) & Wiehr, Frederik (Empfänger:in), 2022
Auszeichnung: Preis › Publikations-/Konferenzpreis
Best Research Paper
Alrabbaa, Christian (Empfänger:in) & Hieke, Willi (Empfänger:in), 2022
Auszeichnung: Preis › Publikations-/Konferenzpreis
Shortlisted for the Best Paper Award
Nuradiansyah, Adrian (Empfänger:in) & Baader, Franz (Empfänger:in), 26 Sept. 2019
Auszeichnung: Preis › Publikations-/Konferenzpreis