Matches in SemOpenAlex for { <https://semopenalex.org/work/W3101554965> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W3101554965 endingPage "735" @default.
- W3101554965 startingPage "719" @default.
- W3101554965 abstract "Abstract The module theorem by Janhunen et al . demonstrates how to provide a modular structure in answer set programming, where each module has a well-defined input/output interface which can be used to establish the compositionality of answer sets. The theorem is useful in the analysis of answer set programs, and is a basis of incremental grounding and reactive answer set programming. We extend the module theorem to the general theory of stable models by Ferraris et al . The generalization applies to non-ground logic programs allowing useful constructs in answer set programming, such as choice rules, the count aggregate, and nested expressions. Our extension is based on relating the module theorem to the symmetric splitting theorem by Ferraris et al . Based on this result, we reformulate and extend the theory of incremental answer set computation to a more general class of programs." @default.
- W3101554965 created "2020-11-23" @default.
- W3101554965 creator A5017332670 @default.
- W3101554965 creator A5071364181 @default.
- W3101554965 date "2012-07-01" @default.
- W3101554965 modified "2023-09-26" @default.
- W3101554965 title "Module theorem for the general theory of stable models" @default.
- W3101554965 cites W1772789695 @default.
- W3101554965 cites W2115872603 @default.
- W3101554965 cites W2134039900 @default.
- W3101554965 cites W3103989664 @default.
- W3101554965 doi "https://doi.org/10.1017/s1471068412000269" @default.
- W3101554965 hasPublicationYear "2012" @default.
- W3101554965 type Work @default.
- W3101554965 sameAs 3101554965 @default.
- W3101554965 citedByCount "2" @default.
- W3101554965 countsByYear W31015549652015 @default.
- W3101554965 countsByYear W31015549652022 @default.
- W3101554965 crossrefType "journal-article" @default.
- W3101554965 hasAuthorship W3101554965A5017332670 @default.
- W3101554965 hasAuthorship W3101554965A5071364181 @default.
- W3101554965 hasBestOaLocation W31015549652 @default.
- W3101554965 hasConcept C101468663 @default.
- W3101554965 hasConcept C118615104 @default.
- W3101554965 hasConcept C121375916 @default.
- W3101554965 hasConcept C128838566 @default.
- W3101554965 hasConcept C134306372 @default.
- W3101554965 hasConcept C136119220 @default.
- W3101554965 hasConcept C154945302 @default.
- W3101554965 hasConcept C177148314 @default.
- W3101554965 hasConcept C177264268 @default.
- W3101554965 hasConcept C182620335 @default.
- W3101554965 hasConcept C199360897 @default.
- W3101554965 hasConcept C202444582 @default.
- W3101554965 hasConcept C206880738 @default.
- W3101554965 hasConcept C2777212361 @default.
- W3101554965 hasConcept C2778029271 @default.
- W3101554965 hasConcept C33923547 @default.
- W3101554965 hasConcept C41008148 @default.
- W3101554965 hasConcept C80444323 @default.
- W3101554965 hasConceptScore W3101554965C101468663 @default.
- W3101554965 hasConceptScore W3101554965C118615104 @default.
- W3101554965 hasConceptScore W3101554965C121375916 @default.
- W3101554965 hasConceptScore W3101554965C128838566 @default.
- W3101554965 hasConceptScore W3101554965C134306372 @default.
- W3101554965 hasConceptScore W3101554965C136119220 @default.
- W3101554965 hasConceptScore W3101554965C154945302 @default.
- W3101554965 hasConceptScore W3101554965C177148314 @default.
- W3101554965 hasConceptScore W3101554965C177264268 @default.
- W3101554965 hasConceptScore W3101554965C182620335 @default.
- W3101554965 hasConceptScore W3101554965C199360897 @default.
- W3101554965 hasConceptScore W3101554965C202444582 @default.
- W3101554965 hasConceptScore W3101554965C206880738 @default.
- W3101554965 hasConceptScore W3101554965C2777212361 @default.
- W3101554965 hasConceptScore W3101554965C2778029271 @default.
- W3101554965 hasConceptScore W3101554965C33923547 @default.
- W3101554965 hasConceptScore W3101554965C41008148 @default.
- W3101554965 hasConceptScore W3101554965C80444323 @default.
- W3101554965 hasIssue "4-5" @default.
- W3101554965 hasLocation W31015549651 @default.
- W3101554965 hasLocation W31015549652 @default.
- W3101554965 hasOpenAccess W3101554965 @default.
- W3101554965 hasPrimaryLocation W31015549651 @default.
- W3101554965 hasRelatedWork W2006279573 @default.
- W3101554965 hasRelatedWork W2091719738 @default.
- W3101554965 hasRelatedWork W2119361337 @default.
- W3101554965 hasRelatedWork W2126102461 @default.
- W3101554965 hasRelatedWork W2583336106 @default.
- W3101554965 hasRelatedWork W2963879432 @default.
- W3101554965 hasRelatedWork W3046611983 @default.
- W3101554965 hasRelatedWork W3097190819 @default.
- W3101554965 hasRelatedWork W3101554965 @default.
- W3101554965 hasRelatedWork W3200306105 @default.
- W3101554965 hasVolume "12" @default.
- W3101554965 isParatext "false" @default.
- W3101554965 isRetracted "false" @default.
- W3101554965 magId "3101554965" @default.
- W3101554965 workType "article" @default.