Matches in SemOpenAlex for { <https://semopenalex.org/work/W82839139> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W82839139 abstract "Structural matching, originally introduced by Steven Vere, implements and formalizes the notion of a specific generalisation of two productions, possibly in the presence of a background theory. Despite various studies in the mid-seventies and early eighties, several problems remained. These include the use of background knowledge, the nonuniqueness of most specific generalisations, and handling in-equalities. We show how Gordon Plotkin's notions of general generalisation and relative least general generalisation defined on clauses can be adapted for use in structural matching such that the remaining problems disappear. Defining clauses as universally quantified disjunctions of literals and productions as existentially quantified conjunctions of literals, it is shown that the lattice on clauses imposed by θ-subsumption is order-isomorphic to the lattice on productions needed for structural matching." @default.
- W82839139 created "2016-06-24" @default.
- W82839139 creator A5000988851 @default.
- W82839139 creator A5044615239 @default.
- W82839139 creator A5078136609 @default.
- W82839139 date "1997-01-01" @default.
- W82839139 modified "2023-09-23" @default.
- W82839139 title "θ-subsumption for structural matching" @default.
- W82839139 cites W1521623677 @default.
- W82839139 cites W1558733760 @default.
- W82839139 cites W156034828 @default.
- W82839139 cites W1713402765 @default.
- W82839139 cites W1987902506 @default.
- W82839139 cites W2032026209 @default.
- W82839139 cites W2052519853 @default.
- W82839139 cites W2141288588 @default.
- W82839139 cites W2484153108 @default.
- W82839139 cites W2520858206 @default.
- W82839139 doi "https://doi.org/10.1007/3-540-62858-4_73" @default.
- W82839139 hasPublicationYear "1997" @default.
- W82839139 type Work @default.
- W82839139 sameAs 82839139 @default.
- W82839139 citedByCount "6" @default.
- W82839139 countsByYear W828391392014 @default.
- W82839139 crossrefType "book-chapter" @default.
- W82839139 hasAuthorship W82839139A5000988851 @default.
- W82839139 hasAuthorship W82839139A5044615239 @default.
- W82839139 hasAuthorship W82839139A5078136609 @default.
- W82839139 hasBestOaLocation W828391391 @default.
- W82839139 hasConcept C105795698 @default.
- W82839139 hasConcept C11413529 @default.
- W82839139 hasConcept C121332964 @default.
- W82839139 hasConcept C136119220 @default.
- W82839139 hasConcept C154945302 @default.
- W82839139 hasConcept C165064840 @default.
- W82839139 hasConcept C183992945 @default.
- W82839139 hasConcept C201640847 @default.
- W82839139 hasConcept C202444582 @default.
- W82839139 hasConcept C24890656 @default.
- W82839139 hasConcept C2781204021 @default.
- W82839139 hasConcept C33923547 @default.
- W82839139 hasConcept C41008148 @default.
- W82839139 hasConcept C62520636 @default.
- W82839139 hasConcept C68859911 @default.
- W82839139 hasConcept C80444323 @default.
- W82839139 hasConceptScore W82839139C105795698 @default.
- W82839139 hasConceptScore W82839139C11413529 @default.
- W82839139 hasConceptScore W82839139C121332964 @default.
- W82839139 hasConceptScore W82839139C136119220 @default.
- W82839139 hasConceptScore W82839139C154945302 @default.
- W82839139 hasConceptScore W82839139C165064840 @default.
- W82839139 hasConceptScore W82839139C183992945 @default.
- W82839139 hasConceptScore W82839139C201640847 @default.
- W82839139 hasConceptScore W82839139C202444582 @default.
- W82839139 hasConceptScore W82839139C24890656 @default.
- W82839139 hasConceptScore W82839139C2781204021 @default.
- W82839139 hasConceptScore W82839139C33923547 @default.
- W82839139 hasConceptScore W82839139C41008148 @default.
- W82839139 hasConceptScore W82839139C62520636 @default.
- W82839139 hasConceptScore W82839139C68859911 @default.
- W82839139 hasConceptScore W82839139C80444323 @default.
- W82839139 hasLocation W828391391 @default.
- W82839139 hasLocation W828391392 @default.
- W82839139 hasOpenAccess W82839139 @default.
- W82839139 hasPrimaryLocation W828391391 @default.
- W82839139 hasRelatedWork W1580176494 @default.
- W82839139 hasRelatedWork W1586823400 @default.
- W82839139 hasRelatedWork W1626457184 @default.
- W82839139 hasRelatedWork W192749010 @default.
- W82839139 hasRelatedWork W1974585268 @default.
- W82839139 hasRelatedWork W2040907010 @default.
- W82839139 hasRelatedWork W2058091233 @default.
- W82839139 hasRelatedWork W2096713391 @default.
- W82839139 hasRelatedWork W2101932158 @default.
- W82839139 hasRelatedWork W2153017713 @default.
- W82839139 hasRelatedWork W2394386647 @default.
- W82839139 hasRelatedWork W2479151789 @default.
- W82839139 hasRelatedWork W2488721223 @default.
- W82839139 hasRelatedWork W2612817393 @default.
- W82839139 hasRelatedWork W2766243828 @default.
- W82839139 hasRelatedWork W2952548285 @default.
- W82839139 hasRelatedWork W2992472379 @default.
- W82839139 hasRelatedWork W319273887 @default.
- W82839139 hasRelatedWork W83593792 @default.
- W82839139 hasRelatedWork W946773391 @default.
- W82839139 isParatext "false" @default.
- W82839139 isRetracted "false" @default.
- W82839139 magId "82839139" @default.
- W82839139 workType "book-chapter" @default.