Jonas Karge

Jonas Karge is a Researcher at the International Center for Computational Logic (ICCL) within the Faculty of Computer Science at Technische Universität Dresden. He is a doctoral student in the Computational Logic Group at the Institute of Artificial Intelligence, focusing on logic-based knowledge representation, formal epistemology, and multi-agent systems. His work addresses challenges in combining agent beliefs under severe uncertainty, particularly in contexts involving imprecise probabilities and collective decision-making. Karge has taught multiple courses including Foundations of Knowledge Representation, Algorithmic Game Theory, and Theoretical Computer Science and Logic across various semesters. His research integrates formal methods from logic and social choice theory to advance understanding of belief fusion, voting mechanisms, and decision-making frameworks under uncertainty. Notable contributions include work on generalized Condorcet jury theorems and taming dilation in imprecise pooling. His publications span conferences like AAMAS, IJCAI, and PRIMA.

Education: M.A. (Master of Arts) in a related field (implied by title, exact discipline unspecified).

Research interests emphasize formal epistemology applied to multi-agent systems, with a focus on how agents can rationally aggregate beliefs when faced with uncertainty. His recent work explores bin voting mechanisms for integrating imprecise probabilistic beliefs and the application of sequent calculus to description logics. These efforts bridge theoretical computer science with practical applications in collective decision-making and knowledge representation.

Teaching responsibilities include foundational courses on knowledge representation, game theory, and formal systems, reflecting his expertise in both theoretical and applied aspects of computational logic. No specific grants or labs are explicitly mentioned, though his affiliation with the ICCL suggests involvement in collaborative projects within the center.