Institute of Theoretical Computer Science
Organisational unit: Institute
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
Baier, Christel
- Chair of Algebraic and Logical Foundations of Computer Science - Academic Staff
- Faculty of Computer Sciences - Academic Staff
Person: Current
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, 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
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).Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review
Künstliche Intelligenz : KI
ISSNs: 0933-1875, 0935-848X
Additional searchable ISSN (Electronic): 1610-1987
Springer, Berlin [u. a.], Germany
Scopus rating (2022): CiteScore 5.6 SJR 0.703 SNIP 1.4
Journal
IEEE Transactions on Multi-Scale Computing Systems
ISSNs: 2332-7766
IEEE, New York [u. a.]
Scopus rating (2019): CiteScore 6 SJR 0.581 SNIP 1.767
Journal
IEEE Access
ISSNs: 2169-3536
IEEE, New York [u. a.]
Scopus rating (2022): CiteScore 9 SJR 0.926 SNIP 1.422
Indexed in DOAJ
Journal
From classical to non-classical stochastic shortest path problems
Baier, C. (Speaker)18 Jul 2023
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Probability-raising Causality in Markov Decision Processes
Baier, C. (Speaker)18 Jul 2023
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Probabilistic Causality in Markovian Models
Baier, C. (Speaker)11 Nov 2022
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Thirty-Seventh Annual ACM/IEEE Symposium onLogic in Computer Science (LICS) (Event)
Baier, C. (Editor), Fisman, D. (Editor)2 Aug 2022 → 5 Aug 2022
Activity: Publication peer-review and editorial work › Editorial work
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
Jean-Claude Laprie Award in Dependable Computing
Baier, Christel (Recipient), 2023
Prize: Research prize
Best Paper Award Research Track
González González, Larry Javier (Recipient), Ivliev, Alex (Recipient), Krötzsch, Markus (Recipient) & Mennicke, Stephan (Recipient), 27 Oct 2022
Prize: Publication/Conference prize
Honorary Doctorate by RWTH Aachen
Baier, Christel (Recipient), 9 Sept 2022
Prize: Honors › Honorary doctorate