Tom Friese
Tom Friese
PhD Researcher Knowledge-Based Systems
- APB 2029
I am a research associate and PhD student in the research groups Knowledge-Based Systems of Prof. Dr. Markus Krötzsch and Machine Learning for Computer Vision of Prof. Dr. Bjoern Andres since October 2024. I completed a master's degree in Computational Modeling and Simulation at Technische Universität Dresden in 2024, a bachelor's degree in Computer Science at the University of Leipzig in 2020 and a bachelor's degree in Philosophy at the University of Leipzig in 2010.
In the area of artifical intelligance I am interested in non-monotonic reasoning - especially in Formal Argumentation - as well as in the combination of Knowledge Representation and Reasoning with Machine Learning. I am currently working on the topic of "Large Language Models and the Formalization of Mathematics".
Newest Publications
Explaining Reasoning Results for OWL Ontologies with Evee
In Pierre Marquis, Magdalena Ortiz, Maurice Pagnucco, eds., Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), 709-719, 2024. IJCAI Organization
Details
Why Not? Explaining Missing Entailments with Evee
Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023), volume 3515 of CEUR Workshop Proceedings, 2023. CEUR-WS.org
Details
Why Not? Explaining Missing Entailments with Evee (Technical Report)
Technical Report, arXiv.org, volume CoRR abs/2308.07294, 2023
Details
Explaining Description Logic Entailments with Evee and Evonne
Informal Proceedings of the Explainable Logic-Based Knowledge Representation (XLoKR 2022) workshop co-located with the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), 2022
Details
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), August 2022, 2022
Details
On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne (Extended Version)
Technical Report, arXiv.org, volume CoRR abs/2206.07711, 2022
Details
On the Relationship of Modularity Notions in Abstract Argumentation
In Leila Amgoud, Richard Booth, eds., Proceedings of the 19th edition of the International Workshop on Non-Monotonic Reasoning (NMR'21), 51-60, 2021
Details
