Matches in SemOpenAlex for { <https://semopenalex.org/work/W1548519218> ?p ?o ?g. }
- W1548519218 endingPage "416" @default.
- W1548519218 startingPage "412" @default.
- W1548519218 abstract "A Gaifman-Shapiro-style architecture of program modules is introduced in the case of normal logic programs under stable model semantics. The composition of program modules is suitably limited by module conditions which ensure the compatibility of the module system with stable models. The resulting module theorem properly strengthens Lifschitz and Turner's splitting set theorem [17] for normal logic programs. Consequently, the respective notion of equivalence between modules, i.e. modular equivalence, proves to be a congruence relation. Moreover, it is shown how our translation-based verification method [15] is accommodated to the case of modular equivalence; and how the verification of weak/visible equivalence can be optimized as a sequence of module-level tests." @default.
- W1548519218 created "2016-06-24" @default.
- W1548519218 creator A5039712529 @default.
- W1548519218 creator A5046046339 @default.
- W1548519218 date "2006-05-22" @default.
- W1548519218 modified "2023-09-23" @default.
- W1548519218 title "Modular Equivalence for Normal Logic Programs" @default.
- W1548519218 cites W14675395 @default.
- W1548519218 cites W1484166989 @default.
- W1548519218 cites W1485332185 @default.
- W1548519218 cites W1541323168 @default.
- W1548519218 cites W1579369115 @default.
- W1548519218 cites W1600576559 @default.
- W1548519218 cites W1601153438 @default.
- W1548519218 cites W1602726442 @default.
- W1548519218 cites W1639901403 @default.
- W1548519218 cites W1672891595 @default.
- W1548519218 cites W1766332311 @default.
- W1548519218 cites W1776373986 @default.
- W1548519218 cites W1864132268 @default.
- W1548519218 cites W1976055110 @default.
- W1548519218 cites W1985274317 @default.
- W1548519218 cites W2006574118 @default.
- W1548519218 cites W2011124182 @default.
- W1548519218 cites W2016993683 @default.
- W1548519218 cites W2017160649 @default.
- W1548519218 cites W2036481185 @default.
- W1548519218 cites W2043140417 @default.
- W1548519218 cites W2043673291 @default.
- W1548519218 cites W2056850725 @default.
- W1548519218 cites W2060723681 @default.
- W1548519218 cites W2066287719 @default.
- W1548519218 cites W2115826669 @default.
- W1548519218 cites W2123740011 @default.
- W1548519218 cites W2141740710 @default.
- W1548519218 cites W2152131859 @default.
- W1548519218 cites W2161525442 @default.
- W1548519218 cites W2295882966 @default.
- W1548519218 cites W2886271628 @default.
- W1548519218 cites W93385149 @default.
- W1548519218 hasPublicationYear "2006" @default.
- W1548519218 type Work @default.
- W1548519218 sameAs 1548519218 @default.
- W1548519218 citedByCount "35" @default.
- W1548519218 countsByYear W15485192182012 @default.
- W1548519218 countsByYear W15485192182013 @default.
- W1548519218 countsByYear W15485192182014 @default.
- W1548519218 countsByYear W15485192182015 @default.
- W1548519218 countsByYear W15485192182016 @default.
- W1548519218 countsByYear W15485192182017 @default.
- W1548519218 countsByYear W15485192182018 @default.
- W1548519218 countsByYear W15485192182019 @default.
- W1548519218 countsByYear W15485192182020 @default.
- W1548519218 countsByYear W15485192182021 @default.
- W1548519218 crossrefType "proceedings-article" @default.
- W1548519218 hasAuthorship W1548519218A5039712529 @default.
- W1548519218 hasAuthorship W1548519218A5046046339 @default.
- W1548519218 hasConcept C101468663 @default.
- W1548519218 hasConcept C118615104 @default.
- W1548519218 hasConcept C127413603 @default.
- W1548519218 hasConcept C136119220 @default.
- W1548519218 hasConcept C156103551 @default.
- W1548519218 hasConcept C199360897 @default.
- W1548519218 hasConcept C202444582 @default.
- W1548519218 hasConcept C2778648169 @default.
- W1548519218 hasConcept C2780069185 @default.
- W1548519218 hasConcept C33923547 @default.
- W1548519218 hasConcept C41008148 @default.
- W1548519218 hasConcept C42360764 @default.
- W1548519218 hasConcept C70846408 @default.
- W1548519218 hasConcept C80444323 @default.
- W1548519218 hasConcept C9973445 @default.
- W1548519218 hasConceptScore W1548519218C101468663 @default.
- W1548519218 hasConceptScore W1548519218C118615104 @default.
- W1548519218 hasConceptScore W1548519218C127413603 @default.
- W1548519218 hasConceptScore W1548519218C136119220 @default.
- W1548519218 hasConceptScore W1548519218C156103551 @default.
- W1548519218 hasConceptScore W1548519218C199360897 @default.
- W1548519218 hasConceptScore W1548519218C202444582 @default.
- W1548519218 hasConceptScore W1548519218C2778648169 @default.
- W1548519218 hasConceptScore W1548519218C2780069185 @default.
- W1548519218 hasConceptScore W1548519218C33923547 @default.
- W1548519218 hasConceptScore W1548519218C41008148 @default.
- W1548519218 hasConceptScore W1548519218C42360764 @default.
- W1548519218 hasConceptScore W1548519218C70846408 @default.
- W1548519218 hasConceptScore W1548519218C80444323 @default.
- W1548519218 hasConceptScore W1548519218C9973445 @default.
- W1548519218 hasLocation W15485192181 @default.
- W1548519218 hasOpenAccess W1548519218 @default.
- W1548519218 hasPrimaryLocation W15485192181 @default.
- W1548519218 hasRelatedWork W1484166989 @default.
- W1548519218 hasRelatedWork W1501758783 @default.
- W1548519218 hasRelatedWork W1552914076 @default.
- W1548519218 hasRelatedWork W1579369115 @default.
- W1548519218 hasRelatedWork W1602726442 @default.
- W1548519218 hasRelatedWork W1606891084 @default.
- W1548519218 hasRelatedWork W1639901403 @default.
- W1548519218 hasRelatedWork W1672891595 @default.