Chapter

Logic Programming

Volume 5649 of the series Lecture Notes in Computer Science pp 342-356

Finding Similar or Diverse Solutions in Answer Set Programming

  • Thomas EiterAffiliated withInstitute of Information Systems, Vienna University of Technology
  • , Esra ErdemAffiliated withFaculty of Engineering and Natural Sciences, Sabancı University
  • , Halit ErdoğanAffiliated withFaculty of Engineering and Natural Sciences, Sabancı University
  • , Michael FinkAffiliated withInstitute of Information Systems, Vienna University of Technology

* Final gross prices may vary according to local VAT.

Get Access

Abstract

We study finding similar or diverse solutions of a given computational problem, in answer set programming, and introduce offline methods and online methods to compute them using answer set solvers. We analyze the computational complexity of some problems that are related to finding similar or diverse solutions, and show the applicability and effectiveness of our methods in phylogeny reconstruction.

Keywords

similar/diverse solutions answer set programming phylogenies