Matches in SemOpenAlex for { <https://semopenalex.org/work/W2914654071> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2914654071 endingPage "604" @default.
- W2914654071 startingPage "602" @default.
- W2914654071 abstract "In this paper, we propose an alternative notion, called weak forgetting, of forgetting a set of predicates in a first-order theory. One important feature of this new notion is that the result of weak forgetting is always first-order expressible. In contrast, this is not the case for the traditional notion of forgetting, called strong forgetting, introduced by Lin and Reiter. As a consequence, these two notions are not exactly the same. Interestingly, we prove that they coincide when the result of strong forgetting is first-order expressible. We also present a representation theorem to characterize weak forgetting from different aspects." @default.
- W2914654071 created "2019-02-21" @default.
- W2914654071 creator A5066608665 @default.
- W2914654071 creator A5086664284 @default.
- W2914654071 date "2010-05-09" @default.
- W2914654071 modified "2023-09-24" @default.
- W2914654071 title "Forgetting revisited" @default.
- W2914654071 cites W146287317 @default.
- W2914654071 cites W2154114149 @default.
- W2914654071 hasPublicationYear "2010" @default.
- W2914654071 type Work @default.
- W2914654071 sameAs 2914654071 @default.
- W2914654071 citedByCount "7" @default.
- W2914654071 countsByYear W29146540712014 @default.
- W2914654071 countsByYear W29146540712017 @default.
- W2914654071 countsByYear W29146540712018 @default.
- W2914654071 countsByYear W29146540712019 @default.
- W2914654071 countsByYear W29146540712020 @default.
- W2914654071 crossrefType "proceedings-article" @default.
- W2914654071 hasAuthorship W2914654071A5066608665 @default.
- W2914654071 hasAuthorship W2914654071A5086664284 @default.
- W2914654071 hasConcept C10138342 @default.
- W2914654071 hasConcept C138885662 @default.
- W2914654071 hasConcept C162324750 @default.
- W2914654071 hasConcept C177264268 @default.
- W2914654071 hasConcept C17744445 @default.
- W2914654071 hasConcept C182306322 @default.
- W2914654071 hasConcept C199360897 @default.
- W2914654071 hasConcept C199539241 @default.
- W2914654071 hasConcept C2776359362 @default.
- W2914654071 hasConcept C2776401178 @default.
- W2914654071 hasConcept C33923547 @default.
- W2914654071 hasConcept C41008148 @default.
- W2914654071 hasConcept C41895202 @default.
- W2914654071 hasConcept C7149132 @default.
- W2914654071 hasConcept C94625758 @default.
- W2914654071 hasConceptScore W2914654071C10138342 @default.
- W2914654071 hasConceptScore W2914654071C138885662 @default.
- W2914654071 hasConceptScore W2914654071C162324750 @default.
- W2914654071 hasConceptScore W2914654071C177264268 @default.
- W2914654071 hasConceptScore W2914654071C17744445 @default.
- W2914654071 hasConceptScore W2914654071C182306322 @default.
- W2914654071 hasConceptScore W2914654071C199360897 @default.
- W2914654071 hasConceptScore W2914654071C199539241 @default.
- W2914654071 hasConceptScore W2914654071C2776359362 @default.
- W2914654071 hasConceptScore W2914654071C2776401178 @default.
- W2914654071 hasConceptScore W2914654071C33923547 @default.
- W2914654071 hasConceptScore W2914654071C41008148 @default.
- W2914654071 hasConceptScore W2914654071C41895202 @default.
- W2914654071 hasConceptScore W2914654071C7149132 @default.
- W2914654071 hasConceptScore W2914654071C94625758 @default.
- W2914654071 hasLocation W29146540711 @default.
- W2914654071 hasOpenAccess W2914654071 @default.
- W2914654071 hasPrimaryLocation W29146540711 @default.
- W2914654071 hasRelatedWork W1490659351 @default.
- W2914654071 hasRelatedWork W1526528721 @default.
- W2914654071 hasRelatedWork W1552095982 @default.
- W2914654071 hasRelatedWork W1598199076 @default.
- W2914654071 hasRelatedWork W1602801054 @default.
- W2914654071 hasRelatedWork W1973391999 @default.
- W2914654071 hasRelatedWork W2038184840 @default.
- W2914654071 hasRelatedWork W2057503265 @default.
- W2914654071 hasRelatedWork W2104907826 @default.
- W2914654071 hasRelatedWork W2154114149 @default.
- W2914654071 hasRelatedWork W2167167097 @default.
- W2914654071 hasRelatedWork W2170482119 @default.
- W2914654071 hasRelatedWork W2399696728 @default.
- W2914654071 hasRelatedWork W2406651931 @default.
- W2914654071 hasRelatedWork W2408652604 @default.
- W2914654071 hasRelatedWork W2739916438 @default.
- W2914654071 hasRelatedWork W2778562959 @default.
- W2914654071 hasRelatedWork W2953377882 @default.
- W2914654071 hasRelatedWork W2994261287 @default.
- W2914654071 hasRelatedWork W3193729264 @default.
- W2914654071 isParatext "false" @default.
- W2914654071 isRetracted "false" @default.
- W2914654071 magId "2914654071" @default.
- W2914654071 workType "article" @default.