Finite Groundings for ASP with Functions: A Journey through Consistency.

Lukas Gerlach, David Carral, Markus Hecher

Browse the full IJCAI paper archive.