Skip to main content
    • Aa
    • Aa

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
BrainM., ErdemE., InoueK., OetschJ., PührerJ., TompitsH. and YilmazC. 2012. Event-sequence testing using answer-set programming. International Journal on Advances in Software 5, 237251.
BrooksD. R., ErdemE., ErdoğanS. T., MinettJ. W., and RingeD. 2007. Inferring phylogenetic trees using answer set programming. Journal of Automated Reasoning 39, 471511.
CalimeriF., FaberW., GebserM., IanniG., KaminskiR., KrennwallnerT., LeoneN., RiccaF. and SchaubT. 2012. ASP-Core-2: Input language format [online]. URL: [Accessed on August 15, 2017].
CharwatG. and PfandlerA. 2015. Democratix: A declarative approach to winner determination. In Proc. of the 4th International Conference on Algorithmic Decision Theory (ADT).
DijkstraE. W. 1972. The humble programmer. Communications of the ACM 15, 859866.
EiterT., LeoneN., MateisC., PfeiferG. and ScarcelloF. 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.
GebserM., HarrisonA., KaminskiR., LifschitzV. and SchaubT. 2015. Abstract gringo. Theory and Practice of Logic Programming 15, 449463.
GebserM., KaminskiR., KaufmannB., LindauerM., OstrowskiM., RomeroJ., SchaubT. and ThieleS. 2015. Potassco User Guide, version 2.0 [online]. URL:
GebserM., KaminskiR., KaufmannB. and SchaubT. 2012. Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan and Claypool Publishers.
GelfondM. and KahlY. 2014. Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach. Cambridge University Press.
GelfondM. and LifschitzV. 1990. Logic programs with classical negation. In Proc. of International Conference on Logic Programming (ICLP), Warren D. and Szeredi P., Eds. 579–597.
GelfondM. and LifschitzV. 1993. Representing action and change by logic programs. Journal of Logic Programming 17, 301322.
GelfondM. and PrzymusinskaH. 1996. Towards a theory of elaboration tolerance: Logic programming approach. International Journal of Software Engineering and Knowledge Engineering 6, 1, 89112.
LifschitzV. and TurnerH. 1999. Representing transition systems by logic programs. In Proc. of International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR). 92–106.
MarekV. and TruszczynskiM. 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: 11 *
Loading metrics...

Abstract views

Total abstract views: 39 *
Loading metrics...

* Views captured on Cambridge Core between 30th August 2017 - 23rd October 2017. This data will be updated every 24 hours.