Finding similar or diverse solutions in answer set programming. Eiter, T., Erdem, E., Erdogan, H., & Fink, M. In Proc. of the 25th International Conference on Logic Programming (ICLP'09), pages 342-356, 2009. Lecture Notes in Computer Science. N Paper abstract bibtex 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.
@inproceedings{DBLP:bit/iclp/EiterEEF09,
author = {Thomas Eiter and
Esra Erdem and
Halit Erdogan and
Michael Fink},
title = {{Finding similar or diverse solutions in answer set programming}},
booktitle = {Proc. of the 25th International Conference on Logic Programming (ICLP'09)},
year = {2009},
pages = {342-356},
publisher = {{Lecture Notes in Computer Science}},
urlN = {iclp09.pdf},
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.},
url = {http://www.springerlink.com/content/b18t5k66v7514238/},
}
Downloads: 0
{"_id":{"_str":"534224d0ecd21cdc070007d0"},"__v":21,"authorIDs":["5456f0758b01c81930000081","5457257c2abc8e9f370000e3","54597963b43425b7720005c1","546a3dcdbc7d6a460d001844","5df0b7a08367c8de010000ce","5df87bbedb7d9ddf01000044","5e4957a916841dde01000031","u493trvfaXuB4g9PZ"],"author_short":["Eiter, T.","Erdem, E.","Erdogan, H.","Fink, M."],"bibbaseid":"eiter-erdem-erdogan-fink-findingsimilarordiversesolutionsinanswersetprogramming-2009","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Thomas"],"propositions":[],"lastnames":["Eiter"],"suffixes":[]},{"firstnames":["Esra"],"propositions":[],"lastnames":["Erdem"],"suffixes":[]},{"firstnames":["Halit"],"propositions":[],"lastnames":["Erdogan"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fink"],"suffixes":[]}],"title":"Finding similar or diverse solutions in answer set programming","booktitle":"Proc. of the 25th International Conference on Logic Programming (ICLP'09)","year":"2009","pages":"342-356","publisher":"Lecture Notes in Computer Science","urln":"iclp09.pdf","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.","url":"http://www.springerlink.com/content/b18t5k66v7514238/","bibtex":"@inproceedings{DBLP:bit/iclp/EiterEEF09,\n author = {Thomas Eiter and\n Esra Erdem and\n Halit Erdogan and\n Michael Fink},\n title = {{Finding similar or diverse solutions in answer set programming}},\n booktitle = {Proc. of the 25th International Conference on Logic Programming (ICLP'09)},\n year = {2009},\n pages = {342-356},\n publisher = {{Lecture Notes in Computer Science}},\n urlN = {iclp09.pdf},\n 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.},\n url = {http://www.springerlink.com/content/b18t5k66v7514238/},\n}\n\n\n","author_short":["Eiter, T.","Erdem, E.","Erdogan, H.","Fink, M."],"key":"DBLP:bit/iclp/EiterEEF09","id":"DBLP:bit/iclp/EiterEEF09","bibbaseid":"eiter-erdem-erdogan-fink-findingsimilarordiversesolutionsinanswersetprogramming-2009","role":"author","urls":{"N":"http://pages.cs.wisc.edu/~halit/papers/iclp09.pdf","Paper":"http://www.springerlink.com/content/b18t5k66v7514238/"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://pages.cs.wisc.edu/~halit/papers/haliterdoganpub.bib","downloads":0,"keywords":[],"search_terms":["finding","similar","diverse","solutions","answer","set","programming","eiter","erdem","erdogan","fink"],"title":"Finding similar or diverse solutions in answer set programming","year":2009,"dataSources":["h6pbJnSkCa6JsKHC7","FnnA3hAZggjATcKDh"]}