Matches in SemOpenAlex for { <https://semopenalex.org/work/W2048339598> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2048339598 endingPage "505" @default.
- W2048339598 startingPage "500" @default.
- W2048339598 abstract "This paper exposes the common order-theoretic properties of the structures manipulated by the version space algorithm [Mit78]and the assumption-based truth maintenance systems (ATMS) [dk86a,dk86b] by recasting them in the framework of convex spaces. Our analysis of version spaces in this framework reveals necessary and sufficient conditions for ensuring the preservation of an essential finite representability property in version space merging. This analysis is used to formulate several sufficient conditions for when a language will allow version spaces to be represented by finite sets of concepts (even when the universe of concepts may be infinite). We provide a new convex space based formulation of computation performs by an ATMS which extends the expressiveness of disjunctions in the systems. This approach obviates the need for hyperresolution in dealing with disjunction and results in simpler label-update algorithms. Comments University of Pennsylvania Department of Computer and Information Science Technical Report No. MSCIS-90-86. This technical report is available at ScholarlyCommons: http://repository.upenn.edu/cis_reports/434 The Common Order-Theoretic Structure Of Version Spaces And ATMS's MS-CIS-90-86 LOGIC & COMPUTATION 28" @default.
- W2048339598 created "2016-06-24" @default.
- W2048339598 creator A5020434909 @default.
- W2048339598 creator A5031954035 @default.
- W2048339598 creator A5053486266 @default.
- W2048339598 creator A5068822568 @default.
- W2048339598 date "1991-07-14" @default.
- W2048339598 modified "2023-10-18" @default.
- W2048339598 title "The common order-theoretic structure of version spaces and ATMS's" @default.
- W2048339598 cites W145128706 @default.
- W2048339598 cites W1498607274 @default.
- W2048339598 cites W1508965297 @default.
- W2048339598 cites W1515379490 @default.
- W2048339598 cites W1544564247 @default.
- W2048339598 cites W1582269801 @default.
- W2048339598 cites W1976303542 @default.
- W2048339598 cites W1999622198 @default.
- W2048339598 cites W2009207944 @default.
- W2048339598 cites W2012170877 @default.
- W2048339598 cites W2043058711 @default.
- W2048339598 cites W2080430146 @default.
- W2048339598 cites W2093541252 @default.
- W2048339598 cites W2129022555 @default.
- W2048339598 cites W2131302512 @default.
- W2048339598 cites W2144078201 @default.
- W2048339598 cites W2147096558 @default.
- W2048339598 cites W2894813436 @default.
- W2048339598 cites W2912883082 @default.
- W2048339598 hasPublicationYear "1991" @default.
- W2048339598 type Work @default.
- W2048339598 sameAs 2048339598 @default.
- W2048339598 citedByCount "11" @default.
- W2048339598 crossrefType "proceedings-article" @default.
- W2048339598 hasAuthorship W2048339598A5020434909 @default.
- W2048339598 hasAuthorship W2048339598A5031954035 @default.
- W2048339598 hasAuthorship W2048339598A5053486266 @default.
- W2048339598 hasAuthorship W2048339598A5068822568 @default.
- W2048339598 hasConcept C10138342 @default.
- W2048339598 hasConcept C111472728 @default.
- W2048339598 hasConcept C111919701 @default.
- W2048339598 hasConcept C112680207 @default.
- W2048339598 hasConcept C11413529 @default.
- W2048339598 hasConcept C138885662 @default.
- W2048339598 hasConcept C162324750 @default.
- W2048339598 hasConcept C182306322 @default.
- W2048339598 hasConcept C189950617 @default.
- W2048339598 hasConcept C2524010 @default.
- W2048339598 hasConcept C2778572836 @default.
- W2048339598 hasConcept C33923547 @default.
- W2048339598 hasConcept C41008148 @default.
- W2048339598 hasConcept C45374587 @default.
- W2048339598 hasConcept C80444323 @default.
- W2048339598 hasConceptScore W2048339598C10138342 @default.
- W2048339598 hasConceptScore W2048339598C111472728 @default.
- W2048339598 hasConceptScore W2048339598C111919701 @default.
- W2048339598 hasConceptScore W2048339598C112680207 @default.
- W2048339598 hasConceptScore W2048339598C11413529 @default.
- W2048339598 hasConceptScore W2048339598C138885662 @default.
- W2048339598 hasConceptScore W2048339598C162324750 @default.
- W2048339598 hasConceptScore W2048339598C182306322 @default.
- W2048339598 hasConceptScore W2048339598C189950617 @default.
- W2048339598 hasConceptScore W2048339598C2524010 @default.
- W2048339598 hasConceptScore W2048339598C2778572836 @default.
- W2048339598 hasConceptScore W2048339598C33923547 @default.
- W2048339598 hasConceptScore W2048339598C41008148 @default.
- W2048339598 hasConceptScore W2048339598C45374587 @default.
- W2048339598 hasConceptScore W2048339598C80444323 @default.
- W2048339598 hasLocation W20483395981 @default.
- W2048339598 hasOpenAccess W2048339598 @default.
- W2048339598 hasPrimaryLocation W20483395981 @default.
- W2048339598 hasRelatedWork W1315694 @default.
- W2048339598 hasRelatedWork W1508965297 @default.
- W2048339598 hasRelatedWork W1546878666 @default.
- W2048339598 hasRelatedWork W1596723206 @default.
- W2048339598 hasRelatedWork W18984239 @default.
- W2048339598 hasRelatedWork W1994022788 @default.
- W2048339598 hasRelatedWork W2005440437 @default.
- W2048339598 hasRelatedWork W2009207944 @default.
- W2048339598 hasRelatedWork W2030875267 @default.
- W2048339598 hasRelatedWork W2097911155 @default.
- W2048339598 hasRelatedWork W2123675291 @default.
- W2048339598 hasRelatedWork W2342179682 @default.
- W2048339598 hasRelatedWork W2466179951 @default.
- W2048339598 hasRelatedWork W2554279223 @default.
- W2048339598 hasRelatedWork W2907969637 @default.
- W2048339598 hasRelatedWork W2951330018 @default.
- W2048339598 hasRelatedWork W2971122962 @default.
- W2048339598 hasRelatedWork W3021440795 @default.
- W2048339598 hasRelatedWork W3098168665 @default.
- W2048339598 hasRelatedWork W3103318063 @default.
- W2048339598 isParatext "false" @default.
- W2048339598 isRetracted "false" @default.
- W2048339598 magId "2048339598" @default.
- W2048339598 workType "article" @default.