Matches in SemOpenAlex for { <https://semopenalex.org/work/W3201049069> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W3201049069 endingPage "767" @default.
- W3201049069 startingPage "750" @default.
- W3201049069 abstract "Given a combinatorial search problem, it may be highly useful to enumerate its (all) solutions besides just finding one solution, or showing that none exists. The same can be stated about optimal solutions if an objective function is provided. This work goes beyond the bare enumeration of optimal solutions and addresses the computational task of solution enumeration by optimality (SEO). This task is studied in the context of Answer Set Programming (ASP) where (optimal) solutions of a problem are captured with the answer sets of a logic program encoding the problem. Existing answer-set solvers already support the enumeration of all (optimal) answer sets. However, in this work, we generalize the enumeration of optimal answer sets beyond strictly optimal ones, giving rise to the idea of answer set enumeration in the order of optimality (ASEO). This approach is applicable up to the best k answer sets or in an unlimited setting, which amounts to a process of sorting answer sets based on the objective function. As the main contribution of this work, we present the first general algorithms for the aforementioned tasks of answer set enumeration. Moreover, we illustrate the potential use cases of ASEO. First, we study how efficiently access to the next-best solutions can be achieved in a number of optimization problems that have been formalized and solved in ASP. Second, we show that ASEO provides us with an effective sampling technique for Bayesian networks." @default.
- W3201049069 created "2021-09-27" @default.
- W3201049069 creator A5014792526 @default.
- W3201049069 creator A5046046339 @default.
- W3201049069 date "2021-09-10" @default.
- W3201049069 modified "2023-10-18" @default.
- W3201049069 title "Solution Enumeration by Optimality in Answer Set Programming" @default.
- W3201049069 cites W1544757461 @default.
- W3201049069 cites W1584297074 @default.
- W3201049069 cites W1752491870 @default.
- W3201049069 cites W1813765053 @default.
- W3201049069 cites W1984407615 @default.
- W3201049069 cites W2011087880 @default.
- W3201049069 cites W2011124182 @default.
- W3201049069 cites W2062818807 @default.
- W3201049069 cites W2078712199 @default.
- W3201049069 cites W2087432892 @default.
- W3201049069 cites W2091138122 @default.
- W3201049069 cites W2265638991 @default.
- W3201049069 cites W2401610261 @default.
- W3201049069 cites W2620621036 @default.
- W3201049069 cites W2994667977 @default.
- W3201049069 cites W3104110719 @default.
- W3201049069 doi "https://doi.org/10.1017/s1471068421000375" @default.
- W3201049069 hasPublicationYear "2021" @default.
- W3201049069 type Work @default.
- W3201049069 sameAs 3201049069 @default.
- W3201049069 citedByCount "3" @default.
- W3201049069 countsByYear W32010490692022 @default.
- W3201049069 countsByYear W32010490692023 @default.
- W3201049069 crossrefType "journal-article" @default.
- W3201049069 hasAuthorship W3201049069A5014792526 @default.
- W3201049069 hasAuthorship W3201049069A5046046339 @default.
- W3201049069 hasBestOaLocation W32010490691 @default.
- W3201049069 hasConcept C111696304 @default.
- W3201049069 hasConcept C11413529 @default.
- W3201049069 hasConcept C118615104 @default.
- W3201049069 hasConcept C126255220 @default.
- W3201049069 hasConcept C14036430 @default.
- W3201049069 hasConcept C151730666 @default.
- W3201049069 hasConcept C156340839 @default.
- W3201049069 hasConcept C162324750 @default.
- W3201049069 hasConcept C177264268 @default.
- W3201049069 hasConcept C182620335 @default.
- W3201049069 hasConcept C187736073 @default.
- W3201049069 hasConcept C199360897 @default.
- W3201049069 hasConcept C2779343474 @default.
- W3201049069 hasConcept C2780451532 @default.
- W3201049069 hasConcept C33923547 @default.
- W3201049069 hasConcept C41008148 @default.
- W3201049069 hasConcept C78458016 @default.
- W3201049069 hasConcept C80444323 @default.
- W3201049069 hasConcept C86803240 @default.
- W3201049069 hasConceptScore W3201049069C111696304 @default.
- W3201049069 hasConceptScore W3201049069C11413529 @default.
- W3201049069 hasConceptScore W3201049069C118615104 @default.
- W3201049069 hasConceptScore W3201049069C126255220 @default.
- W3201049069 hasConceptScore W3201049069C14036430 @default.
- W3201049069 hasConceptScore W3201049069C151730666 @default.
- W3201049069 hasConceptScore W3201049069C156340839 @default.
- W3201049069 hasConceptScore W3201049069C162324750 @default.
- W3201049069 hasConceptScore W3201049069C177264268 @default.
- W3201049069 hasConceptScore W3201049069C182620335 @default.
- W3201049069 hasConceptScore W3201049069C187736073 @default.
- W3201049069 hasConceptScore W3201049069C199360897 @default.
- W3201049069 hasConceptScore W3201049069C2779343474 @default.
- W3201049069 hasConceptScore W3201049069C2780451532 @default.
- W3201049069 hasConceptScore W3201049069C33923547 @default.
- W3201049069 hasConceptScore W3201049069C41008148 @default.
- W3201049069 hasConceptScore W3201049069C78458016 @default.
- W3201049069 hasConceptScore W3201049069C80444323 @default.
- W3201049069 hasConceptScore W3201049069C86803240 @default.
- W3201049069 hasIssue "6" @default.
- W3201049069 hasLocation W32010490691 @default.
- W3201049069 hasLocation W32010490692 @default.
- W3201049069 hasLocation W32010490693 @default.
- W3201049069 hasLocation W32010490694 @default.
- W3201049069 hasOpenAccess W3201049069 @default.
- W3201049069 hasPrimaryLocation W32010490691 @default.
- W3201049069 hasRelatedWork W1987706094 @default.
- W3201049069 hasRelatedWork W2500192121 @default.
- W3201049069 hasRelatedWork W2560490008 @default.
- W3201049069 hasRelatedWork W2898772359 @default.
- W3201049069 hasRelatedWork W2949030274 @default.
- W3201049069 hasRelatedWork W2996244977 @default.
- W3201049069 hasRelatedWork W3101458312 @default.
- W3201049069 hasRelatedWork W3121426785 @default.
- W3201049069 hasRelatedWork W4283801937 @default.
- W3201049069 hasRelatedWork W4366496760 @default.
- W3201049069 hasVolume "21" @default.
- W3201049069 isParatext "false" @default.
- W3201049069 isRetracted "false" @default.
- W3201049069 magId "3201049069" @default.
- W3201049069 workType "article" @default.