Matches in SemOpenAlex for { <https://semopenalex.org/work/W1552914076> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1552914076 endingPage "186" @default.
- W1552914076 startingPage "174" @default.
- W1552914076 abstract "This paper defines a general framework for testing equivalence of logic programs with respect to two parameters. Given two sets of rules ${cal Q}$ and ${cal R}$ , two logic programs P 1 and P 2 are said to be update equivalent with respect to $({cal Q},{cal R})$ if (P 1∖ Q)∪ R and (P 2∖ Q)∪ R have the same answer sets for any two logic programs $Qsubseteq{cal Q}$ and $Rsubseteq{cal R}$ . The notion of update equivalence is suitable to take program updates into account when two logic programs are compared. That is, the notion of relativity stipulates the languages of updates, and two parameters ${cal Q}$ and ${cal R}$ correspond to the languages for deletion and addition, respectively. Clearly, the notion of strong equivalence is a special case of update equivalence where ${cal Q}$ is empty and ${cal R}$ is the set of all rules in the language. In fact, the notion of update equivalence is strong enough to capture many other notions such as weak equivalence, update equivalence on common rules, and uniform equivalence. We also discuss computation and complexity of update equivalence." @default.
- W1552914076 created "2016-06-24" @default.
- W1552914076 creator A5072948790 @default.
- W1552914076 creator A5080458729 @default.
- W1552914076 date "2004-01-01" @default.
- W1552914076 modified "2023-10-11" @default.
- W1552914076 title "Equivalence of Logic Programs Under Updates" @default.
- W1552914076 cites W1516418648 @default.
- W1552914076 cites W1579369115 @default.
- W1552914076 cites W1590615920 @default.
- W1552914076 cites W1602726442 @default.
- W1552914076 cites W1637139942 @default.
- W1552914076 cites W1694306392 @default.
- W1552914076 cites W1985274317 @default.
- W1552914076 cites W1995876561 @default.
- W1552914076 cites W2022482529 @default.
- W1552914076 cites W2066287719 @default.
- W1552914076 cites W2076698873 @default.
- W1552914076 cites W2123740011 @default.
- W1552914076 cites W2914201324 @default.
- W1552914076 cites W3023767094 @default.
- W1552914076 cites W4210897223 @default.
- W1552914076 doi "https://doi.org/10.1007/978-3-540-30227-8_17" @default.
- W1552914076 hasPublicationYear "2004" @default.
- W1552914076 type Work @default.
- W1552914076 sameAs 1552914076 @default.
- W1552914076 citedByCount "45" @default.
- W1552914076 countsByYear W15529140762012 @default.
- W1552914076 countsByYear W15529140762014 @default.
- W1552914076 countsByYear W15529140762016 @default.
- W1552914076 countsByYear W15529140762017 @default.
- W1552914076 countsByYear W15529140762019 @default.
- W1552914076 countsByYear W15529140762020 @default.
- W1552914076 countsByYear W15529140762022 @default.
- W1552914076 countsByYear W15529140762023 @default.
- W1552914076 crossrefType "book-chapter" @default.
- W1552914076 hasAuthorship W1552914076A5072948790 @default.
- W1552914076 hasAuthorship W1552914076A5080458729 @default.
- W1552914076 hasConcept C118615104 @default.
- W1552914076 hasConcept C121332964 @default.
- W1552914076 hasConcept C124017977 @default.
- W1552914076 hasConcept C128838566 @default.
- W1552914076 hasConcept C136119220 @default.
- W1552914076 hasConcept C202444582 @default.
- W1552914076 hasConcept C2776863286 @default.
- W1552914076 hasConcept C2780069185 @default.
- W1552914076 hasConcept C2987117450 @default.
- W1552914076 hasConcept C33923547 @default.
- W1552914076 hasConcept C41008148 @default.
- W1552914076 hasConcept C70846408 @default.
- W1552914076 hasConcept C74650414 @default.
- W1552914076 hasConcept C80444323 @default.
- W1552914076 hasConceptScore W1552914076C118615104 @default.
- W1552914076 hasConceptScore W1552914076C121332964 @default.
- W1552914076 hasConceptScore W1552914076C124017977 @default.
- W1552914076 hasConceptScore W1552914076C128838566 @default.
- W1552914076 hasConceptScore W1552914076C136119220 @default.
- W1552914076 hasConceptScore W1552914076C202444582 @default.
- W1552914076 hasConceptScore W1552914076C2776863286 @default.
- W1552914076 hasConceptScore W1552914076C2780069185 @default.
- W1552914076 hasConceptScore W1552914076C2987117450 @default.
- W1552914076 hasConceptScore W1552914076C33923547 @default.
- W1552914076 hasConceptScore W1552914076C41008148 @default.
- W1552914076 hasConceptScore W1552914076C70846408 @default.
- W1552914076 hasConceptScore W1552914076C74650414 @default.
- W1552914076 hasConceptScore W1552914076C80444323 @default.
- W1552914076 hasLocation W15529140761 @default.
- W1552914076 hasOpenAccess W1552914076 @default.
- W1552914076 hasPrimaryLocation W15529140761 @default.
- W1552914076 hasRelatedWork W1552914076 @default.
- W1552914076 hasRelatedWork W1595455144 @default.
- W1552914076 hasRelatedWork W1609359567 @default.
- W1552914076 hasRelatedWork W1969792448 @default.
- W1552914076 hasRelatedWork W2066287719 @default.
- W1552914076 hasRelatedWork W2953358726 @default.
- W1552914076 hasRelatedWork W3101676802 @default.
- W1552914076 hasRelatedWork W4248699163 @default.
- W1552914076 hasRelatedWork W4289810755 @default.
- W1552914076 hasRelatedWork W2595908093 @default.
- W1552914076 isParatext "false" @default.
- W1552914076 isRetracted "false" @default.
- W1552914076 magId "1552914076" @default.
- W1552914076 workType "book-chapter" @default.