Matches in SemOpenAlex for { <https://semopenalex.org/work/W2133365629> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2133365629 abstract "With increasingly complex, sophisticated and changeable real-world domains, knowledge based systems have to cope with the problems of truth maintenance of their knowledge bases. This paper initiates a formal description technique for verifying the redundancy and subsumption of production rule-based systems. It has its foundation on high level Petri nets. The approach emphasizes the detection, and identification of different anomalies relevant to such problems that could occur in sequences of inferences. A description of the problems in terms of predicate formulae for verification is given. Formal analysis is provided which is based on reachability markings generated by the transition firings in the Petri network. >" @default.
- W2133365629 created "2016-06-24" @default.
- W2133365629 creator A5084497596 @default.
- W2133365629 date "2002-12-30" @default.
- W2133365629 modified "2023-09-25" @default.
- W2133365629 title "Formal description and verification of knowledge base redundancy and subsumption" @default.
- W2133365629 cites W2048316890 @default.
- W2133365629 cites W2134028041 @default.
- W2133365629 cites W2178344204 @default.
- W2133365629 cites W2726355060 @default.
- W2133365629 cites W590876860 @default.
- W2133365629 doi "https://doi.org/10.1109/icci.1993.315343" @default.
- W2133365629 hasPublicationYear "2002" @default.
- W2133365629 type Work @default.
- W2133365629 sameAs 2133365629 @default.
- W2133365629 citedByCount "3" @default.
- W2133365629 crossrefType "proceedings-article" @default.
- W2133365629 hasAuthorship W2133365629A5084497596 @default.
- W2133365629 hasConcept C111498074 @default.
- W2133365629 hasConcept C111919701 @default.
- W2133365629 hasConcept C115925183 @default.
- W2133365629 hasConcept C136643341 @default.
- W2133365629 hasConcept C140146324 @default.
- W2133365629 hasConcept C152124472 @default.
- W2133365629 hasConcept C154945302 @default.
- W2133365629 hasConcept C199360897 @default.
- W2133365629 hasConcept C38677869 @default.
- W2133365629 hasConcept C41008148 @default.
- W2133365629 hasConcept C4554734 @default.
- W2133365629 hasConcept C75606506 @default.
- W2133365629 hasConcept C80444323 @default.
- W2133365629 hasConceptScore W2133365629C111498074 @default.
- W2133365629 hasConceptScore W2133365629C111919701 @default.
- W2133365629 hasConceptScore W2133365629C115925183 @default.
- W2133365629 hasConceptScore W2133365629C136643341 @default.
- W2133365629 hasConceptScore W2133365629C140146324 @default.
- W2133365629 hasConceptScore W2133365629C152124472 @default.
- W2133365629 hasConceptScore W2133365629C154945302 @default.
- W2133365629 hasConceptScore W2133365629C199360897 @default.
- W2133365629 hasConceptScore W2133365629C38677869 @default.
- W2133365629 hasConceptScore W2133365629C41008148 @default.
- W2133365629 hasConceptScore W2133365629C4554734 @default.
- W2133365629 hasConceptScore W2133365629C75606506 @default.
- W2133365629 hasConceptScore W2133365629C80444323 @default.
- W2133365629 hasLocation W21333656291 @default.
- W2133365629 hasOpenAccess W2133365629 @default.
- W2133365629 hasPrimaryLocation W21333656291 @default.
- W2133365629 hasRelatedWork W1559372703 @default.
- W2133365629 hasRelatedWork W1561501726 @default.
- W2133365629 hasRelatedWork W165595480 @default.
- W2133365629 hasRelatedWork W196331120 @default.
- W2133365629 hasRelatedWork W1989243020 @default.
- W2133365629 hasRelatedWork W2030078040 @default.
- W2133365629 hasRelatedWork W2034704972 @default.
- W2133365629 hasRelatedWork W2102886900 @default.
- W2133365629 hasRelatedWork W2153228369 @default.
- W2133365629 hasRelatedWork W2186255308 @default.
- W2133365629 hasRelatedWork W2224852154 @default.
- W2133365629 hasRelatedWork W2332825144 @default.
- W2133365629 hasRelatedWork W2408365137 @default.
- W2133365629 hasRelatedWork W2556723477 @default.
- W2133365629 hasRelatedWork W2918970689 @default.
- W2133365629 hasRelatedWork W2948284658 @default.
- W2133365629 hasRelatedWork W3113026864 @default.
- W2133365629 hasRelatedWork W410633824 @default.
- W2133365629 hasRelatedWork W3143014315 @default.
- W2133365629 hasRelatedWork W3150875667 @default.
- W2133365629 isParatext "false" @default.
- W2133365629 isRetracted "false" @default.
- W2133365629 magId "2133365629" @default.
- W2133365629 workType "article" @default.