Matches in SemOpenAlex for { <https://semopenalex.org/work/W2064781244> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2064781244 endingPage "877" @default.
- W2064781244 startingPage "859" @default.
- W2064781244 abstract "Conservative extensions of logical theories play an important role in software engineering. They provide a formal basis for program refinement and guarantee the integrity and transparency of modules and objects. This paper provides a detailed analysis of conservative extension concepts in the context of nonmonotonic knowledge bases, in particular default theories. Since there are different approaches to nonmonotonic reasoning based on different strategies for dealing with multiple extensions, we define several alternative refinement concepts and study their interrelationships. We also show that refinement is well behaved with respect to strong stratification, a technique for reducing computational effort in default reasoning. © 2000 John Wiley & Sons, Inc." @default.
- W2064781244 created "2016-06-24" @default.
- W2064781244 creator A5018289832 @default.
- W2064781244 creator A5037549464 @default.
- W2064781244 date "2000-01-01" @default.
- W2064781244 modified "2023-10-17" @default.
- W2064781244 title "Conservative extension concepts for nonmonotonic knowledge bases" @default.
- W2064781244 cites W1567741961 @default.
- W2064781244 cites W2013153283 @default.
- W2064781244 cites W2054586516 @default.
- W2064781244 cites W2068791654 @default.
- W2064781244 cites W2078926321 @default.
- W2064781244 cites W2149420462 @default.
- W2064781244 cites W2155322595 @default.
- W2064781244 doi "https://doi.org/10.1002/1098-111x(200009)15:9<859::aid-int3>3.0.co;2-e" @default.
- W2064781244 hasPublicationYear "2000" @default.
- W2064781244 type Work @default.
- W2064781244 sameAs 2064781244 @default.
- W2064781244 citedByCount "0" @default.
- W2064781244 crossrefType "journal-article" @default.
- W2064781244 hasAuthorship W2064781244A5018289832 @default.
- W2064781244 hasAuthorship W2064781244A5037549464 @default.
- W2064781244 hasConcept C128913409 @default.
- W2064781244 hasConcept C151730666 @default.
- W2064781244 hasConcept C154945302 @default.
- W2064781244 hasConcept C159032336 @default.
- W2064781244 hasConcept C195344581 @default.
- W2064781244 hasConcept C199360897 @default.
- W2064781244 hasConcept C20693621 @default.
- W2064781244 hasConcept C2778029271 @default.
- W2064781244 hasConcept C2779343474 @default.
- W2064781244 hasConcept C2780233690 @default.
- W2064781244 hasConcept C2780432614 @default.
- W2064781244 hasConcept C38652104 @default.
- W2064781244 hasConcept C39920170 @default.
- W2064781244 hasConcept C41008148 @default.
- W2064781244 hasConcept C80444323 @default.
- W2064781244 hasConcept C86803240 @default.
- W2064781244 hasConcept C97364631 @default.
- W2064781244 hasConceptScore W2064781244C128913409 @default.
- W2064781244 hasConceptScore W2064781244C151730666 @default.
- W2064781244 hasConceptScore W2064781244C154945302 @default.
- W2064781244 hasConceptScore W2064781244C159032336 @default.
- W2064781244 hasConceptScore W2064781244C195344581 @default.
- W2064781244 hasConceptScore W2064781244C199360897 @default.
- W2064781244 hasConceptScore W2064781244C20693621 @default.
- W2064781244 hasConceptScore W2064781244C2778029271 @default.
- W2064781244 hasConceptScore W2064781244C2779343474 @default.
- W2064781244 hasConceptScore W2064781244C2780233690 @default.
- W2064781244 hasConceptScore W2064781244C2780432614 @default.
- W2064781244 hasConceptScore W2064781244C38652104 @default.
- W2064781244 hasConceptScore W2064781244C39920170 @default.
- W2064781244 hasConceptScore W2064781244C41008148 @default.
- W2064781244 hasConceptScore W2064781244C80444323 @default.
- W2064781244 hasConceptScore W2064781244C86803240 @default.
- W2064781244 hasConceptScore W2064781244C97364631 @default.
- W2064781244 hasIssue "9" @default.
- W2064781244 hasLocation W20647812441 @default.
- W2064781244 hasOpenAccess W2064781244 @default.
- W2064781244 hasPrimaryLocation W20647812441 @default.
- W2064781244 hasRelatedWork W1488304818 @default.
- W2064781244 hasRelatedWork W1490970607 @default.
- W2064781244 hasRelatedWork W1534037101 @default.
- W2064781244 hasRelatedWork W1536590331 @default.
- W2064781244 hasRelatedWork W2016320528 @default.
- W2064781244 hasRelatedWork W2064781244 @default.
- W2064781244 hasRelatedWork W2151829588 @default.
- W2064781244 hasRelatedWork W2399112294 @default.
- W2064781244 hasRelatedWork W4293406962 @default.
- W2064781244 hasRelatedWork W4300540234 @default.
- W2064781244 hasVolume "15" @default.
- W2064781244 isParatext "false" @default.
- W2064781244 isRetracted "false" @default.
- W2064781244 magId "2064781244" @default.
- W2064781244 workType "article" @default.