Matches in SemOpenAlex for { <https://semopenalex.org/work/W2692232979> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2692232979 abstract "This paper introduces first-order modular logic programs, which provide a way of viewing answer set programs as consisting of many independent, meaningful modules. We also present conservative extensions of such programs. This concept helps to identify strong relationships between modular programs as well as between traditional programs. For example, we illustrate how the notion of a conservative extension can be used to justify the common projection rewriting. This is a short version of a paper was presented at the 32nd International Conference on Logic Programming (Harrison and Lierler, 2016)." @default.
- W2692232979 created "2017-06-30" @default.
- W2692232979 creator A5008816972 @default.
- W2692232979 creator A5074195056 @default.
- W2692232979 date "2017-08-01" @default.
- W2692232979 modified "2023-09-27" @default.
- W2692232979 title "First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract)" @default.
- W2692232979 doi "https://doi.org/10.24963/ijcai.2017/682" @default.
- W2692232979 hasPublicationYear "2017" @default.
- W2692232979 type Work @default.
- W2692232979 sameAs 2692232979 @default.
- W2692232979 citedByCount "3" @default.
- W2692232979 countsByYear W26922329792020 @default.
- W2692232979 countsByYear W26922329792022 @default.
- W2692232979 crossrefType "proceedings-article" @default.
- W2692232979 hasAuthorship W2692232979A5008816972 @default.
- W2692232979 hasAuthorship W2692232979A5074195056 @default.
- W2692232979 hasBestOaLocation W26922329791 @default.
- W2692232979 hasConcept C10138342 @default.
- W2692232979 hasConcept C101468663 @default.
- W2692232979 hasConcept C11413529 @default.
- W2692232979 hasConcept C128838566 @default.
- W2692232979 hasConcept C154690210 @default.
- W2692232979 hasConcept C162324750 @default.
- W2692232979 hasConcept C177264268 @default.
- W2692232979 hasConcept C182306322 @default.
- W2692232979 hasConcept C199360897 @default.
- W2692232979 hasConcept C2778029271 @default.
- W2692232979 hasConcept C2780432614 @default.
- W2692232979 hasConcept C2987117450 @default.
- W2692232979 hasConcept C41008148 @default.
- W2692232979 hasConcept C57493831 @default.
- W2692232979 hasConceptScore W2692232979C10138342 @default.
- W2692232979 hasConceptScore W2692232979C101468663 @default.
- W2692232979 hasConceptScore W2692232979C11413529 @default.
- W2692232979 hasConceptScore W2692232979C128838566 @default.
- W2692232979 hasConceptScore W2692232979C154690210 @default.
- W2692232979 hasConceptScore W2692232979C162324750 @default.
- W2692232979 hasConceptScore W2692232979C177264268 @default.
- W2692232979 hasConceptScore W2692232979C182306322 @default.
- W2692232979 hasConceptScore W2692232979C199360897 @default.
- W2692232979 hasConceptScore W2692232979C2778029271 @default.
- W2692232979 hasConceptScore W2692232979C2780432614 @default.
- W2692232979 hasConceptScore W2692232979C2987117450 @default.
- W2692232979 hasConceptScore W2692232979C41008148 @default.
- W2692232979 hasConceptScore W2692232979C57493831 @default.
- W2692232979 hasLocation W26922329791 @default.
- W2692232979 hasOpenAccess W2692232979 @default.
- W2692232979 hasPrimaryLocation W26922329791 @default.
- W2692232979 hasRelatedWork W1499084894 @default.
- W2692232979 hasRelatedWork W1521843416 @default.
- W2692232979 hasRelatedWork W1558613240 @default.
- W2692232979 hasRelatedWork W1603777797 @default.
- W2692232979 hasRelatedWork W1866859260 @default.
- W2692232979 hasRelatedWork W1869198389 @default.
- W2692232979 hasRelatedWork W2019695296 @default.
- W2692232979 hasRelatedWork W2091719738 @default.
- W2692232979 hasRelatedWork W2953065078 @default.
- W2692232979 hasRelatedWork W4300633957 @default.
- W2692232979 isParatext "false" @default.
- W2692232979 isRetracted "false" @default.
- W2692232979 magId "2692232979" @default.
- W2692232979 workType "article" @default.