Matches in SemOpenAlex for { <https://semopenalex.org/work/W1598199076> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1598199076 endingPage "647" @default.
- W1598199076 startingPage "643" @default.
- W1598199076 abstract "In this paper, we propose a semantic forgetting for arbitrary logic programs (or propositional theories) under answer set semantics, called HT-forgetting. The HT-forgetting preserves strong equivalence in the sense that strongly equivalent logic programs will remain strongly equivalent after forgetting the same set of atoms. The result of an HT-forgetting is always expressible by a logic program, and in particular, the result of an HT-forgetting in a Horn program is expressible in a Horn program; and a representation theorem shows that HT-forgetting can be precisely characterized by Zhang-Zhou's four forgetting postulates under the logic of here-and-there. We also reveal underlying connections between HT-forgetting and classical forgetting, and provide complexity results for decision problems." @default.
- W1598199076 created "2016-06-24" @default.
- W1598199076 creator A5027369269 @default.
- W1598199076 creator A5059061641 @default.
- W1598199076 creator A5066608665 @default.
- W1598199076 creator A5086664284 @default.
- W1598199076 date "2012-06-10" @default.
- W1598199076 modified "2023-10-16" @default.
- W1598199076 title "Forgetting in logic programs under strong equivalence" @default.
- W1598199076 cites W1484166989 @default.
- W1598199076 cites W1549628945 @default.
- W1598199076 cites W1552095982 @default.
- W1598199076 cites W1560984185 @default.
- W1598199076 cites W1586434992 @default.
- W1598199076 cites W158740256 @default.
- W1598199076 cites W1601726121 @default.
- W1598199076 cites W1694306392 @default.
- W1598199076 cites W1924063407 @default.
- W1598199076 cites W1985274317 @default.
- W1598199076 cites W2029702617 @default.
- W1598199076 cites W2090184124 @default.
- W1598199076 cites W2104907826 @default.
- W1598199076 cites W2114549239 @default.
- W1598199076 cites W2154114149 @default.
- W1598199076 cites W2155213226 @default.
- W1598199076 cites W2162280637 @default.
- W1598199076 cites W2167765443 @default.
- W1598199076 cites W2170482119 @default.
- W1598199076 cites W3100069569 @default.
- W1598199076 hasPublicationYear "2012" @default.
- W1598199076 type Work @default.
- W1598199076 sameAs 1598199076 @default.
- W1598199076 citedByCount "10" @default.
- W1598199076 countsByYear W15981990762013 @default.
- W1598199076 countsByYear W15981990762014 @default.
- W1598199076 countsByYear W15981990762015 @default.
- W1598199076 countsByYear W15981990762016 @default.
- W1598199076 countsByYear W15981990762017 @default.
- W1598199076 countsByYear W15981990762021 @default.
- W1598199076 crossrefType "proceedings-article" @default.
- W1598199076 hasAuthorship W1598199076A5027369269 @default.
- W1598199076 hasAuthorship W1598199076A5059061641 @default.
- W1598199076 hasAuthorship W1598199076A5066608665 @default.
- W1598199076 hasAuthorship W1598199076A5086664284 @default.
- W1598199076 hasConcept C118615104 @default.
- W1598199076 hasConcept C128838566 @default.
- W1598199076 hasConcept C15744967 @default.
- W1598199076 hasConcept C177264268 @default.
- W1598199076 hasConcept C180747234 @default.
- W1598199076 hasConcept C199360897 @default.
- W1598199076 hasConcept C2780069185 @default.
- W1598199076 hasConcept C2987117450 @default.
- W1598199076 hasConcept C33923547 @default.
- W1598199076 hasConcept C41008148 @default.
- W1598199076 hasConcept C7149132 @default.
- W1598199076 hasConcept C80444323 @default.
- W1598199076 hasConceptScore W1598199076C118615104 @default.
- W1598199076 hasConceptScore W1598199076C128838566 @default.
- W1598199076 hasConceptScore W1598199076C15744967 @default.
- W1598199076 hasConceptScore W1598199076C177264268 @default.
- W1598199076 hasConceptScore W1598199076C180747234 @default.
- W1598199076 hasConceptScore W1598199076C199360897 @default.
- W1598199076 hasConceptScore W1598199076C2780069185 @default.
- W1598199076 hasConceptScore W1598199076C2987117450 @default.
- W1598199076 hasConceptScore W1598199076C33923547 @default.
- W1598199076 hasConceptScore W1598199076C41008148 @default.
- W1598199076 hasConceptScore W1598199076C7149132 @default.
- W1598199076 hasConceptScore W1598199076C80444323 @default.
- W1598199076 hasLocation W15981990761 @default.
- W1598199076 hasOpenAccess W1598199076 @default.
- W1598199076 hasPrimaryLocation W15981990761 @default.
- W1598199076 hasRelatedWork W1526528721 @default.
- W1598199076 hasRelatedWork W1529474293 @default.
- W1598199076 hasRelatedWork W1552095982 @default.
- W1598199076 hasRelatedWork W158740256 @default.
- W1598199076 hasRelatedWork W1672891595 @default.
- W1598199076 hasRelatedWork W1694306392 @default.
- W1598199076 hasRelatedWork W1971626643 @default.
- W1598199076 hasRelatedWork W1973391999 @default.
- W1598199076 hasRelatedWork W1985274317 @default.
- W1598199076 hasRelatedWork W2114549239 @default.
- W1598199076 hasRelatedWork W2126608643 @default.
- W1598199076 hasRelatedWork W2144831006 @default.
- W1598199076 hasRelatedWork W2154114149 @default.
- W1598199076 hasRelatedWork W2155213226 @default.
- W1598199076 hasRelatedWork W2162280637 @default.
- W1598199076 hasRelatedWork W2167167097 @default.
- W1598199076 hasRelatedWork W2170482119 @default.
- W1598199076 hasRelatedWork W2189980513 @default.
- W1598199076 hasRelatedWork W2293185116 @default.
- W1598199076 hasRelatedWork W3104143976 @default.
- W1598199076 isParatext "false" @default.
- W1598199076 isRetracted "false" @default.
- W1598199076 magId "1598199076" @default.
- W1598199076 workType "article" @default.