FRINK Linked Data Fragments server

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

• W2406775894 abstract "The notions of loops and loop formulas play an important role in answer set computation. However, there would be an exponential number of loops in the worst case. Gebser and Schaub characterized a subclass elementary loops and showed that they are sufficient for selecting answer sets from models of a logic program. This paper proposes an alternative definition of elementary loops and identify a subclass of elementary loops, called proper loops. By applying a special form of their loop formulas, proper loops are also sufficient for the SAT-based answer set computation. A polynomial algorithm to recognize a proper loop is given and shows that for certain logic programs, identifying all proper loops of a program is more efficient than that of elementary loops. Furthermore, we prove that, by considering the structure of the positive body-head dependency graph of a program, a large number of loops could be ignored for identifying proper loops. We provide another algorithm for identifying all proper loops of a program. The experiments show that, for certain programs whose dependency graphs consisting of sets of components that are densely connected inside and sparsely connected outside, the new algorithm is more efficient." @default.
• W2406775894 created "2016-06-24" @default.
• W2406775894 creator A5011069854 @default.
• W2406775894 creator A5027600524 @default.
• W2406775894 creator A5061104105 @default.
• W2406775894 creator A5062816803 @default.
• W2406775894 creator A5076642410 @default.
• W2406775894 date "2014-06-21" @default.
• W2406775894 modified "2023-09-24" @default.
• W2406775894 title "Elementary Loops Revisited" @default.
• W2406775894 cites W1488953105 @default.
• W2406775894 cites W1605107773 @default.
• W2406775894 cites W1634529457 @default.
• W2406775894 cites W1672891595 @default.
• W2406775894 cites W2004414305 @default.
• W2406775894 cites W2006653030 @default.
• W2406775894 cites W2079430756 @default.
• W2406775894 cites W2100699693 @default.
• W2406775894 cites W2123741728 @default.
• W2406775894 cites W2144198727 @default.
• W2406775894 cites W2152131859 @default.
• W2406775894 cites W49730540 @default.
• W2406775894 cites W91024833 @default.
• W2406775894 cites W96215098 @default.
• W2406775894 doi "https://doi.org/10.1609/aaai.v28i1.8864" @default.
• W2406775894 hasPublicationYear "2014" @default.
• W2406775894 type Work @default.
• W2406775894 sameAs 2406775894 @default.
• W2406775894 citedByCount "1" @default.
• W2406775894 countsByYear W24067758942015 @default.
• W2406775894 crossrefType "journal-article" @default.
• W2406775894 hasAuthorship W2406775894A5011069854 @default.
• W2406775894 hasAuthorship W2406775894A5027600524 @default.
• W2406775894 hasAuthorship W2406775894A5061104105 @default.
• W2406775894 hasAuthorship W2406775894A5062816803 @default.
• W2406775894 hasAuthorship W2406775894A5076642410 @default.
• W2406775894 hasBestOaLocation W24067758941 @default.
• W2406775894 hasConcept C11413529 @default.
• W2406775894 hasConcept C114614502 @default.
• W2406775894 hasConcept C118615104 @default.
• W2406775894 hasConcept C1306188 @default.
• W2406775894 hasConcept C132525143 @default.
• W2406775894 hasConcept C134306372 @default.
• W2406775894 hasConcept C151376022 @default.
• W2406775894 hasConcept C154945302 @default.
• W2406775894 hasConcept C159654299 @default.
• W2406775894 hasConcept C177264268 @default.
• W2406775894 hasConcept C184670325 @default.
• W2406775894 hasConcept C19768560 @default.
• W2406775894 hasConcept C199360897 @default.
• W2406775894 hasConcept C203014093 @default.
• W2406775894 hasConcept C2776194381 @default.
• W2406775894 hasConcept C2777212361 @default.
• W2406775894 hasConcept C33923547 @default.
• W2406775894 hasConcept C41008148 @default.
• W2406775894 hasConcept C45374587 @default.
• W2406775894 hasConcept C77088390 @default.
• W2406775894 hasConcept C80444323 @default.
• W2406775894 hasConcept C86803240 @default.
• W2406775894 hasConcept C90119067 @default.
• W2406775894 hasConceptScore W2406775894C11413529 @default.
• W2406775894 hasConceptScore W2406775894C114614502 @default.
• W2406775894 hasConceptScore W2406775894C118615104 @default.
• W2406775894 hasConceptScore W2406775894C1306188 @default.
• W2406775894 hasConceptScore W2406775894C132525143 @default.
• W2406775894 hasConceptScore W2406775894C134306372 @default.
• W2406775894 hasConceptScore W2406775894C151376022 @default.
• W2406775894 hasConceptScore W2406775894C154945302 @default.
• W2406775894 hasConceptScore W2406775894C159654299 @default.
• W2406775894 hasConceptScore W2406775894C177264268 @default.
• W2406775894 hasConceptScore W2406775894C184670325 @default.
• W2406775894 hasConceptScore W2406775894C19768560 @default.
• W2406775894 hasConceptScore W2406775894C199360897 @default.
• W2406775894 hasConceptScore W2406775894C203014093 @default.
• W2406775894 hasConceptScore W2406775894C2776194381 @default.
• W2406775894 hasConceptScore W2406775894C2777212361 @default.
• W2406775894 hasConceptScore W2406775894C33923547 @default.
• W2406775894 hasConceptScore W2406775894C41008148 @default.
• W2406775894 hasConceptScore W2406775894C45374587 @default.
• W2406775894 hasConceptScore W2406775894C77088390 @default.
• W2406775894 hasConceptScore W2406775894C80444323 @default.
• W2406775894 hasConceptScore W2406775894C86803240 @default.
• W2406775894 hasConceptScore W2406775894C90119067 @default.
• W2406775894 hasIssue "1" @default.
• W2406775894 hasLocation W24067758941 @default.
• W2406775894 hasOpenAccess W2406775894 @default.
• W2406775894 hasPrimaryLocation W24067758941 @default.
• W2406775894 hasRelatedWork W1603284150 @default.
• W2406775894 hasRelatedWork W1970403310 @default.
• W2406775894 hasRelatedWork W198981881 @default.
• W2406775894 hasRelatedWork W2060173696 @default.
• W2406775894 hasRelatedWork W2077495580 @default.
• W2406775894 hasRelatedWork W2159616366 @default.
• W2406775894 hasRelatedWork W2328519397 @default.
• W2406775894 hasRelatedWork W2367576865 @default.
• W2406775894 hasRelatedWork W2889493128 @default.
• W2406775894 hasRelatedWork W2963752298 @default.
• W2406775894 hasVolume "28" @default.
• W2406775894 isParatext "false" @default.
• W2406775894 isRetracted "false" @default.

• next