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