Omission-based Abstraction for Answer Set Programs

Saribatur, Zeynep G.; Eiter, Thomas

by Zeynep G. Saribatur, Thomas Eiter

Reference:

Omission-based Abstraction for Answer Set ProgramsZeynep G. Saribatur, Thomas EiterProc. 16th International Conference on Principles of Knowledge Representation and Reasoning (KR), October 2018, 2018.

Bibtex Entry:

@inproceedings{zgskr18,
    author    = {Zeynep G. Saribatur and Thomas Eiter},
    title     = {Omission-based Abstraction for Answer Set Programs},
    booktitle = {Proc. 16th International Conference on Principles of Knowledge Representation and Reasoning (KR), October 2018},
    url       = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18063},
    year      = {2018}
}