FRINK Linked Data Fragments server

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

• W202248608 endingPage "362" @default.
• W202248608 startingPage "358" @default.
• W202248608 abstract "We present a new method for transforming normal logic programs into sets of clauses. This transformation is based on a novel characterization of stable models in terms of level numberings and it uses atomic normal programs, which are free of positive body atoms, as an intermediary representation. The corresponding translation function possesses a unique combination of properties: (i) a bijective relationship is established between stable models and classical models, (ii) the models coincide up to the set of atoms At(P) appearing in a program P, and (iii) the length of the translation as well as the translation time are of order ‖P‖ x log2 |At(P)| where ‖P‖ is the length of the program P. Our preliminary experiments with an implementation of the transformation, namely translators called LP2ATOMI0 and LP2SAT, and SAT solvers such as CHAFF and RELSAT suggest that our approach is competitive when the task is to compute not just one but all stable models for a normal program given as input." @default.
• W202248608 created "2016-06-24" @default.
• W202248608 creator A5046046339 @default.
• W202248608 date "2004-08-22" @default.
• W202248608 modified "2023-09-23" @default.
• W202248608 title "Representing normal programs with clauses" @default.
• W202248608 cites W1481719343 @default.
• W202248608 cites W1541434994 @default.
• W202248608 cites W1567452831 @default.
• W202248608 cites W1597194011 @default.
• W202248608 cites W1600919542 @default.
• W202248608 cites W1630259549 @default.
• W202248608 cites W1639901403 @default.
• W202248608 cites W1663140555 @default.
• W202248608 cites W1672891595 @default.
• W202248608 cites W2005465900 @default.
• W202248608 cites W2011124182 @default.
• W202248608 cites W2023141722 @default.
• W202248608 cites W2041259062 @default.
• W202248608 cites W2063499502 @default.
• W202248608 cites W2108637261 @default.
• W202248608 cites W2111353076 @default.
• W202248608 cites W2142785340 @default.
• W202248608 cites W2152131859 @default.
• W202248608 cites W2158059231 @default.
• W202248608 cites W2399343913 @default.
• W202248608 cites W2886271628 @default.
• W202248608 cites W31561947 @default.
• W202248608 hasPublicationYear "2004" @default.
• W202248608 type Work @default.
• W202248608 sameAs 202248608 @default.
• W202248608 citedByCount "35" @default.
• W202248608 countsByYear W2022486082012 @default.
• W202248608 countsByYear W2022486082013 @default.
• W202248608 countsByYear W2022486082014 @default.
• W202248608 countsByYear W2022486082015 @default.
• W202248608 countsByYear W2022486082018 @default.
• W202248608 countsByYear W2022486082021 @default.
• W202248608 crossrefType "proceedings-article" @default.
• W202248608 hasAuthorship W202248608A5046046339 @default.
• W202248608 hasConcept C104317684 @default.
• W202248608 hasConcept C105580179 @default.
• W202248608 hasConcept C11413529 @default.
• W202248608 hasConcept C114614502 @default.
• W202248608 hasConcept C118615104 @default.
• W202248608 hasConcept C128838566 @default.
• W202248608 hasConcept C14036430 @default.
• W202248608 hasConcept C149364088 @default.
• W202248608 hasConcept C162324750 @default.
• W202248608 hasConcept C177264268 @default.
• W202248608 hasConcept C17744445 @default.
• W202248608 hasConcept C185592680 @default.
• W202248608 hasConcept C187736073 @default.
• W202248608 hasConcept C199360897 @default.
• W202248608 hasConcept C199539241 @default.
• W202248608 hasConcept C204241405 @default.
• W202248608 hasConcept C24424167 @default.
• W202248608 hasConcept C2776359362 @default.
• W202248608 hasConcept C2778361913 @default.
• W202248608 hasConcept C2780451532 @default.
• W202248608 hasConcept C2987117450 @default.
• W202248608 hasConcept C33923547 @default.
• W202248608 hasConcept C41008148 @default.
• W202248608 hasConcept C55493867 @default.
• W202248608 hasConcept C78458016 @default.
• W202248608 hasConcept C80444323 @default.
• W202248608 hasConcept C86803240 @default.
• W202248608 hasConcept C94625758 @default.
• W202248608 hasConceptScore W202248608C104317684 @default.
• W202248608 hasConceptScore W202248608C105580179 @default.
• W202248608 hasConceptScore W202248608C11413529 @default.
• W202248608 hasConceptScore W202248608C114614502 @default.
• W202248608 hasConceptScore W202248608C118615104 @default.
• W202248608 hasConceptScore W202248608C128838566 @default.
• W202248608 hasConceptScore W202248608C14036430 @default.
• W202248608 hasConceptScore W202248608C149364088 @default.
• W202248608 hasConceptScore W202248608C162324750 @default.
• W202248608 hasConceptScore W202248608C177264268 @default.
• W202248608 hasConceptScore W202248608C17744445 @default.
• W202248608 hasConceptScore W202248608C185592680 @default.
• W202248608 hasConceptScore W202248608C187736073 @default.
• W202248608 hasConceptScore W202248608C199360897 @default.
• W202248608 hasConceptScore W202248608C199539241 @default.
• W202248608 hasConceptScore W202248608C204241405 @default.
• W202248608 hasConceptScore W202248608C24424167 @default.
• W202248608 hasConceptScore W202248608C2776359362 @default.
• W202248608 hasConceptScore W202248608C2778361913 @default.
• W202248608 hasConceptScore W202248608C2780451532 @default.
• W202248608 hasConceptScore W202248608C2987117450 @default.
• W202248608 hasConceptScore W202248608C33923547 @default.
• W202248608 hasConceptScore W202248608C41008148 @default.
• W202248608 hasConceptScore W202248608C55493867 @default.
• W202248608 hasConceptScore W202248608C78458016 @default.
• W202248608 hasConceptScore W202248608C80444323 @default.
• W202248608 hasConceptScore W202248608C86803240 @default.
• W202248608 hasConceptScore W202248608C94625758 @default.
• W202248608 hasLocation W2022486081 @default.
• W202248608 hasOpenAccess W202248608 @default.

• next