Matches in SemOpenAlex for { <https://semopenalex.org/work/W87432413> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W87432413 abstract "The use of Knowledge Base Reduction to verify rule bases was first developed for propositional rule bases, and then extended to handle quantified variables in rules. However, these techniques did not reason about equations. This paper gives a formal specification of KB-Reducer3, an analysis tool for rule bases containing equations. The algorithm for KB-Reducer3 is described, and a brief discussion on its use and limitations is provided." @default.
- W87432413 created "2016-06-24" @default.
- W87432413 creator A5035528081 @default.
- W87432413 date "1993-01-01" @default.
- W87432413 modified "2023-09-24" @default.
- W87432413 title "Knowledge Base Reduction for Verifying Rule Bases Containing Equations" @default.
- W87432413 cites W2012170877 @default.
- W87432413 cites W229019754 @default.
- W87432413 hasPublicationYear "1993" @default.
- W87432413 type Work @default.
- W87432413 sameAs 87432413 @default.
- W87432413 citedByCount "2" @default.
- W87432413 crossrefType "journal-article" @default.
- W87432413 hasAuthorship W87432413A5035528081 @default.
- W87432413 hasConcept C111335779 @default.
- W87432413 hasConcept C11413529 @default.
- W87432413 hasConcept C134306372 @default.
- W87432413 hasConcept C154945302 @default.
- W87432413 hasConcept C199360897 @default.
- W87432413 hasConcept C2524010 @default.
- W87432413 hasConcept C33923547 @default.
- W87432413 hasConcept C41008148 @default.
- W87432413 hasConcept C42058472 @default.
- W87432413 hasConcept C4554734 @default.
- W87432413 hasConcept C69562738 @default.
- W87432413 hasConceptScore W87432413C111335779 @default.
- W87432413 hasConceptScore W87432413C11413529 @default.
- W87432413 hasConceptScore W87432413C134306372 @default.
- W87432413 hasConceptScore W87432413C154945302 @default.
- W87432413 hasConceptScore W87432413C199360897 @default.
- W87432413 hasConceptScore W87432413C2524010 @default.
- W87432413 hasConceptScore W87432413C33923547 @default.
- W87432413 hasConceptScore W87432413C41008148 @default.
- W87432413 hasConceptScore W87432413C42058472 @default.
- W87432413 hasConceptScore W87432413C4554734 @default.
- W87432413 hasConceptScore W87432413C69562738 @default.
- W87432413 hasLocation W874324131 @default.
- W87432413 hasOpenAccess W87432413 @default.
- W87432413 hasPrimaryLocation W874324131 @default.
- W87432413 hasRelatedWork W108130482 @default.
- W87432413 hasRelatedWork W11551098 @default.
- W87432413 hasRelatedWork W1480023663 @default.
- W87432413 hasRelatedWork W1979141170 @default.
- W87432413 hasRelatedWork W2007274184 @default.
- W87432413 hasRelatedWork W2021983189 @default.
- W87432413 hasRelatedWork W2030326219 @default.
- W87432413 hasRelatedWork W2051197057 @default.
- W87432413 hasRelatedWork W2055122450 @default.
- W87432413 hasRelatedWork W2089342541 @default.
- W87432413 hasRelatedWork W2102389036 @default.
- W87432413 hasRelatedWork W2139132010 @default.
- W87432413 hasRelatedWork W2142659810 @default.
- W87432413 hasRelatedWork W2157609270 @default.
- W87432413 hasRelatedWork W2234934757 @default.
- W87432413 hasRelatedWork W2278701692 @default.
- W87432413 hasRelatedWork W2327686431 @default.
- W87432413 hasRelatedWork W2381295546 @default.
- W87432413 hasRelatedWork W9626825 @default.
- W87432413 hasRelatedWork W2847730775 @default.
- W87432413 isParatext "false" @default.
- W87432413 isRetracted "false" @default.
- W87432413 magId "87432413" @default.
- W87432413 workType "article" @default.