No CrossRef data available.
Article contents
Translating LPOD and CR-Prolog2 into standard answer set programs
Published online by Cambridge University Press: 10 August 2018
Abstract
Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.
Logic Programs with Ordered Disjunction (LPOD) is an extension of standard answer set programs to handle preference using the construct of ordered disjunction, and CR-Prolog2 is an extension of standard answer set programs with consistency restoring rules and LPOD-like ordered disjunction. We present reductions of each of these languages into the standard ASP language, which gives us an alternative way to understand the extensions in terms of the standard ASP language.
Information
- Type
- Original Article
- Information
- Theory and Practice of Logic Programming , Volume 18 , Special Issue 3-4: 34th International Conference on Logic Programming , July 2018 , pp. 589 - 606
- Copyright
- Copyright © Cambridge University Press 2018
References
Asuncion, V., Zhang, Y., and Zhang, H. 2014. Logic programs with ordered disjunction: first-order semantics and expressiveness. In Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning. AAAI Press, 2–11.Google Scholar
Balduccini, M., Balduccini, M., and Mellarkod, V. 2003. CR-Prolog with ordered disjunction. In In ASP03 Answer Set Programming: Advances in Theory and Implementation, volume 78 of CEUR Workshop proceedings.Google Scholar
Balduccini, M. 2007. CR-MODELS: an inference engine for CR-Prolog. In Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning. Springer-Verlag, 18–30.Google Scholar
Balduccini, M. and Gelfond, M. 2003. Logic programs with consistency-restoring rules. In International Symposium on Logical Formalization of Commonsense Reasoning, AAAI 2003 Spring Symposium Series. 9–18.Google Scholar
Balduccini, M. and Mellarkod, V. 2004. A-Prolog with CR-rules and ordered disjunction. In Intelligent Sensing and Information Processing, 2004. Proceedings of International Conference on. IEEE, 1–6.Google Scholar
Brewka, G. 2005. Preferences in answer set programming. In CAEPIA. Vol. 4177. Springer, 1–10.Google Scholar
Brewka, G., Delgrande, J. P., Romero, J., and Schaub, T. 2015. asprin: Customizing answer set preferences without a headache. In AAAI. 1467–1474.Google Scholar
Brewka, G., Niemelä, I., and Syrjänen, T. 2002. Implementing ordered disjunction using answer set solvers for normal programs. In European Workshop on Logics in Artificial Intelligence. Springer, 444–456.Google Scholar
Calimeri, F., Faber, W., Gebser, M., Ianni, G., Kaminski, R., Krennwallner, T., Leone, N., Ricca, F., and Schaub, T. 2012. ASP-Core-2: Input language format. ASP Standardization Working Group, Tech. Rep.Google Scholar
Delgrande, J. P., Schaub, T., and Tompits, H. 2003. A framework for compiling preferences in logic programs. Theory and Practice of Logic Programming 3, 2, 129–187.Google Scholar
Ferraris, P. 2011. Logic programs with propositional connectives and aggregates. ACM Transactions on Computational Logic (TOCL) 12, 4, 25.Google Scholar
Ferraris, P., Lee, J., Lifschitz, V., and Palla, R. 2009. Symmetric splitting in the general theory of stable models. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI). 797–803.Google Scholar
Gelfond, M. and Lifschitz, V. 1991. Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365–385.Google Scholar
Lee, J. and Yang, Z. 2018. Online appendix for the paper “Translating LPOD and CR-Prolog2 into standard answer set programs".Google Scholar
Lee and Yang supplementary material
Online Appendix
PDF
345.5 KB
You have
Access
- 2
- Cited by