Gerlach et al. "Finite Groundings for ASP with Functions: A Journey Through Consistency." International Joint Conference on Artificial Intelligence, 2024.
Markdown
[Gerlach et al. "Finite Groundings for ASP with Functions: A Journey Through Consistency." International Joint Conference on Artificial Intelligence, 2024.](https://mlanthology.org/ijcai/2024/gerlach2024ijcai-finite/)
BibTeX
@inproceedings{gerlach2024ijcai-finite,
title = {{Finite Groundings for ASP with Functions: A Journey Through Consistency}},
author = {Gerlach, Lukas and Carral, David and Hecher, Markus},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2024},
pages = {3386-3394},
url = {https://mlanthology.org/ijcai/2024/gerlach2024ijcai-finite/}
}