FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3023607802> ?p ?o ?g. }

• W3023607802 abstract "Forgetting is removing variables from a logical formula while preserving the constraints on the other variables. In spite of being a form of reduction, it does not always decrease the size of the formula and may sometimes increase it. This article discusses the implications of such an increase and analyzes the computational properties of the phenomenon. Given a propositional Horn formula, a set of variables and a maximum allowed size, deciding whether forgetting the variables from the formula can be expressed in that size is $D^p$-hard in $Sigma^p_2$. The same problem for unrestricted propositional formulae is $D^p_2$-hard in $Sigma^p_3$. The hardness results employ superredundancy: a superirredundant clause is in all formulae of minimal size equivalent to a given one. This concept may be useful outside forgetting." @default.
• W3023607802 created "2020-05-13" @default.
• W3023607802 creator A5008581096 @default.
• W3023607802 date "2020-05-08" @default.
• W3023607802 modified "2023-09-27" @default.
• W3023607802 title "The ghosts of forgotten things: A study on size after forgetting" @default.
• W3023607802 cites W108745833 @default.
• W3023607802 cites W1484788771 @default.
• W3023607802 cites W1521372188 @default.
• W3023607802 cites W1526528721 @default.
• W3023607802 cites W1552095982 @default.
• W3023607802 cites W1554618854 @default.
• W3023607802 cites W1563590311 @default.
• W3023607802 cites W1572578702 @default.
• W3023607802 cites W1595603024 @default.
• W3023607802 cites W1598403161 @default.
• W3023607802 cites W1623257973 @default.
• W3023607802 cites W1771259603 @default.
• W3023607802 cites W1815276389 @default.
• W3023607802 cites W1851383058 @default.
• W3023607802 cites W1974676423 @default.
• W3023607802 cites W1990216234 @default.
• W3023607802 cites W2018094844 @default.
• W3023607802 cites W2025873079 @default.
• W3023607802 cites W2044415289 @default.
• W3023607802 cites W2046132190 @default.
• W3023607802 cites W2055240122 @default.
• W3023607802 cites W2065251436 @default.
• W3023607802 cites W2071066814 @default.
• W3023607802 cites W2088635442 @default.
• W3023607802 cites W2100738443 @default.
• W3023607802 cites W2127024857 @default.
• W3023607802 cites W2146819619 @default.
• W3023607802 cites W2154114149 @default.
• W3023607802 cites W2170431068 @default.
• W3023607802 cites W2189980513 @default.
• W3023607802 cites W2224049000 @default.
• W3023607802 cites W2225800216 @default.
• W3023607802 cites W2244757561 @default.
• W3023607802 cites W2399696728 @default.
• W3023607802 cites W2440295837 @default.
• W3023607802 cites W2573779957 @default.
• W3023607802 cites W2778562959 @default.
• W3023607802 cites W2899409922 @default.
• W3023607802 cites W2912255306 @default.
• W3023607802 cites W3081349526 @default.
• W3023607802 cites W3091653059 @default.
• W3023607802 cites W336411274 @default.
• W3023607802 cites W61997153 @default.
• W3023607802 hasPublicationYear "2020" @default.
• W3023607802 type Work @default.
• W3023607802 sameAs 3023607802 @default.
• W3023607802 citedByCount "2" @default.
• W3023607802 countsByYear W30236078022020 @default.
• W3023607802 crossrefType "posted-content" @default.
• W3023607802 hasAuthorship W3023607802A5008581096 @default.
• W3023607802 hasConcept C111335779 @default.
• W3023607802 hasConcept C111472728 @default.
• W3023607802 hasConcept C114614502 @default.
• W3023607802 hasConcept C118615104 @default.
• W3023607802 hasConcept C121332964 @default.
• W3023607802 hasConcept C138885662 @default.
• W3023607802 hasConcept C177264268 @default.
• W3023607802 hasConcept C199360897 @default.
• W3023607802 hasConcept C2524010 @default.
• W3023607802 hasConcept C2778049214 @default.
• W3023607802 hasConcept C33923547 @default.
• W3023607802 hasConcept C41008148 @default.
• W3023607802 hasConcept C41895202 @default.
• W3023607802 hasConcept C50335755 @default.
• W3023607802 hasConcept C62520636 @default.
• W3023607802 hasConcept C7149132 @default.
• W3023607802 hasConceptScore W3023607802C111335779 @default.
• W3023607802 hasConceptScore W3023607802C111472728 @default.
• W3023607802 hasConceptScore W3023607802C114614502 @default.
• W3023607802 hasConceptScore W3023607802C118615104 @default.
• W3023607802 hasConceptScore W3023607802C121332964 @default.
• W3023607802 hasConceptScore W3023607802C138885662 @default.
• W3023607802 hasConceptScore W3023607802C177264268 @default.
• W3023607802 hasConceptScore W3023607802C199360897 @default.
• W3023607802 hasConceptScore W3023607802C2524010 @default.
• W3023607802 hasConceptScore W3023607802C2778049214 @default.
• W3023607802 hasConceptScore W3023607802C33923547 @default.
• W3023607802 hasConceptScore W3023607802C41008148 @default.
• W3023607802 hasConceptScore W3023607802C41895202 @default.
• W3023607802 hasConceptScore W3023607802C50335755 @default.
• W3023607802 hasConceptScore W3023607802C62520636 @default.
• W3023607802 hasConceptScore W3023607802C7149132 @default.
• W3023607802 hasLocation W30236078021 @default.
• W3023607802 hasOpenAccess W3023607802 @default.
• W3023607802 hasPrimaryLocation W30236078021 @default.
• W3023607802 hasRelatedWork W1564451094 @default.
• W3023607802 hasRelatedWork W1627627793 @default.
• W3023607802 hasRelatedWork W190568414 @default.
• W3023607802 hasRelatedWork W1971789648 @default.
• W3023607802 hasRelatedWork W1977420943 @default.
• W3023607802 hasRelatedWork W1978536611 @default.
• W3023607802 hasRelatedWork W2010599522 @default.
• W3023607802 hasRelatedWork W2055092188 @default.
• W3023607802 hasRelatedWork W2055668232 @default.

• next