%0 Generic %1 gerlach2024finitegroundingsaspfunctions %A Gerlach, Lukas %A Carral, David %A Hecher, Markus %D 2024 %K imported xack %T Finite Groundings for ASP with Functions: A Journey through Consistency %U https://arxiv.org/abs/2405.15794

@misc{gerlach2024finitegroundingsaspfunctions, added-at = {2024-12-20T10:58:05.000+0100}, archiveprefix = {arXiv}, author = {Gerlach, Lukas and Carral, David and Hecher, Markus}, biburl = {https://puma.scadsai.uni-leipzig.de/bibtex/2c1c59d0fba973647ad68d6d1f88ca4a0/scadsfct}, eprint = {2405.15794}, interhash = {1a6fb4cbc67f5f971200faa131fac7d5}, intrahash = {c1c59d0fba973647ad68d6d1f88ca4a0}, keywords = {imported xack}, primaryclass = {cs.AI}, timestamp = {2025-02-06T10:50:27.000+0100}, title = {Finite Groundings for ASP with Functions: A Journey through Consistency}, url = {https://arxiv.org/abs/2405.15794}, year = 2024 }