@inproceedings{ijcai2022p807, title = {Abstraction for Non-Ground Answer Set Programs (Extended Abstract)}, author = {Saribatur, Zeynep G. and Eiter, Thomas and Schüller, Peter}, booktitle = {Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, {IJCAI-22}}, publisher = {International Joint Conferences on Artificial Intelligence Organization}, editor = {Lud De Raedt}, pages = {5767--5771}, year = {2022}, month = {7}, note = {Journal Track}, doi = {10.24963/ijcai.2022/807}, url = {https://doi.org/10.24963/ijcai.2022/807}, }