Matches in SemOpenAlex for { <https://semopenalex.org/work/W3121822014> ?p ?o ?g. }
- W3121822014 endingPage "252" @default.
- W3121822014 startingPage "252" @default.
- W3121822014 abstract "In the paradigm of Knowledge-Based Systems (KBS), the design of methods to simplify the reasoning leads to more efficient processes. A point of view that provides valuable insights is the algebraic one. In this work, a notion of basis (and dimension) for Knowledge Bases in Propositional Logic associated with knowledge forgetting is introduced. It is based on ideas that come from the translation of such logic in (Computer) Algebra, particularly from the interpretation of variable forgetting. In this paper, the concept of weak base is defined as a set of variables sufficient to decide the consistency using variable forgetting. Several applications of weak bases are presented in order to show their usefulness in KBS reasoning and to justify their study and use in solving problems within this topic." @default.
- W3121822014 created "2021-02-01" @default.
- W3121822014 creator A5000963116 @default.
- W3121822014 creator A5008164389 @default.
- W3121822014 creator A5009769445 @default.
- W3121822014 creator A5036827932 @default.
- W3121822014 date "2021-01-27" @default.
- W3121822014 modified "2023-10-06" @default.
- W3121822014 title "Towards a Notion of Basis for Knowledge-Based Systems—Applications" @default.
- W3121822014 cites W1552095982 @default.
- W3121822014 cites W1595229828 @default.
- W3121822014 cites W1971508608 @default.
- W3121822014 cites W1974676423 @default.
- W3121822014 cites W1996465588 @default.
- W3121822014 cites W1998329334 @default.
- W3121822014 cites W2000998961 @default.
- W3121822014 cites W2060454088 @default.
- W3121822014 cites W2066789866 @default.
- W3121822014 cites W2072602592 @default.
- W3121822014 cites W2085159538 @default.
- W3121822014 cites W2089686758 @default.
- W3121822014 cites W2104907826 @default.
- W3121822014 cites W2132753073 @default.
- W3121822014 cites W2154114149 @default.
- W3121822014 cites W2155213226 @default.
- W3121822014 cites W2162280637 @default.
- W3121822014 cites W2170482119 @default.
- W3121822014 cites W2497724070 @default.
- W3121822014 cites W2565301584 @default.
- W3121822014 cites W2569984386 @default.
- W3121822014 cites W2740761706 @default.
- W3121822014 cites W2768882010 @default.
- W3121822014 cites W2892888159 @default.
- W3121822014 cites W2899409922 @default.
- W3121822014 cites W2953903422 @default.
- W3121822014 cites W2963524300 @default.
- W3121822014 cites W2980859210 @default.
- W3121822014 cites W3000020498 @default.
- W3121822014 cites W3009816232 @default.
- W3121822014 cites W3012567678 @default.
- W3121822014 cites W3020364308 @default.
- W3121822014 cites W3046714313 @default.
- W3121822014 cites W3085091836 @default.
- W3121822014 cites W3104851248 @default.
- W3121822014 doi "https://doi.org/10.3390/math9030252" @default.
- W3121822014 hasPublicationYear "2021" @default.
- W3121822014 type Work @default.
- W3121822014 sameAs 3121822014 @default.
- W3121822014 citedByCount "1" @default.
- W3121822014 countsByYear W31218220142021 @default.
- W3121822014 crossrefType "journal-article" @default.
- W3121822014 hasAuthorship W3121822014A5000963116 @default.
- W3121822014 hasAuthorship W3121822014A5008164389 @default.
- W3121822014 hasAuthorship W3121822014A5009769445 @default.
- W3121822014 hasAuthorship W3121822014A5036827932 @default.
- W3121822014 hasBestOaLocation W31218220141 @default.
- W3121822014 hasConcept C12426560 @default.
- W3121822014 hasConcept C134306372 @default.
- W3121822014 hasConcept C138885662 @default.
- W3121822014 hasConcept C154945302 @default.
- W3121822014 hasConcept C161301231 @default.
- W3121822014 hasConcept C177264268 @default.
- W3121822014 hasConcept C182365436 @default.
- W3121822014 hasConcept C199360897 @default.
- W3121822014 hasConcept C2524010 @default.
- W3121822014 hasConcept C2776436953 @default.
- W3121822014 hasConcept C33923547 @default.
- W3121822014 hasConcept C41008148 @default.
- W3121822014 hasConcept C41895202 @default.
- W3121822014 hasConcept C4554734 @default.
- W3121822014 hasConcept C527412718 @default.
- W3121822014 hasConcept C69562738 @default.
- W3121822014 hasConcept C7149132 @default.
- W3121822014 hasConcept C80444323 @default.
- W3121822014 hasConceptScore W3121822014C12426560 @default.
- W3121822014 hasConceptScore W3121822014C134306372 @default.
- W3121822014 hasConceptScore W3121822014C138885662 @default.
- W3121822014 hasConceptScore W3121822014C154945302 @default.
- W3121822014 hasConceptScore W3121822014C161301231 @default.
- W3121822014 hasConceptScore W3121822014C177264268 @default.
- W3121822014 hasConceptScore W3121822014C182365436 @default.
- W3121822014 hasConceptScore W3121822014C199360897 @default.
- W3121822014 hasConceptScore W3121822014C2524010 @default.
- W3121822014 hasConceptScore W3121822014C2776436953 @default.
- W3121822014 hasConceptScore W3121822014C33923547 @default.
- W3121822014 hasConceptScore W3121822014C41008148 @default.
- W3121822014 hasConceptScore W3121822014C41895202 @default.
- W3121822014 hasConceptScore W3121822014C4554734 @default.
- W3121822014 hasConceptScore W3121822014C527412718 @default.
- W3121822014 hasConceptScore W3121822014C69562738 @default.
- W3121822014 hasConceptScore W3121822014C7149132 @default.
- W3121822014 hasConceptScore W3121822014C80444323 @default.
- W3121822014 hasFunder F4320315062 @default.
- W3121822014 hasIssue "3" @default.
- W3121822014 hasLocation W31218220141 @default.
- W3121822014 hasLocation W31218220142 @default.
- W3121822014 hasLocation W31218220143 @default.
- W3121822014 hasOpenAccess W3121822014 @default.