Matches in SemOpenAlex for { <https://semopenalex.org/work/W130180478> ?p ?o ?g. }
- W130180478 endingPage "488" @default.
- W130180478 startingPage "483" @default.
- W130180478 abstract "We present a generalized Gelfond-Lifschitz transformation in order to define stable models for a logic program with arbitrary abstract constraints on sets (c-atoms). The generalization is based on a formal semantics and a novel abstract representation of c-atoms, as opposed to the commonly used power set form representation. In many cases, the abstract representation of a c-atom results in a substantial reduction of size from its power set form representation. We show that any c-atom A = (Ad, Ac) in the body of a clause can be characterized using its satisfiable sets, so that given an interpretation I the c-atom can be handled simply by introducing a special atom θA together with a new clause θA ← A1, ..., An for each satisfiable set {A1, ..., An} of A. We also prove that the latest fixpoint approach presented by Son et al. and our approach using the generalized Gelfond-Lifschitz transformation are semantically equivalent in the sense that they define the same set of stable models." @default.
- W130180478 created "2016-06-24" @default.
- W130180478 creator A5018193643 @default.
- W130180478 creator A5072151614 @default.
- W130180478 date "2007-07-22" @default.
- W130180478 modified "2023-09-24" @default.
- W130180478 title "A generalized gelfond-lifschitz transformation for logic programs with abstract constraints" @default.
- W130180478 cites W100292100 @default.
- W130180478 cites W10111591 @default.
- W130180478 cites W1508718221 @default.
- W130180478 cites W1554763210 @default.
- W130180478 cites W1564999660 @default.
- W130180478 cites W1598820892 @default.
- W130180478 cites W1606891084 @default.
- W130180478 cites W1672891595 @default.
- W130180478 cites W1800801472 @default.
- W130180478 cites W1854994931 @default.
- W130180478 cites W193190470 @default.
- W130180478 cites W2054159566 @default.
- W130180478 cites W2069156007 @default.
- W130180478 cites W2105869173 @default.
- W130180478 cites W2409061991 @default.
- W130180478 cites W290407174 @default.
- W130180478 cites W80590317 @default.
- W130180478 hasPublicationYear "2007" @default.
- W130180478 type Work @default.
- W130180478 sameAs 130180478 @default.
- W130180478 citedByCount "6" @default.
- W130180478 countsByYear W1301804782012 @default.
- W130180478 crossrefType "proceedings-article" @default.
- W130180478 hasAuthorship W130180478A5018193643 @default.
- W130180478 hasAuthorship W130180478A5072151614 @default.
- W130180478 hasConcept C104317684 @default.
- W130180478 hasConcept C11413529 @default.
- W130180478 hasConcept C118615104 @default.
- W130180478 hasConcept C127001435 @default.
- W130180478 hasConcept C134306372 @default.
- W130180478 hasConcept C136119220 @default.
- W130180478 hasConcept C149635348 @default.
- W130180478 hasConcept C156325763 @default.
- W130180478 hasConcept C177148314 @default.
- W130180478 hasConcept C177264268 @default.
- W130180478 hasConcept C17744445 @default.
- W130180478 hasConcept C184337299 @default.
- W130180478 hasConcept C185592680 @default.
- W130180478 hasConcept C199360897 @default.
- W130180478 hasConcept C199539241 @default.
- W130180478 hasConcept C202444582 @default.
- W130180478 hasConcept C204241405 @default.
- W130180478 hasConcept C2776359362 @default.
- W130180478 hasConcept C2780654840 @default.
- W130180478 hasConcept C33923547 @default.
- W130180478 hasConcept C41008148 @default.
- W130180478 hasConcept C55493867 @default.
- W130180478 hasConcept C58312451 @default.
- W130180478 hasConcept C94625758 @default.
- W130180478 hasConceptScore W130180478C104317684 @default.
- W130180478 hasConceptScore W130180478C11413529 @default.
- W130180478 hasConceptScore W130180478C118615104 @default.
- W130180478 hasConceptScore W130180478C127001435 @default.
- W130180478 hasConceptScore W130180478C134306372 @default.
- W130180478 hasConceptScore W130180478C136119220 @default.
- W130180478 hasConceptScore W130180478C149635348 @default.
- W130180478 hasConceptScore W130180478C156325763 @default.
- W130180478 hasConceptScore W130180478C177148314 @default.
- W130180478 hasConceptScore W130180478C177264268 @default.
- W130180478 hasConceptScore W130180478C17744445 @default.
- W130180478 hasConceptScore W130180478C184337299 @default.
- W130180478 hasConceptScore W130180478C185592680 @default.
- W130180478 hasConceptScore W130180478C199360897 @default.
- W130180478 hasConceptScore W130180478C199539241 @default.
- W130180478 hasConceptScore W130180478C202444582 @default.
- W130180478 hasConceptScore W130180478C204241405 @default.
- W130180478 hasConceptScore W130180478C2776359362 @default.
- W130180478 hasConceptScore W130180478C2780654840 @default.
- W130180478 hasConceptScore W130180478C33923547 @default.
- W130180478 hasConceptScore W130180478C41008148 @default.
- W130180478 hasConceptScore W130180478C55493867 @default.
- W130180478 hasConceptScore W130180478C58312451 @default.
- W130180478 hasConceptScore W130180478C94625758 @default.
- W130180478 hasLocation W1301804781 @default.
- W130180478 hasOpenAccess W130180478 @default.
- W130180478 hasPrimaryLocation W1301804781 @default.
- W130180478 hasRelatedWork W1508718221 @default.
- W130180478 hasRelatedWork W1540263588 @default.
- W130180478 hasRelatedWork W1598820892 @default.
- W130180478 hasRelatedWork W1639901403 @default.
- W130180478 hasRelatedWork W1672891595 @default.
- W130180478 hasRelatedWork W1800801472 @default.
- W130180478 hasRelatedWork W1854994931 @default.
- W130180478 hasRelatedWork W1976055110 @default.
- W130180478 hasRelatedWork W1988666619 @default.
- W130180478 hasRelatedWork W2011124182 @default.
- W130180478 hasRelatedWork W2054159566 @default.
- W130180478 hasRelatedWork W2069156007 @default.
- W130180478 hasRelatedWork W2076698873 @default.
- W130180478 hasRelatedWork W2105869173 @default.
- W130180478 hasRelatedWork W2151485489 @default.