Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100428530> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2100428530 endingPage "631" @default.
- W2100428530 startingPage "625" @default.
- W2100428530 abstract "As expert system technology gains broader acceptance, the need to build and maintain large-scale knowledge bases will assume greater importance. Traditional approaches to knowledge-based systems (KBSs) verification have generally adopted a pairwise comparison of rules, making them slow for large-scale KBSs. This paper introduces the least fixpoint semantics of a predicate/transition (pr/t) net model into the KBSs for the purposes of speeding up the computation and saving the design time of KBSs. An efficient fault diagnosis algorithm is presented to locate some fault(s) made in the KBS design. The significance of this work is that frame- and rule-based hardware description language (FARHDL) can easily form a KBS, and the pr/t net model provides a T-invariant technique to verify the correctness of KBS requirements. Thus, the performance of a computer-aided design (CAD) tool for digital systems can be improved to some extent." @default.
- W2100428530 created "2016-06-24" @default.
- W2100428530 creator A5002868790 @default.
- W2100428530 date "2000-01-01" @default.
- W2100428530 modified "2023-09-27" @default.
- W2100428530 title "Correctness in hierarchical knowledge-based requirements" @default.
- W2100428530 cites W1874939829 @default.
- W2100428530 cites W1956801889 @default.
- W2100428530 cites W1968183737 @default.
- W2100428530 cites W1992006255 @default.
- W2100428530 cites W1994188141 @default.
- W2100428530 cites W2009436136 @default.
- W2100428530 cites W2036800932 @default.
- W2100428530 cites W2044998449 @default.
- W2100428530 cites W2055284127 @default.
- W2100428530 cites W2090098281 @default.
- W2100428530 cites W2099293367 @default.
- W2100428530 cites W2099767492 @default.
- W2100428530 cites W2105720158 @default.
- W2100428530 cites W2126452789 @default.
- W2100428530 cites W2134354173 @default.
- W2100428530 cites W2139756789 @default.
- W2100428530 cites W2146006151 @default.
- W2100428530 cites W2146191617 @default.
- W2100428530 cites W2150278707 @default.
- W2100428530 cites W2169082138 @default.
- W2100428530 cites W2612793397 @default.
- W2100428530 cites W3147316366 @default.
- W2100428530 cites W426262665 @default.
- W2100428530 cites W141465215 @default.
- W2100428530 cites W2131142053 @default.
- W2100428530 doi "https://doi.org/10.1109/3477.865185" @default.
- W2100428530 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/18252395" @default.
- W2100428530 hasPublicationYear "2000" @default.
- W2100428530 type Work @default.
- W2100428530 sameAs 2100428530 @default.
- W2100428530 citedByCount "14" @default.
- W2100428530 countsByYear W21004285302012 @default.
- W2100428530 countsByYear W21004285302013 @default.
- W2100428530 countsByYear W21004285302015 @default.
- W2100428530 countsByYear W21004285302016 @default.
- W2100428530 countsByYear W21004285302017 @default.
- W2100428530 countsByYear W21004285302018 @default.
- W2100428530 countsByYear W21004285302019 @default.
- W2100428530 countsByYear W21004285302020 @default.
- W2100428530 crossrefType "journal-article" @default.
- W2100428530 hasAuthorship W2100428530A5002868790 @default.
- W2100428530 hasConcept C115903868 @default.
- W2100428530 hasConcept C115925183 @default.
- W2100428530 hasConcept C124101348 @default.
- W2100428530 hasConcept C126042441 @default.
- W2100428530 hasConcept C154945302 @default.
- W2100428530 hasConcept C199360897 @default.
- W2100428530 hasConcept C41008148 @default.
- W2100428530 hasConcept C55439883 @default.
- W2100428530 hasConcept C58328972 @default.
- W2100428530 hasConcept C76155785 @default.
- W2100428530 hasConceptScore W2100428530C115903868 @default.
- W2100428530 hasConceptScore W2100428530C115925183 @default.
- W2100428530 hasConceptScore W2100428530C124101348 @default.
- W2100428530 hasConceptScore W2100428530C126042441 @default.
- W2100428530 hasConceptScore W2100428530C154945302 @default.
- W2100428530 hasConceptScore W2100428530C199360897 @default.
- W2100428530 hasConceptScore W2100428530C41008148 @default.
- W2100428530 hasConceptScore W2100428530C55439883 @default.
- W2100428530 hasConceptScore W2100428530C58328972 @default.
- W2100428530 hasConceptScore W2100428530C76155785 @default.
- W2100428530 hasIssue "4" @default.
- W2100428530 hasLocation W21004285301 @default.
- W2100428530 hasLocation W21004285302 @default.
- W2100428530 hasOpenAccess W2100428530 @default.
- W2100428530 hasPrimaryLocation W21004285301 @default.
- W2100428530 hasRelatedWork W104839790 @default.
- W2100428530 hasRelatedWork W198360313 @default.
- W2100428530 hasRelatedWork W2006244686 @default.
- W2100428530 hasRelatedWork W2013828617 @default.
- W2100428530 hasRelatedWork W2098592855 @default.
- W2100428530 hasRelatedWork W2355372875 @default.
- W2100428530 hasRelatedWork W2358544253 @default.
- W2100428530 hasRelatedWork W2386603576 @default.
- W2100428530 hasRelatedWork W2390604908 @default.
- W2100428530 hasRelatedWork W3082146899 @default.
- W2100428530 hasVolume "30" @default.
- W2100428530 isParatext "false" @default.
- W2100428530 isRetracted "false" @default.
- W2100428530 magId "2100428530" @default.
- W2100428530 workType "article" @default.