Institut für Theoretische Informatik
Organisation: Institut
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
Baier, Christel
- Professur für Algebraische und logische Grundlagen der Informatik - Wissenschaftliches Personal
- Fakultät Informatik - 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
Künstliche Intelligenz : KI
ISSNs: 0933-1875, 0935-848X
Weitere durchsuchbare ISSN (elektronisch): 1610-1987
Springer, Berlin [u. a.], Deutschland
Scopus-Bewertung (2022): CiteScore 5,6 SJR 0,703 SNIP 1,4
Fachzeitschrift: Zeitschrift
IEEE Transactions on Multi-Scale Computing Systems
ISSNs: 2332-7766
IEEE, New York [u. a.]
Scopus-Bewertung (2019): CiteScore 6 SJR 0,581 SNIP 1,767
Fachzeitschrift: Zeitschrift
IEEE Access
ISSNs: 2169-3536
IEEE, New York [u. a.]
Scopus-Bewertung (2022): CiteScore 9 SJR 0,926 SNIP 1,422
In DOAJ indiziert
Fachzeitschrift: Zeitschrift
From classical to non-classical stochastic shortest path problems
Baier, C. (Redner:in)18 Juli 2023
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Probability-raising Causality in Markov Decision Processes
Baier, C. (Redner:in)18 Juli 2023
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Probabilistic Causality in Markovian Models
Baier, C. (Redner:in)11 Nov. 2022
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Thirty-Seventh Annual ACM/IEEE Symposium onLogic in Computer Science (LICS) (Veranstaltung)
Baier, C. (Herausgeber:in), Fisman, D. (Herausgeber:in)2 Aug. 2022 → 5 Aug. 2022
Aktivität: Begutachtung von Manuskripten und herausgeberische Tätigkeiten › Herausgebertätigkeit
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
Georg-Helm-Preis 2022
Hanisch, Philipp (Empfänger:in), 4 Feb. 2023
Auszeichnung: Preis › Studentischer Preis
Jean-Claude Laprie Award in Dependable Computing
Baier, Christel (Empfänger:in), 2023
Auszeichnung: Preis › Forschungspreis
Lohrmann Medaille
Gerlach, Lukas (Empfänger:in), 9 Dez. 2022
Auszeichnung: Preis › Studentischer Preis
Best Paper Award Research Track
González González, Larry Javier (Empfänger:in), Ivliev, Alex (Empfänger:in), Krötzsch, Markus (Empfänger:in) & Mennicke, Stephan (Empfänger:in), 27 Okt. 2022
Auszeichnung: Preis › Publikations-/Konferenzpreis
Ehrendoktorwürde der RWTH Aachen
Baier, Christel (Empfänger:in), 9 Sept. 2022
Auszeichnung: Ehrung/Würdigung › Ehrendoktorwürde