Matches in SemOpenAlex for { <https://semopenalex.org/work/W1499408050> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W1499408050 endingPage "375" @default.
- W1499408050 startingPage "355" @default.
- W1499408050 abstract "The stubborn set method is one of the methods that try to relieve the state space explosion problem that occurs in state space generation. Spending some time in looking for “good” stubborn sets can pay off in the total time spent in generating a reduced state space. This article shows how the method can exploit tools that solve certain problems of logic programs. The restriction of a definition of stubbornness to a given state can be translated into a variable-free logic program. When a stubborn set satisfying additional constraints is wanted, the additional constraints should be translated, too. It is easy to make the translation in such a way that each acceptable stubborn set of the state is represented by at least one stable model of the program, each stable model of the program represents at least one acceptable stubborn set of the state, and for each pair in the representation relation, the number of certain atoms in the stable model is equal to the number of enabled transitions of the represented stubborn set. So, in order to find a stubborn set which is good w.r.t. the number of enabled transitions, it suffices to find a stable model which is good w.r.t. the number of certain atoms. The article also presents a new NP-completeness result concerning stubborn sets." @default.
- W1499408050 created "2016-06-24" @default.
- W1499408050 creator A5045498426 @default.
- W1499408050 date "2000-01-01" @default.
- W1499408050 modified "2023-10-16" @default.
- W1499408050 title "Stable Models for Stubborn Sets" @default.
- W1499408050 cites W1528441743 @default.
- W1499408050 cites W1541434994 @default.
- W1499408050 cites W1564354068 @default.
- W1499408050 cites W1568729458 @default.
- W1499408050 cites W1575325145 @default.
- W1499408050 cites W1938103548 @default.
- W1499408050 cites W1995246641 @default.
- W1499408050 cites W2062081943 @default.
- W1499408050 cites W2108911687 @default.
- W1499408050 cites W2113355185 @default.
- W1499408050 cites W2152131859 @default.
- W1499408050 cites W2611415697 @default.
- W1499408050 cites W2913459036 @default.
- W1499408050 cites W3174107850 @default.
- W1499408050 doi "https://doi.org/10.3233/fi-2000-43123418" @default.
- W1499408050 hasPublicationYear "2000" @default.
- W1499408050 type Work @default.
- W1499408050 sameAs 1499408050 @default.
- W1499408050 citedByCount "7" @default.
- W1499408050 countsByYear W14994080502013 @default.
- W1499408050 crossrefType "journal-article" @default.
- W1499408050 hasAuthorship W1499408050A5045498426 @default.
- W1499408050 hasConcept C33923547 @default.
- W1499408050 hasConcept C38652104 @default.
- W1499408050 hasConcept C41008148 @default.
- W1499408050 hasConceptScore W1499408050C33923547 @default.
- W1499408050 hasConceptScore W1499408050C38652104 @default.
- W1499408050 hasConceptScore W1499408050C41008148 @default.
- W1499408050 hasIssue "1-4" @default.
- W1499408050 hasLocation W14994080501 @default.
- W1499408050 hasOpenAccess W1499408050 @default.
- W1499408050 hasPrimaryLocation W14994080501 @default.
- W1499408050 hasRelatedWork W1587224694 @default.
- W1499408050 hasRelatedWork W1979597421 @default.
- W1499408050 hasRelatedWork W2007980826 @default.
- W1499408050 hasRelatedWork W2061531152 @default.
- W1499408050 hasRelatedWork W2077600819 @default.
- W1499408050 hasRelatedWork W2748952813 @default.
- W1499408050 hasRelatedWork W2899084033 @default.
- W1499408050 hasRelatedWork W3002753104 @default.
- W1499408050 hasRelatedWork W4225152035 @default.
- W1499408050 hasRelatedWork W4245490552 @default.
- W1499408050 hasVolume "43" @default.
- W1499408050 isParatext "false" @default.
- W1499408050 isRetracted "false" @default.
- W1499408050 magId "1499408050" @default.
- W1499408050 workType "article" @default.