Matches in SemOpenAlex for { <https://semopenalex.org/work/W1549040679> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1549040679 abstract "We propose a transformation system for CLP programs and modules. Theframework is inspired by the one of Tamaki and Sato for pure logic programs [19]. Here, the use of CLP allows us to introduce some new operations such as splitting and constraint replacement. We provide two sets of applicability conditions. The first one guarantees that the original and the transformed programs have the same computational behavior, in terms of answer constraints. The second set contains more restrictive conditions that ensure compositionality: we prove that under these conditions the original and the transformed modules have the same answer constraints also when they are composed with other modules. As corollaries we obtain the correctness of both the modular and the non-modular system w.r.t. the least model semantics." @default.
- W1549040679 created "2016-06-24" @default.
- W1549040679 creator A5025039355 @default.
- W1549040679 creator A5052389888 @default.
- W1549040679 date "1995-01-01" @default.
- W1549040679 modified "2023-09-25" @default.
- W1549040679 title "A Transformation System for Modular CLP Programs" @default.
- W1549040679 doi "https://doi.org/10.7551/mitpress/4298.003.0066" @default.
- W1549040679 hasPublicationYear "1995" @default.
- W1549040679 type Work @default.
- W1549040679 sameAs 1549040679 @default.
- W1549040679 citedByCount "1" @default.
- W1549040679 crossrefType "book-chapter" @default.
- W1549040679 hasAuthorship W1549040679A5025039355 @default.
- W1549040679 hasAuthorship W1549040679A5052389888 @default.
- W1549040679 hasBestOaLocation W15490406792 @default.
- W1549040679 hasConcept C101468663 @default.
- W1549040679 hasConcept C104317684 @default.
- W1549040679 hasConcept C11413529 @default.
- W1549040679 hasConcept C121375916 @default.
- W1549040679 hasConcept C154945302 @default.
- W1549040679 hasConcept C156325763 @default.
- W1549040679 hasConcept C177264268 @default.
- W1549040679 hasConcept C184337299 @default.
- W1549040679 hasConcept C185592680 @default.
- W1549040679 hasConcept C199360897 @default.
- W1549040679 hasConcept C204241405 @default.
- W1549040679 hasConcept C2524010 @default.
- W1549040679 hasConcept C2776036281 @default.
- W1549040679 hasConcept C33923547 @default.
- W1549040679 hasConcept C41008148 @default.
- W1549040679 hasConcept C55439883 @default.
- W1549040679 hasConcept C55493867 @default.
- W1549040679 hasConcept C80444323 @default.
- W1549040679 hasConceptScore W1549040679C101468663 @default.
- W1549040679 hasConceptScore W1549040679C104317684 @default.
- W1549040679 hasConceptScore W1549040679C11413529 @default.
- W1549040679 hasConceptScore W1549040679C121375916 @default.
- W1549040679 hasConceptScore W1549040679C154945302 @default.
- W1549040679 hasConceptScore W1549040679C156325763 @default.
- W1549040679 hasConceptScore W1549040679C177264268 @default.
- W1549040679 hasConceptScore W1549040679C184337299 @default.
- W1549040679 hasConceptScore W1549040679C185592680 @default.
- W1549040679 hasConceptScore W1549040679C199360897 @default.
- W1549040679 hasConceptScore W1549040679C204241405 @default.
- W1549040679 hasConceptScore W1549040679C2524010 @default.
- W1549040679 hasConceptScore W1549040679C2776036281 @default.
- W1549040679 hasConceptScore W1549040679C33923547 @default.
- W1549040679 hasConceptScore W1549040679C41008148 @default.
- W1549040679 hasConceptScore W1549040679C55439883 @default.
- W1549040679 hasConceptScore W1549040679C55493867 @default.
- W1549040679 hasConceptScore W1549040679C80444323 @default.
- W1549040679 hasLocation W15490406791 @default.
- W1549040679 hasLocation W15490406792 @default.
- W1549040679 hasOpenAccess W1549040679 @default.
- W1549040679 hasPrimaryLocation W15490406791 @default.
- W1549040679 hasRelatedWork W1846507946 @default.
- W1549040679 hasRelatedWork W1863636468 @default.
- W1549040679 hasRelatedWork W1994179113 @default.
- W1549040679 hasRelatedWork W1999336811 @default.
- W1549040679 hasRelatedWork W2043140417 @default.
- W1549040679 hasRelatedWork W2045750726 @default.
- W1549040679 hasRelatedWork W2121921022 @default.
- W1549040679 hasRelatedWork W2406205129 @default.
- W1549040679 hasRelatedWork W2466179951 @default.
- W1549040679 hasRelatedWork W2540111681 @default.
- W1549040679 hasRelatedWork W2725553666 @default.
- W1549040679 hasRelatedWork W2888125526 @default.
- W1549040679 hasRelatedWork W2950404109 @default.
- W1549040679 hasRelatedWork W2976136300 @default.
- W1549040679 hasRelatedWork W3103318063 @default.
- W1549040679 hasRelatedWork W3104110719 @default.
- W1549040679 hasRelatedWork W3104292256 @default.
- W1549040679 hasRelatedWork W312152708 @default.
- W1549040679 hasRelatedWork W626887913 @default.
- W1549040679 hasRelatedWork W2182709697 @default.
- W1549040679 isParatext "false" @default.
- W1549040679 isRetracted "false" @default.
- W1549040679 magId "1549040679" @default.
- W1549040679 workType "book-chapter" @default.