Matches in SemOpenAlex for { <https://semopenalex.org/work/W2091237465> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2091237465 endingPage "336" @default.
- W2091237465 startingPage "301" @default.
- W2091237465 abstract "Since many complex decision making problems can be solved solely by means of an appropriate algorithm, checking the quality of such algorithm is a key issue, even more relevant in the presence of fuzzy uncertainty. In this paper we postulate that the design and formal specification of algorithms can be translated into a fuzzy framework introducing fuzzy first order logic and assert transformations. Following the classical crisp scheme we first formalize the concepts of a fuzzy algorithm specification and a fuzzy computing state, and then a new fuzzy computational logic is presented, so we can derive a computational reasoning for correctness of algorithms. A proposal for the evaluation and setting of suitable degrees of truth to computing states is also introduced." @default.
- W2091237465 created "2016-06-24" @default.
- W2091237465 creator A5012535114 @default.
- W2091237465 creator A5036972697 @default.
- W2091237465 creator A5039625831 @default.
- W2091237465 creator A5044198609 @default.
- W2091237465 date "2008-06-01" @default.
- W2091237465 modified "2023-10-16" @default.
- W2091237465 title "SPECIFICATION AND COMPUTING STATES IN FUZZY ALGORITHMS" @default.
- W2091237465 cites W126568045 @default.
- W2091237465 cites W1946053744 @default.
- W2091237465 cites W1982766895 @default.
- W2091237465 cites W2009248188 @default.
- W2091237465 cites W2019529630 @default.
- W2091237465 cites W2023278545 @default.
- W2091237465 cites W2025417900 @default.
- W2091237465 cites W2054195927 @default.
- W2091237465 cites W2059976750 @default.
- W2091237465 cites W2068186388 @default.
- W2091237465 cites W2088275852 @default.
- W2091237465 cites W2090808518 @default.
- W2091237465 cites W2109104903 @default.
- W2091237465 cites W2912389568 @default.
- W2091237465 cites W4211007335 @default.
- W2091237465 cites W4234672050 @default.
- W2091237465 cites W4244974072 @default.
- W2091237465 doi "https://doi.org/10.1142/s0218488508005303" @default.
- W2091237465 hasPublicationYear "2008" @default.
- W2091237465 type Work @default.
- W2091237465 sameAs 2091237465 @default.
- W2091237465 citedByCount "12" @default.
- W2091237465 countsByYear W20912374652012 @default.
- W2091237465 countsByYear W20912374652013 @default.
- W2091237465 countsByYear W20912374652014 @default.
- W2091237465 crossrefType "journal-article" @default.
- W2091237465 hasAuthorship W2091237465A5012535114 @default.
- W2091237465 hasAuthorship W2091237465A5036972697 @default.
- W2091237465 hasAuthorship W2091237465A5039625831 @default.
- W2091237465 hasAuthorship W2091237465A5044198609 @default.
- W2091237465 hasConcept C11413529 @default.
- W2091237465 hasConcept C127385683 @default.
- W2091237465 hasConcept C148671577 @default.
- W2091237465 hasConcept C154945302 @default.
- W2091237465 hasConcept C1883856 @default.
- W2091237465 hasConcept C26517878 @default.
- W2091237465 hasConcept C38652104 @default.
- W2091237465 hasConcept C41008148 @default.
- W2091237465 hasConcept C42011625 @default.
- W2091237465 hasConcept C55439883 @default.
- W2091237465 hasConcept C58166 @default.
- W2091237465 hasConcept C80444323 @default.
- W2091237465 hasConceptScore W2091237465C11413529 @default.
- W2091237465 hasConceptScore W2091237465C127385683 @default.
- W2091237465 hasConceptScore W2091237465C148671577 @default.
- W2091237465 hasConceptScore W2091237465C154945302 @default.
- W2091237465 hasConceptScore W2091237465C1883856 @default.
- W2091237465 hasConceptScore W2091237465C26517878 @default.
- W2091237465 hasConceptScore W2091237465C38652104 @default.
- W2091237465 hasConceptScore W2091237465C41008148 @default.
- W2091237465 hasConceptScore W2091237465C42011625 @default.
- W2091237465 hasConceptScore W2091237465C55439883 @default.
- W2091237465 hasConceptScore W2091237465C58166 @default.
- W2091237465 hasConceptScore W2091237465C80444323 @default.
- W2091237465 hasIssue "03" @default.
- W2091237465 hasLocation W20912374651 @default.
- W2091237465 hasOpenAccess W2091237465 @default.
- W2091237465 hasPrimaryLocation W20912374651 @default.
- W2091237465 hasRelatedWork W1918299039 @default.
- W2091237465 hasRelatedWork W2006645915 @default.
- W2091237465 hasRelatedWork W2061828243 @default.
- W2091237465 hasRelatedWork W2063980661 @default.
- W2091237465 hasRelatedWork W2273107802 @default.
- W2091237465 hasRelatedWork W2287021682 @default.
- W2091237465 hasRelatedWork W2337623226 @default.
- W2091237465 hasRelatedWork W2893993940 @default.
- W2091237465 hasRelatedWork W3000504909 @default.
- W2091237465 hasRelatedWork W74364172 @default.
- W2091237465 hasVolume "16" @default.
- W2091237465 isParatext "false" @default.
- W2091237465 isRetracted "false" @default.
- W2091237465 magId "2091237465" @default.
- W2091237465 workType "article" @default.