Jonas Karge
Aus International Center for Computational Logic
M.A. Jonas Karge
Wissenschaftlicher Mitarbeiter Computational Logic
Seit September 2020 bin ich wissenschaftlicher Mitarbeiter und Doktorand als Teil der Computational Logic Group am Institut für Künstliche Intelligenz. Ich arbeite im Bereich der logikbasierten Wissensrepräsentation und beschäftige mich primär damit, wie das Wissen unterschiedlicher Agenten sinnvoll zusammengeführt werden kann.
Neueste Publikationen
Komplette Publikationsliste anzeigen
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
Lehrveranstaltungen
- 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)
weitere Lehrveranstaltungen anzeigen
ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence
