by Zeynep G. Saribatur, Peter Schüller, Thomas Eiter
Reference:
Abstraction for Non-Ground Answer Set ProgramsZeynep G. Saribatur, Peter Schüller, Thomas EiterWorkshop on Trends and Applications of Answer Set Programming (TAASP), November 2018, 2018.
Bibtex Entry:
@inproceedings{zgstaasp18,
author = {Zeynep G. Saribatur and Peter Sch\"{u}ller and Thomas Eiter},
title = {Abstraction for Non-Ground Answer Set Programs},
booktitle = {Workshop on Trends and Applications of Answer Set Programming (TAASP), November 2018},
url = {http://www.kr.tuwien.ac.at/events/taasp18/papers/TAASP_2018_paper_6.pdf},
year = {2018}
}