Faculty of Computer Sciences
Organisational unit: Faculty
Related content and researchers (public profile)
- Researchers (public profile)
- Research output
- Journals
- Activities
- Prizes
Atef, Ahmed Kamaleldin Ahmed Elsayed
- Chair of Adaptive Dynamic Systems - Academic Staff
Person: Current
Baader, Franz
- Chair of Automata Theory - Academic Staff
- Faculty of Mathematics - 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
Frontiers in bioinformatics
ISSNs: 2673-7647
Additional searchable ISSN (Electronic): 2673-7647
Frontiers Media S.A.
Indexed in DOAJ
Journal
IEEE transactions on medical imaging : a publication of the IEEE Engineering in Medicine and Biology Society ...
ISSNs: 0278-0062
Additional searchable ISSN (Electronic): 1558-254X
IEEE, New York [u. a.], United States
Scopus rating (2022): CiteScore 20.1 SJR 2.872 SNIP 3.532
Journal
IEEE Communications Standards Magazine
ISSNs: 2471-2825
Additional searchable ISSN (Electronic): 2471-2833
IEEE Xplore
Scopus rating (2022): CiteScore 7.1 SJR 2.306 SNIP 1.66
Journal
Applied network science
Additional searchable ISSN (Electronic): 2364-8228
Springer International Publishing AG, Switzerland
Scopus rating (2022): CiteScore 4.5 SJR 0.603 SNIP 1.117
Indexed in DOAJ
Journal
Communications in Computer and Information Science
ISSNs: 1865-0929
Additional searchable ISSN (Electronic): 1865-0937
Springer Science and Business Media B.V.
Scopus rating (2022): CiteScore 1 SJR 0.194 SNIP 0.241
Journal: Book series
NetSys 2023
Mohan, N. (Chair), Wählisch, M. (Chair)Sept 2023
Activity: Organising or participating in an event › Organising an event
Member of PhD Thesis Committee, Louvain School of Engineering, Université Catholique de Louvain
Wählisch, M. (Participant)Aug 2023
Activity: Other activities › Other activity
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
Impactful Measurement Research: Lessons from Analyzing IP Prefix Hijacks, DDoS, and Emerging Transport Protocols
Wählisch, M. (Speaker)18 Jul 2023
Activity: Talk or presentation at external institutions/events › Keynote › 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