Omission-based Abstraction for Answer Set Programs – ERRATUM

ZEYNEP G. SARIBATUR; THOMAS EITER

doi:10.1017/S1471068420000125

Omission-based Abstraction for Answer Set Programs – ERRATUM

Published online by Cambridge University Press: 09 July 2020

ZEYNEP G. SARIBATUR and

THOMAS EITER

Article contents

Abstract
References

Rights & Permissions

Abstract

An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'

Type: Erratum
Information: Theory and Practice of Logic Programming , Volume 21 , Issue 2 , March 2021 , pp. 292

DOI: https://doi.org/10.1017/S1471068420000125 [Opens in a new window]
Creative Commons: This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.
Copyright: © The Author(s), 2020. Published by Cambridge University Press

References

Saribatur, Z. and EITER, T. 2020. Omission-Based Abstraction for Answer Set Programs. Theory and Practice of Logic Programming, 1–51. doi: 10.1017/S1471068420000095.CrossRef Google Scholar