TY - GEN
T1 - Computing logic programs with ordered disjunction using asprin
AU - Lee, Joohyung
AU - Yang, Zhun
N1 - Funding Information:
Acknowledgments: We are grateful to the anonymous referees for their useful comments. This work was partially supported by the National Science Foundation under Grants IIS-1526301 and IIS-1815337.
Publisher Copyright:
Copyright © 2018, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.
PY - 2018
Y1 - 2018
N2 - Logic Programs with Ordered Disjunction (LPOD) is an extension of standard answer set programs to handle preference using the high-level construct of ordered disjunction whereas asprin is a recently proposed, general, flexible, and extensible framework that provides low-level constructs for representing preference in answer set programming. We present an encoding of LPOD in the language of asprin and the implementation of LPOD called LPOD2ASPRIN based on the encoding. Unlike the known method that applies only to a fragment of LPOD, our translation is general, direct, and simpler. It also leads to more efficient computation of LPOD using asprin.
AB - Logic Programs with Ordered Disjunction (LPOD) is an extension of standard answer set programs to handle preference using the high-level construct of ordered disjunction whereas asprin is a recently proposed, general, flexible, and extensible framework that provides low-level constructs for representing preference in answer set programming. We present an encoding of LPOD in the language of asprin and the implementation of LPOD called LPOD2ASPRIN based on the encoding. Unlike the known method that applies only to a fragment of LPOD, our translation is general, direct, and simpler. It also leads to more efficient computation of LPOD using asprin.
UR - http://www.scopus.com/inward/record.url?scp=85088264376&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85088264376&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:85088264376
T3 - Principles of Knowledge Representation and Reasoning: Proceedings of the 16th International Conference, KR 2018
SP - 57
EP - 61
BT - Principles of Knowledge Representation and Reasoning
A2 - Thielscher, Michael
A2 - Toni, Francesca
A2 - Wolter, Frank
PB - AAAI press
T2 - 16th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2018
Y2 - 30 October 2018 through 2 November 2018
ER -