Skip to main content

Achievements in answer set programming*


This paper describes an approach to the methodology of answer set programming that can facilitate the design of encodings that are easy to understand and provably correct. Under this approach, after appending a rule or a small group of rules to the emerging program, we include a comment that states what has been “achieved” so far. This strategy allows us to set out our understanding of the design of the program by describing the roles of small parts of the program in a mathematically precise way.

Hide All

This research was partially supported by the National Science Foundation under Grant IIS-1422455

Hide All
Brain, M., Erdem, E., Inoue, K., Oetsch, J., Pührer, J., Tompits, H. and Yilmaz, C. 2012. Event-sequence testing using answer-set programming. International Journal on Advances in Software 5, 237251.
Brooks, D. R., Erdem, E., Erdoğan, S. T., Minett, J. W., and Ringe, D. 2007. Inferring phylogenetic trees using answer set programming. Journal of Automated Reasoning 39, 471511.
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 [online]. URL: [Accessed on August 15, 2017].
Charwat, G. and Pfandler, A. 2015. Democratix: A declarative approach to winner determination. In Proc. of the 4th International Conference on Algorithmic Decision Theory (ADT).
Dijkstra, E. W. 1972. The humble programmer. Communications of the ACM 15, 859866.
Eiter, T., Leone, N., Mateis, C., Pfeifer, G. and Scarcello, F. 1998. The KR system dlv: Progress report, comparisons and benchmarks. In Proc. of International Conference on Principles of Knowledge Representation and Reasoning (KR), Cohn, A., Schubert, L., and Shapiro, S., Eds. 406417.
Gebser, M., Harrison, A., Kaminski, R., Lifschitz, V. and Schaub, T. 2015. Abstract gringo. Theory and Practice of Logic Programming 15, 449463.
Gebser, M., Kaminski, R., Kaufmann, B., Lindauer, M., Ostrowski, M., Romero, J., Schaub, T. and Thiele, S. 2015. Potassco User Guide, version 2.0 [online]. URL:
Gebser, M., Kaminski, R., Kaufmann, B. and Schaub, T. 2012. Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan and Claypool Publishers.
Gelfond, M. and Kahl, Y. 2014. Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach. Cambridge University Press.
Gelfond, M. and Lifschitz, V. 1990. Logic programs with classical negation. In Proc. of International Conference on Logic Programming (ICLP), Warren, D. and Szeredi, P., Eds. 579–597.
Gelfond, M. and Lifschitz, V. 1993. Representing action and change by logic programs. Journal of Logic Programming 17, 301322.
Gelfond, M. and Przymusinska, H. 1996. Towards a theory of elaboration tolerance: Logic programming approach. International Journal of Software Engineering and Knowledge Engineering 6, 1, 89112.
Lifschitz, V. and Turner, H. 1999. Representing transition systems by logic programs. In Proc. of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR). 92–106.
Marek, V. and Truszczynski, M. 1999. Stable models and an alternative logic programming paradigm. In The Logic Programming Paradigm: A 25-Year Perspective. Springer Verlag, 375398.
Niemelä, I. 1999. Logic programs with stable model semantics as a constraint programming paradigm. Annals of Mathematics and Artificial Intelligence 25, 241273.
Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

Theory and Practice of Logic Programming
  • ISSN: 1471-0684
  • EISSN: 1475-3081
  • URL: /core/journals/theory-and-practice-of-logic-programming
Please enter your name
Please enter a valid email address
Who would you like to send this to? *



Full text views

Total number of HTML views: 1
Total number of PDF views: 28 *
Loading metrics...

Abstract views

Total abstract views: 114 *
Loading metrics...

* Views captured on Cambridge Core between 30th August 2017 - 17th March 2018. This data will be updated every 24 hours.