Abstraction for Non-Ground Answer Set Programs (bibtex)
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}
}
Powered by bibtexbrowser