| Nemo: First glimpse of a new rule engine A Ivliev, S Ellmauthaler, L Gerlach, M Marx, M Meißner, S Meusel, ... Proc. 39th Int. Conf. on Logic Programming, ICLP, 2023 | 13 | 2023 |
| General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase L Gerlach, D Carral Proceedings of the AAAI Conference on Artificial Intelligence 37 (5), 6372-6379, 2023 | 3 | 2023 |
| Nemo: Your friendly and versatile rule reasoning toolkit A Ivliev, L Gerlach, S Meusel, J Steinberg, M Krötzsch Proceedings of the 21st International Conference on Principles of Knowledge …, 2024 | 2 | 2024 |
| Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination L Gerlach, D Carral Proceedings of the International Conference on Principles of Knowledge …, 2023 | 1 | 2023 |
| Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report) L Gerlach, D Carral | 1 | 2023 |
| General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report) L Gerlach, D Carral | 1 | 2023 |
| Finite Groundings for ASP with Functions: A Journey through Consistency L Gerlach, D Carral, M Hecher arXiv preprint arXiv:2405.15794, 2024 | | 2024 |
| Nemo: A Scalable and Versatile Datalog Engine A Ivliev, L Gerlach, S Meusel, J Steinberg, M Krötzsch | | 2024 |
| Chase-Based Computation of Cores for Existential Rules L Gerlach Knowledge-Based Systems, 2021 | | 2021 |
| EvonNemo-A Symbiosis of Datalog Tracing and Proof Tree Visualization L Gerlach, A Ivliev | | |
| ADF-BDD. DEV: Debug Abstract Dialectical Frameworks with Binary Decision Diagrams S Ellmauthaler, L Gerlach | | |
| Evaluating the Generality of Disjunctive Model Faithful Acyclicity on OWL ontologies L Gerlach | | |
| Don’t Repeat Yourself: Termination of the Skolem Chase on Disjunctive Existential Rules L Gerlach | | |
Markus KrötzschTechnische Universität Dresdentu-dresden.de의 이메일 확인됨