Jonas Karge
From International Center for Computational Logic
M.A. Jonas Karge
Research Associate Computational Logic
- jonas.karge@tu-dresden.de
- APB 2036
Since September 2020, I am a research assistant and doctoral student as part of the Computational Logic Group at the Institute of Artificial Intelligence. I am working on logic-based knowledge representation and, more precisely, on the question of how to reasonably merge beliefs from different agents.
Newest Publications
Tim Lyon, Jonas Karge
Uniform and Modular Sequent Systems for Description Logics
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), 2022
Details Download
Jonas Karge, Sebastian Rudolph
The More the Worst-Case-Merrier: A Generalized Condorcet Jury Theorem for Belief Fusion
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, to appear
Details Download
Jonas Karge
A Modified Supervaluationist Framework for Decision-Making
Logos & Episteme, 7(2):175-191, June 2021
Details Download
Courses
- Theoretische Informatik und Logik (SS 2022)
- Foundations of Knowledge Representation (WS 2021)
- Formale Systeme (WS 2021)
- Seminar: Knowledge Representation (SS 2021)
- Database Theory (SS 2021)
show further courses
