by Zeynep G. Saribatur, Peter Schüller, Thomas Eiter
Reference:
Abstraction for Non-Ground Answer Set ProgramsZeynep G. Saribatur, Peter Schüller, Thomas EiterProc. 16th European Conference on Logics in Artificial Intelligence, JELIA 2019, volume 11468 of Lecture Notes in Computer Science, pages 576–592, 2019, Springer.
Bibtex Entry:
@string{springer="Springer"}
@inproceedings{zgsjelia19,
author = {Zeynep G. Saribatur and Peter Sch\"{u}ller and Thomas Eiter},
title = {Abstraction for Non-Ground Answer Set Programs},
booktitle = {Proc. 16th European Conference on Logics in Artificial Intelligence, {JELIA} 2019},
series = {Lecture Notes in Computer Science},
volume = {11468},
pages = {576--592},
url = {https://doi.org/10.1007/978-3-030-19570-0_38},
publisher = {Springer},
year = {2019}
}