Jonas Karge
From International Center for Computational Logic
M.A. Jonas Karge
Research Associate Computational Logic
- jonas.karge@tu-dresden.de
- APB 2033
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
Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024, to appear. ijcai.org
Details Download
Jonas Karge, Juliette-Michelle Burkhardt, Sebastian Rudolph, Dominik Rusovac
To Lead or to be Led: A Generalized Condorcet Jury Theorem under Dependence
AAMAS '24: Proceedings of the 2024 International Conference on Autonomous Agents and Multiagent Systems, to appear
Details Download
Jonas Karge
Voting for Bins: Integrating Imprecise Probabilistic Beliefs into the Condorcet Jury Theorem
Proceedings of the The 2nd International Workshop on Knowledge Diversity (KoDis23), 2023
Details Download
Jonas Karge
Second-order Confidence in Supervaluationism
Journal for General Philosophy of Science, July 2023
Details Download
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
In Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer, eds., Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 205-–214, 2022
Details Download
Jonas Karge
A Modified Supervaluationist Framework for Decision-Making
Logos & Episteme, 7(2):175-191, June 2021
Details Download
Courses
- Algorithmic Game Theory (SS 2024)
- Foundations of Knowledge Representation (WS 2023)
- Algorithmic Game Theory (SS 2023)
- Foundations of Knowledge Representation (WS 2022)
- Theoretische Informatik und Logik (SS 2022)
show further courses
ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence
