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}
}