OVERVIEW

In [1,2,3,4,5] we have introduced some methods to compute similar/diverse and/or weighted solutions in Answer Set Programming. Below you will find a description of these methods, as well as their implementations.


CLASP-NK

CLASP-NK is an answer set solver which extends CLASP. CLASP-NK takes three parameters as input N, K and a distance function (from a set of solutions to the problem to nonnegative integers) which is implemented in C++ along with an ASP program that defines a solution to a problem. Then, it computes a set of N solutions to the problem whose distance is at most/least K (n k-similar/diverse solutions). See [1,5] for technical details.


DOWNLOAD

  • Version 2 (extends Clasp-2.0.1)

  • Version 1 (extends Clasp-1.1.3)

    • We have implemented different distance measures for Clasp-NK in order to perform experiments on different domains. Here you can find those source codes.


    CLASP-W

    Similar to CLASP-NK, CLASP-W is an answer set solver which extends CLASP. CLASP-W takes two parameters as input W and a weight function (from a solution to nonnegative integers) which is implemented in C++ along with the program that defines a solution to a problem. Then, it computes a solution whose weight is above/below W (at least/at most w-weighted solution). See [2,3,4] for technical details.


    DOWNLOAD

  • Version 1 (extends Clasp-1.1.3)

    • We have implemented different weight measures for Clasp-W in order to perform experiments on different domains. Here you can find those source codes.



    PUBLICATIONS

    [1] T. Eiter, E. Erdem, H. Erdogan, and M.Fink. Finding Similar or Diverse Solutions in Answer Set Programming. In Proc. of ICLP, 2009.

    [2] D. Cakmak, E. Erdem, and H. Erdogan. Computing Weighted Solutions in Answer Set Programming. In Proc. of LPNMR, 2009.

    [3] D. Cakmak, E. Erdem, and H. Erdogan. Computing Weighted Solutions in ASP: Representation-Based Method vs. Search-Based Method. In Proc. of RCRA, 2010.

    [4] D. Cakmak, E. Erdem, and H. Erdogan. Computing Weighted Solutions in ASP: Representation-Based Method vs. Search-Based Method. In Annals of Mathematics and Artificial Intelligence, 2011.

    [5] T. Eiter, E. Erdem, H. Erdogan, and M.Fink. Finding Similar or Diverse Solutions in Answer Set Programming. In Theory and Practice of Logic Programming, 2011.