Alex Ivliev

From International Center for Computational Logic

Dipl.-Inf. Alex Ivliev

Research AssociateTechnische Universität DresdenInternational Center for Computational Logic Knowledge-Based Systems
Alex Ivliev

I am a research associate and PhD student in the Knowledge-Based Systems group of Prof. Dr. Markus Krötzsch. Currently, I am working on the optimization of rule-based systems. During my studies, I focused on database theory, logics, complexity theory, and natural language processing.

Newest Publications

View full publication list

Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch
Nemo: First Glimpse of a New Rule Engine
In Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni, eds., Proceedings 39th International Conference on Logic Programming (ICLP 2023), volume 385 of EPTCS, 333--335, September 2023
Details Download
Larry Gonzalez, Alex Ivliev, Stephan Mennicke, Markus Krötzsch
Efficient Dependency Analysis for Existential Rules
In Benny Kimelfeld, Maria Vanina Martinez, Renzo Angles, eds., Proceedings of the 15th Alberto Meldenzon International Workshop on Foundations of Data Management (AMW'23). Santiago, Chile, volume 3409 of CEUR Workshop Proceedings, 2023.
Details Download
Larry González, Alex Ivliev, Markus Krötzsch, Stephan Mennicke
Efficient Dependency Analysis for Rule-Based Ontologies
In Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d’Amato, eds., Proc. 21st International Semantic Web Conference (ISWC 2022), volume 13489 of LNCS, 267-283, October 2022. Springer
Details Download
Alex Ivliev
Reliance-Based Optimization of Existential Rule Reasoning
Diploma Thesis, TU Dresden, December 2021
Details Download
View full publication list
InnoSale Logo original.png

Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence

A fast, scalable, and reliable rule engine