Matches in SemOpenAlex for { <https://semopenalex.org/work/W2375334283> ?p ?o ?g. }
- W2375334283 abstract "This paper defines the notion of cycle symmetry, which extends the traditional automorphism-based symmetry and enables application of symmetry reduction to a broader class of asymmetric systems. The study also shows that both cycle symmetry group and cycle symmetry generated group can be used to produce a quotient structure that is bisimilar to the original model. Furthermore, the extension of symmetry reduction over three-valued models is investigated. The quotient structure of a three-valued model is defined and induced by a permutation group and extends to both automorphism-based symmetry reduction and cycle symmetry reduction to three-valued models. Finally, the study analyzes the relationship between symmetry reduction of a three-valued model and classical models induced by it. Both approaches can lead to the same reduced quotient structure of the original" @default.
- W2375334283 created "2016-06-24" @default.
- W2375334283 creator A5002780700 @default.
- W2375334283 creator A5023361448 @default.
- W2375334283 creator A5057149015 @default.
- W2375334283 creator A5057362939 @default.
- W2375334283 creator A5084652886 @default.
- W2375334283 creator A5089246523 @default.
- W2375334283 date "2011-01-01" @default.
- W2375334283 modified "2023-09-28" @default.
- W2375334283 title "Cycle Symmetry Reduction and Its Extension on Three-Valued Models" @default.
- W2375334283 cites W1489391022 @default.
- W2375334283 cites W1497599822 @default.
- W2375334283 cites W1506653550 @default.
- W2375334283 cites W1519054335 @default.
- W2375334283 cites W1536783297 @default.
- W2375334283 cites W1544872225 @default.
- W2375334283 cites W1549035077 @default.
- W2375334283 cites W1549714654 @default.
- W2375334283 cites W1574267655 @default.
- W2375334283 cites W1586035363 @default.
- W2375334283 cites W1589760516 @default.
- W2375334283 cites W1655886890 @default.
- W2375334283 cites W1728798265 @default.
- W2375334283 cites W1735022296 @default.
- W2375334283 cites W1964632015 @default.
- W2375334283 cites W2011356815 @default.
- W2375334283 cites W2030935018 @default.
- W2375334283 cites W2034102118 @default.
- W2375334283 cites W2040904498 @default.
- W2375334283 cites W2107405469 @default.
- W2375334283 cites W2113686430 @default.
- W2375334283 cites W2120119918 @default.
- W2375334283 cites W2134908243 @default.
- W2375334283 cites W2378881248 @default.
- W2375334283 cites W1859153827 @default.
- W2375334283 cites W2610607535 @default.
- W2375334283 hasPublicationYear "2011" @default.
- W2375334283 type Work @default.
- W2375334283 sameAs 2375334283 @default.
- W2375334283 citedByCount "0" @default.
- W2375334283 crossrefType "journal-article" @default.
- W2375334283 hasAuthorship W2375334283A5002780700 @default.
- W2375334283 hasAuthorship W2375334283A5023361448 @default.
- W2375334283 hasAuthorship W2375334283A5057149015 @default.
- W2375334283 hasAuthorship W2375334283A5057362939 @default.
- W2375334283 hasAuthorship W2375334283A5084652886 @default.
- W2375334283 hasAuthorship W2375334283A5089246523 @default.
- W2375334283 hasConcept C111335779 @default.
- W2375334283 hasConcept C121332964 @default.
- W2375334283 hasConcept C154945302 @default.
- W2375334283 hasConcept C164772539 @default.
- W2375334283 hasConcept C199360897 @default.
- W2375334283 hasConcept C199422724 @default.
- W2375334283 hasConcept C202444582 @default.
- W2375334283 hasConcept C21308566 @default.
- W2375334283 hasConcept C24890656 @default.
- W2375334283 hasConcept C2524010 @default.
- W2375334283 hasConcept C2777212361 @default.
- W2375334283 hasConcept C2778029271 @default.
- W2375334283 hasConcept C2779886137 @default.
- W2375334283 hasConcept C33923547 @default.
- W2375334283 hasConcept C41008148 @default.
- W2375334283 hasConcept C5534955 @default.
- W2375334283 hasConcept C81651864 @default.
- W2375334283 hasConcept C92957085 @default.
- W2375334283 hasConceptScore W2375334283C111335779 @default.
- W2375334283 hasConceptScore W2375334283C121332964 @default.
- W2375334283 hasConceptScore W2375334283C154945302 @default.
- W2375334283 hasConceptScore W2375334283C164772539 @default.
- W2375334283 hasConceptScore W2375334283C199360897 @default.
- W2375334283 hasConceptScore W2375334283C199422724 @default.
- W2375334283 hasConceptScore W2375334283C202444582 @default.
- W2375334283 hasConceptScore W2375334283C21308566 @default.
- W2375334283 hasConceptScore W2375334283C24890656 @default.
- W2375334283 hasConceptScore W2375334283C2524010 @default.
- W2375334283 hasConceptScore W2375334283C2777212361 @default.
- W2375334283 hasConceptScore W2375334283C2778029271 @default.
- W2375334283 hasConceptScore W2375334283C2779886137 @default.
- W2375334283 hasConceptScore W2375334283C33923547 @default.
- W2375334283 hasConceptScore W2375334283C41008148 @default.
- W2375334283 hasConceptScore W2375334283C5534955 @default.
- W2375334283 hasConceptScore W2375334283C81651864 @default.
- W2375334283 hasConceptScore W2375334283C92957085 @default.
- W2375334283 hasLocation W23753342831 @default.
- W2375334283 hasOpenAccess W2375334283 @default.
- W2375334283 hasPrimaryLocation W23753342831 @default.
- W2375334283 hasRelatedWork W1531333150 @default.
- W2375334283 hasRelatedWork W1541826589 @default.
- W2375334283 hasRelatedWork W1972725209 @default.
- W2375334283 hasRelatedWork W1993200201 @default.
- W2375334283 hasRelatedWork W2009016808 @default.
- W2375334283 hasRelatedWork W2011700761 @default.
- W2375334283 hasRelatedWork W2018069852 @default.
- W2375334283 hasRelatedWork W2050884731 @default.
- W2375334283 hasRelatedWork W2063871843 @default.
- W2375334283 hasRelatedWork W2140568401 @default.
- W2375334283 hasRelatedWork W2144735470 @default.
- W2375334283 hasRelatedWork W2157796532 @default.
- W2375334283 hasRelatedWork W2231244553 @default.