Alex Ivliev

Alex Ivliev is a Research Associate and PhD student at the Technische Universität Dresden, affiliated with the International Center for Computational Logic (ICCL) within the Faculty of Computer Science. He is part of the Knowledge-Based Systems group led by Prof. Dr. Markus Krötzsch. His research focuses on optimizing rule-based systems, with expertise in database theory, logics, complexity theory, and natural language processing.

Education:

• Master's Thesis (Diplom): Reliance-Based Optimization of Existential Rule Reasoning, TU Dresden (2021)
• Project Thesis: Parsing of Lexicalised Linear Context-Free Rewriting Systems via Supertagging, TU Dresden (2020)

Research Interests: Alex's work centers on advancing rule-based systems, particularly through the development of the Nemo engine, which addresses scalability and versatility in Datalog and logic programming. His contributions span dependency analysis for ontologies, explainable AI via proof tree visualization, and applications in mass spectrum analysis using Answer Set Programming.

Key Projects:

• Nemo: A scalable rule engine for efficient reasoning (https://knowsys.github.io/nemo-doc/)
• InnoSale: Leveraging AI for optimizing sales and planning in industrial products (https://www.innosale.eu/)

Grants & Advising: As a PhD student under Prof. Krötzsch, Alex's work is supported by collaborative projects focusing on computational logic and rule-based systems.

Labs/Teams: Active member of the Knowledge-Based Systems group and ICCL, contributing to interdisciplinary research in computational logic and AI.