FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950407175> ?p ?o ?g. }

• W2950407175 abstract "Unsatisfiable core analysis can boost the computation of optimum stable models for logic programs with weak constraints. However, current solvers employing unsatisfiable core analysis either run to completion, or provide no suboptimal stable models but the one resulting from the preliminary disjoint cores analysis. This drawback is circumvented here by introducing a progression based shrinking of the analyzed unsatisfiable cores. In fact, suboptimal stable models are possibly found while shrinking unsatisfiable cores, hence resulting into an anytime algorithm. Moreover, as confirmed empirically, unsatisfiable core analysis also benefits from the shrinking process in terms of solved instances. This paper is under consideration for acceptance in TPLP." @default.
• W2950407175 created "2019-06-27" @default.
• W2950407175 creator A5031224507 @default.
• W2950407175 creator A5039882261 @default.
• W2950407175 date "2016-08-02" @default.
• W2950407175 modified "2023-09-27" @default.
• W2950407175 title "Anytime answer set optimization via unsatisfiable core shrinking" @default.
• W2950407175 cites W134459671 @default.
• W2950407175 cites W1481719343 @default.
• W2950407175 cites W1500460229 @default.
• W2950407175 cites W1531103278 @default.
• W2950407175 cites W1559357575 @default.
• W2950407175 cites W165019675 @default.
• W2950407175 cites W1787538678 @default.
• W2950407175 cites W1817519191 @default.
• W2950407175 cites W1988666619 @default.
• W2950407175 cites W2011124182 @default.
• W2950407175 cites W2029702617 @default.
• W2950407175 cites W2039887949 @default.
• W2950407175 cites W2054159566 @default.
• W2950407175 cites W2064864283 @default.
• W2950407175 cites W2076698873 @default.
• W2950407175 cites W2091138122 @default.
• W2950407175 cites W2100699693 @default.
• W2950407175 cites W2106614716 @default.
• W2950407175 cites W2118943303 @default.
• W2950407175 cites W2147344875 @default.
• W2950407175 cites W2152131859 @default.
• W2950407175 cites W2153935965 @default.
• W2950407175 cites W2256886837 @default.
• W2950407175 cites W2274933339 @default.
• W2950407175 cites W2405869186 @default.
• W2950407175 cites W2407856297 @default.
• W2950407175 cites W2471277801 @default.
• W2950407175 cites W2573634035 @default.
• W2950407175 cites W2951949933 @default.
• W2950407175 cites W2952805501 @default.
• W2950407175 cites W3101449588 @default.
• W2950407175 cites W3104034370 @default.
• W2950407175 cites W3104588709 @default.
• W2950407175 cites W50549667 @default.
• W2950407175 cites W2187266564 @default.
• W2950407175 hasPublicationYear "2016" @default.
• W2950407175 type Work @default.
• W2950407175 sameAs 2950407175 @default.
• W2950407175 citedByCount "0" @default.
• W2950407175 crossrefType "posted-content" @default.
• W2950407175 hasAuthorship W2950407175A5031224507 @default.
• W2950407175 hasAuthorship W2950407175A5039882261 @default.
• W2950407175 hasConcept C11413529 @default.
• W2950407175 hasConcept C118615104 @default.
• W2950407175 hasConcept C126255220 @default.
• W2950407175 hasConcept C168773769 @default.
• W2950407175 hasConcept C177264268 @default.
• W2950407175 hasConcept C199360897 @default.
• W2950407175 hasConcept C2164484 @default.
• W2950407175 hasConcept C33923547 @default.
• W2950407175 hasConcept C41008148 @default.
• W2950407175 hasConcept C45340560 @default.
• W2950407175 hasConcept C45374587 @default.
• W2950407175 hasConcept C76155785 @default.
• W2950407175 hasConcept C98045186 @default.
• W2950407175 hasConceptScore W2950407175C11413529 @default.
• W2950407175 hasConceptScore W2950407175C118615104 @default.
• W2950407175 hasConceptScore W2950407175C126255220 @default.
• W2950407175 hasConceptScore W2950407175C168773769 @default.
• W2950407175 hasConceptScore W2950407175C177264268 @default.
• W2950407175 hasConceptScore W2950407175C199360897 @default.
• W2950407175 hasConceptScore W2950407175C2164484 @default.
• W2950407175 hasConceptScore W2950407175C33923547 @default.
• W2950407175 hasConceptScore W2950407175C41008148 @default.
• W2950407175 hasConceptScore W2950407175C45340560 @default.
• W2950407175 hasConceptScore W2950407175C45374587 @default.
• W2950407175 hasConceptScore W2950407175C76155785 @default.
• W2950407175 hasConceptScore W2950407175C98045186 @default.
• W2950407175 hasLocation W29504071751 @default.
• W2950407175 hasOpenAccess W2950407175 @default.
• W2950407175 hasPrimaryLocation W29504071751 @default.
• W2950407175 hasRelatedWork W1593691693 @default.
• W2950407175 hasRelatedWork W1775889152 @default.
• W2950407175 hasRelatedWork W1902123169 @default.
• W2950407175 hasRelatedWork W1966998067 @default.
• W2950407175 hasRelatedWork W2010828760 @default.
• W2950407175 hasRelatedWork W2020169768 @default.
• W2950407175 hasRelatedWork W2049409390 @default.
• W2950407175 hasRelatedWork W2049771619 @default.
• W2950407175 hasRelatedWork W2139906094 @default.
• W2950407175 hasRelatedWork W2150310937 @default.
• W2950407175 hasRelatedWork W2167333876 @default.
• W2950407175 hasRelatedWork W2186601043 @default.
• W2950407175 hasRelatedWork W2505202112 @default.
• W2950407175 hasRelatedWork W2571595555 @default.
• W2950407175 hasRelatedWork W2888046464 @default.
• W2950407175 hasRelatedWork W2921992864 @default.
• W2950407175 hasRelatedWork W2926187500 @default.
• W2950407175 hasRelatedWork W2951537718 @default.
• W2950407175 hasRelatedWork W2975549170 @default.
• W2950407175 hasRelatedWork W3189332520 @default.
• W2950407175 isParatext "false" @default.
• W2950407175 isRetracted "false" @default.

• next