Matches in SemOpenAlex for { <https://semopenalex.org/work/W1546482016> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1546482016 endingPage "79" @default.
- W1546482016 startingPage "75" @default.
- W1546482016 abstract "The notion of modular equivalence was recently introduced in the context of a module architecture proposed for logic programs under answer set semantics [12, 6, 13]. In this paper, the module architecture is abstracted for arbitrary knowledge bases, KB-functions for short, giving rise to a universal notion of modular equivalence. A further objective of this paper is to study modular equivalence in the contexts of SAT-functions, i.e., propositional theories with a module interface, and their logic programming counterpart, known as LP-functions [6]. As regards SAT-functions, we establish the full compositionality of classical semantics. This proves modular equivalence a proper congruence relation for SAT-functions. Moreover, we address the interoperability of SAT-functions and LP-functions in terms of strongly faithful transformations in both directions. These considerations justify the proposed design of KB-functions in general and pave the way for hybrid KB-functions." @default.
- W1546482016 created "2016-06-24" @default.
- W1546482016 creator A5046046339 @default.
- W1546482016 date "2008-06-27" @default.
- W1546482016 modified "2023-09-25" @default.
- W1546482016 title "Modular Equivalence in General" @default.
- W1546482016 cites W1548519218 @default.
- W1546482016 cites W1552095982 @default.
- W1546482016 cites W1552472382 @default.
- W1546482016 cites W1567452831 @default.
- W1546482016 cites W1579369115 @default.
- W1546482016 cites W1602726442 @default.
- W1546482016 cites W1672891595 @default.
- W1546482016 cites W1985274317 @default.
- W1546482016 cites W2006279573 @default.
- W1546482016 cites W2006912660 @default.
- W1546482016 cites W2016993683 @default.
- W1546482016 cites W202248608 @default.
- W1546482016 cites W2108736148 @default.
- W1546482016 cites W2152131859 @default.
- W1546482016 doi "https://doi.org/10.3233/978-1-58603-891-5-75" @default.
- W1546482016 hasPublicationYear "2008" @default.
- W1546482016 type Work @default.
- W1546482016 sameAs 1546482016 @default.
- W1546482016 citedByCount "2" @default.
- W1546482016 crossrefType "proceedings-article" @default.
- W1546482016 hasAuthorship W1546482016A5046046339 @default.
- W1546482016 hasConcept C101468663 @default.
- W1546482016 hasConcept C118615104 @default.
- W1546482016 hasConcept C121375916 @default.
- W1546482016 hasConcept C136119220 @default.
- W1546482016 hasConcept C154945302 @default.
- W1546482016 hasConcept C156103551 @default.
- W1546482016 hasConcept C177264268 @default.
- W1546482016 hasConcept C182620335 @default.
- W1546482016 hasConcept C199360897 @default.
- W1546482016 hasConcept C202444582 @default.
- W1546482016 hasConcept C2780069185 @default.
- W1546482016 hasConcept C33923547 @default.
- W1546482016 hasConcept C41008148 @default.
- W1546482016 hasConcept C70846408 @default.
- W1546482016 hasConcept C80444323 @default.
- W1546482016 hasConceptScore W1546482016C101468663 @default.
- W1546482016 hasConceptScore W1546482016C118615104 @default.
- W1546482016 hasConceptScore W1546482016C121375916 @default.
- W1546482016 hasConceptScore W1546482016C136119220 @default.
- W1546482016 hasConceptScore W1546482016C154945302 @default.
- W1546482016 hasConceptScore W1546482016C156103551 @default.
- W1546482016 hasConceptScore W1546482016C177264268 @default.
- W1546482016 hasConceptScore W1546482016C182620335 @default.
- W1546482016 hasConceptScore W1546482016C199360897 @default.
- W1546482016 hasConceptScore W1546482016C202444582 @default.
- W1546482016 hasConceptScore W1546482016C2780069185 @default.
- W1546482016 hasConceptScore W1546482016C33923547 @default.
- W1546482016 hasConceptScore W1546482016C41008148 @default.
- W1546482016 hasConceptScore W1546482016C70846408 @default.
- W1546482016 hasConceptScore W1546482016C80444323 @default.
- W1546482016 hasLocation W15464820161 @default.
- W1546482016 hasOpenAccess W1546482016 @default.
- W1546482016 hasPrimaryLocation W15464820161 @default.
- W1546482016 hasRelatedWork W1976055110 @default.
- W1546482016 hasRelatedWork W1980774578 @default.
- W1546482016 hasRelatedWork W1990518335 @default.
- W1546482016 hasRelatedWork W2010483477 @default.
- W1546482016 hasRelatedWork W2011124182 @default.
- W1546482016 hasRelatedWork W2076698873 @default.
- W1546482016 hasRelatedWork W2104606980 @default.
- W1546482016 hasRelatedWork W2148499109 @default.
- W1546482016 hasRelatedWork W2154929064 @default.
- W1546482016 hasRelatedWork W2188437266 @default.
- W1546482016 hasRelatedWork W2519321292 @default.
- W1546482016 hasRelatedWork W2735920234 @default.
- W1546482016 hasRelatedWork W2759411138 @default.
- W1546482016 hasRelatedWork W2999084762 @default.
- W1546482016 hasRelatedWork W3103989664 @default.
- W1546482016 hasRelatedWork W3157588172 @default.
- W1546482016 hasRelatedWork W3175289964 @default.
- W1546482016 hasRelatedWork W372741891 @default.
- W1546482016 hasRelatedWork W188154228 @default.
- W1546482016 hasRelatedWork W2571578236 @default.
- W1546482016 isParatext "false" @default.
- W1546482016 isRetracted "false" @default.
- W1546482016 magId "1546482016" @default.
- W1546482016 workType "article" @default.