Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567252621> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W1567252621 endingPage "92" @default.
- W1567252621 startingPage "81" @default.
- W1567252621 abstract "Logic programs P and Q are strongly equivalent if, given any logic program R, programs P ∪ R and Q ∪ R are equivalent (that is, have the same answer sets). Strong equivalence is convenient for the study of equivalent transformations of logic programs: one can prove that a local change is correct without considering the whole program. Recently, Lifschitz, Pearce andV alverde showedt hat Heyting's logic of here-and-there can be used to characterize strong equivalence of logic programs. This paper offers a more direct characterization, and extends it to default logic. In their paper, Lifschitz, Pearce and Valverde study a very general form of logic programs, calledn ested programs. For the study of strong equivalence of default theories, it is convenient to introduce a corresponding nested version of default logic, which generalizes Reiter's default logic." @default.
- W1567252621 created "2016-06-24" @default.
- W1567252621 creator A5084281533 @default.
- W1567252621 date "2001-01-01" @default.
- W1567252621 modified "2023-09-27" @default.
- W1567252621 title "Strong Equivalence for Logic Programs and Default Theories (Made Easy)" @default.
- W1567252621 cites W1547615865 @default.
- W1567252621 cites W1601726121 @default.
- W1567252621 cites W1694306392 @default.
- W1567252621 cites W1985274317 @default.
- W1567252621 cites W2076698873 @default.
- W1567252621 cites W2155322595 @default.
- W1567252621 doi "https://doi.org/10.1007/3-540-45402-0_6" @default.
- W1567252621 hasPublicationYear "2001" @default.
- W1567252621 type Work @default.
- W1567252621 sameAs 1567252621 @default.
- W1567252621 citedByCount "37" @default.
- W1567252621 countsByYear W15672526212012 @default.
- W1567252621 countsByYear W15672526212015 @default.
- W1567252621 countsByYear W15672526212016 @default.
- W1567252621 countsByYear W15672526212017 @default.
- W1567252621 countsByYear W15672526212019 @default.
- W1567252621 countsByYear W15672526212020 @default.
- W1567252621 crossrefType "book-chapter" @default.
- W1567252621 hasAuthorship W1567252621A5084281533 @default.
- W1567252621 hasConcept C102993220 @default.
- W1567252621 hasConcept C11413529 @default.
- W1567252621 hasConcept C118615104 @default.
- W1567252621 hasConcept C128838566 @default.
- W1567252621 hasConcept C136119220 @default.
- W1567252621 hasConcept C144237770 @default.
- W1567252621 hasConcept C160236029 @default.
- W1567252621 hasConcept C199343813 @default.
- W1567252621 hasConcept C199360897 @default.
- W1567252621 hasConcept C202444582 @default.
- W1567252621 hasConcept C203659156 @default.
- W1567252621 hasConcept C2777686260 @default.
- W1567252621 hasConcept C2780069185 @default.
- W1567252621 hasConcept C2987117450 @default.
- W1567252621 hasConcept C33923547 @default.
- W1567252621 hasConcept C3845977 @default.
- W1567252621 hasConcept C41008148 @default.
- W1567252621 hasConcept C71924100 @default.
- W1567252621 hasConcept C80444323 @default.
- W1567252621 hasConceptScore W1567252621C102993220 @default.
- W1567252621 hasConceptScore W1567252621C11413529 @default.
- W1567252621 hasConceptScore W1567252621C118615104 @default.
- W1567252621 hasConceptScore W1567252621C128838566 @default.
- W1567252621 hasConceptScore W1567252621C136119220 @default.
- W1567252621 hasConceptScore W1567252621C144237770 @default.
- W1567252621 hasConceptScore W1567252621C160236029 @default.
- W1567252621 hasConceptScore W1567252621C199343813 @default.
- W1567252621 hasConceptScore W1567252621C199360897 @default.
- W1567252621 hasConceptScore W1567252621C202444582 @default.
- W1567252621 hasConceptScore W1567252621C203659156 @default.
- W1567252621 hasConceptScore W1567252621C2777686260 @default.
- W1567252621 hasConceptScore W1567252621C2780069185 @default.
- W1567252621 hasConceptScore W1567252621C2987117450 @default.
- W1567252621 hasConceptScore W1567252621C33923547 @default.
- W1567252621 hasConceptScore W1567252621C3845977 @default.
- W1567252621 hasConceptScore W1567252621C41008148 @default.
- W1567252621 hasConceptScore W1567252621C71924100 @default.
- W1567252621 hasConceptScore W1567252621C80444323 @default.
- W1567252621 hasLocation W15672526211 @default.
- W1567252621 hasOpenAccess W1567252621 @default.
- W1567252621 hasPrimaryLocation W15672526211 @default.
- W1567252621 hasRelatedWork W1486370855 @default.
- W1567252621 hasRelatedWork W1567252621 @default.
- W1567252621 hasRelatedWork W1602972790 @default.
- W1567252621 hasRelatedWork W2016993683 @default.
- W1567252621 hasRelatedWork W2109507516 @default.
- W1567252621 hasRelatedWork W2124627636 @default.
- W1567252621 hasRelatedWork W2135396778 @default.
- W1567252621 hasRelatedWork W2176973685 @default.
- W1567252621 hasRelatedWork W2949422477 @default.
- W1567252621 hasRelatedWork W4243252198 @default.
- W1567252621 isParatext "false" @default.
- W1567252621 isRetracted "false" @default.
- W1567252621 magId "1567252621" @default.
- W1567252621 workType "book-chapter" @default.