Yayınlanmış 1 Ocak 2009
| Sürüm v1
Konferans bildirisi
Açık
Finding Similar or Diverse Solutions in Answer Set Programming
Yazarlar/Oluşturanlar
- 1. Vienna Univ Technol, Inst Informat Syst, A-1040 Vienna, Austria
- 2. Sabanci Univ, Fac Engn & Nat Sci, Istanbul, Turkey
Açıklama
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.
Dosyalar
bib-5093e6d1-d3cd-4072-97ff-4621c14b907b.txt
Dosyalar
(134 Bytes)
| Ad | Boyut | Hepisini indir |
|---|---|---|
|
md5:87573ba0f4fee2d603c45be040d3a235
|
134 Bytes | Ön İzleme İndir |