Tom Friese

Tom Friese is a doctoral student and research associate at the International Center for Computational Logic (ICCL) within the Technische Universität Dresden. He is affiliated with the Knowledge-Based Systems research group led by Prof. Dr. Markus Krötzsch and the Machine Learning for Computer Vision research group led by Prof. Dr. Björn Andres.

Education

• Doctoral Student in Computational Modeling and Simulation, Technische Universität Dresden (2024–present)
• M.Sc. in Computer Science, University of Leipzig (2020)
• B.A. in Philosophy, University of Leipzig (2010)

Research Interests

Tom’s research focuses on artificial intelligence, particularly non-monotonic reasoning and argumentation theory. He explores the integration of knowledge-based systems with machine learning, aiming to bridge symbolic AI and data-driven approaches. His current work centers on large language models and their application to the formalization of mathematics.

Publications & Projects

Tom has contributed to research on OWL ontologies, description logics, and explainable AI, with publications in venues like the International Conference on Principles of Knowledge Representation and Reasoning (KR) and Description Logics Workshops. His projects include the development of tools such as Evee and Evonne for ontology explanation and entailment tracing.