Gerlach, Lukas

2 publications

IJCAI 2024 Finite Groundings for ASP with Functions: A Journey Through Consistency Lukas Gerlach, David Carral, Markus Hecher

AAAI 2023 General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase Lukas Gerlach, David Carral