Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912255306> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2912255306 endingPage "285" @default.
- W2912255306 startingPage "280" @default.
- W2912255306 abstract "The result of forgetting some predicates in a first-order sentence may not exist in the sense that it might not be captured by any first-order sentences. This, indeed, severely restricts the usage of forgetting in applications. To address this issue, we propose a notion called k-forgetting, also called bounded forgetting in general, for any fixed number k. We present several equivalent characterizations of bounded forgetting and show that the result of bounded forgetting, on one hand, can always be captured by a single first-order sentence, and on the other hand, preserves the information that we are concerned with." @default.
- W2912255306 created "2019-02-21" @default.
- W2912255306 creator A5066608665 @default.
- W2912255306 creator A5081533893 @default.
- W2912255306 date "2011-08-07" @default.
- W2912255306 modified "2023-09-24" @default.
- W2912255306 title "Bounded forgetting" @default.
- W2912255306 cites W146287317 @default.
- W2912255306 cites W1490659351 @default.
- W2912255306 cites W1493549410 @default.
- W2912255306 cites W1552095982 @default.
- W2912255306 cites W1555563750 @default.
- W2912255306 cites W1602801054 @default.
- W2912255306 cites W1672891595 @default.
- W2912255306 cites W1971508608 @default.
- W2912255306 cites W1973391999 @default.
- W2912255306 cites W2104907826 @default.
- W2912255306 cites W2114549239 @default.
- W2912255306 cites W2146819619 @default.
- W2912255306 cites W2147520802 @default.
- W2912255306 cites W2154114149 @default.
- W2912255306 cites W2161931079 @default.
- W2912255306 cites W2170482119 @default.
- W2912255306 cites W2914654071 @default.
- W2912255306 cites W53707990 @default.
- W2912255306 cites W205207830 @default.
- W2912255306 hasPublicationYear "2011" @default.
- W2912255306 type Work @default.
- W2912255306 sameAs 2912255306 @default.
- W2912255306 citedByCount "7" @default.
- W2912255306 countsByYear W29122553062013 @default.
- W2912255306 countsByYear W29122553062014 @default.
- W2912255306 countsByYear W29122553062017 @default.
- W2912255306 countsByYear W29122553062020 @default.
- W2912255306 crossrefType "proceedings-article" @default.
- W2912255306 hasAuthorship W2912255306A5066608665 @default.
- W2912255306 hasAuthorship W2912255306A5081533893 @default.
- W2912255306 hasConcept C10138342 @default.
- W2912255306 hasConcept C134306372 @default.
- W2912255306 hasConcept C138885662 @default.
- W2912255306 hasConcept C154945302 @default.
- W2912255306 hasConcept C162324750 @default.
- W2912255306 hasConcept C182306322 @default.
- W2912255306 hasConcept C2777530160 @default.
- W2912255306 hasConcept C33923547 @default.
- W2912255306 hasConcept C34388435 @default.
- W2912255306 hasConcept C41008148 @default.
- W2912255306 hasConcept C41895202 @default.
- W2912255306 hasConcept C7149132 @default.
- W2912255306 hasConcept C80444323 @default.
- W2912255306 hasConceptScore W2912255306C10138342 @default.
- W2912255306 hasConceptScore W2912255306C134306372 @default.
- W2912255306 hasConceptScore W2912255306C138885662 @default.
- W2912255306 hasConceptScore W2912255306C154945302 @default.
- W2912255306 hasConceptScore W2912255306C162324750 @default.
- W2912255306 hasConceptScore W2912255306C182306322 @default.
- W2912255306 hasConceptScore W2912255306C2777530160 @default.
- W2912255306 hasConceptScore W2912255306C33923547 @default.
- W2912255306 hasConceptScore W2912255306C34388435 @default.
- W2912255306 hasConceptScore W2912255306C41008148 @default.
- W2912255306 hasConceptScore W2912255306C41895202 @default.
- W2912255306 hasConceptScore W2912255306C7149132 @default.
- W2912255306 hasConceptScore W2912255306C80444323 @default.
- W2912255306 hasLocation W29122553061 @default.
- W2912255306 hasOpenAccess W2912255306 @default.
- W2912255306 hasPrimaryLocation W29122553061 @default.
- W2912255306 hasRelatedWork W1490659351 @default.
- W2912255306 hasRelatedWork W1493549410 @default.
- W2912255306 hasRelatedWork W1526528721 @default.
- W2912255306 hasRelatedWork W1552095982 @default.
- W2912255306 hasRelatedWork W1560984185 @default.
- W2912255306 hasRelatedWork W1595603024 @default.
- W2912255306 hasRelatedWork W1598199076 @default.
- W2912255306 hasRelatedWork W1602801054 @default.
- W2912255306 hasRelatedWork W1815276389 @default.
- W2912255306 hasRelatedWork W1851383058 @default.
- W2912255306 hasRelatedWork W1985274317 @default.
- W2912255306 hasRelatedWork W2114549239 @default.
- W2912255306 hasRelatedWork W2127024857 @default.
- W2912255306 hasRelatedWork W2154114149 @default.
- W2912255306 hasRelatedWork W2155213226 @default.
- W2912255306 hasRelatedWork W2170482119 @default.
- W2912255306 hasRelatedWork W2189980513 @default.
- W2912255306 hasRelatedWork W2573558115 @default.
- W2912255306 hasRelatedWork W2573779957 @default.
- W2912255306 hasRelatedWork W2778562959 @default.
- W2912255306 isParatext "false" @default.
- W2912255306 isRetracted "false" @default.
- W2912255306 magId "2912255306" @default.
- W2912255306 workType "article" @default.