Matches in SemOpenAlex for { <https://semopenalex.org/work/W1995447625> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1995447625 endingPage "35" @default.
- W1995447625 startingPage "1" @default.
- W1995447625 abstract "Abstract We discuss the mechanical transformation of an unambiguous context-free grammar (CFG) into a definite-clause grammar (DCG) using a finite set of examples, each of which is a pair 〈s, m〉, where s is a sentence belonging to the language defined by the CFG and m is the semantic representation (meaning) of s. The resulting DCG would be such that it could be executed to compute the semantics for every sentence of the original DCG. The motivation for our work comes from the observation that it is not easy to manually augment a CFG with semantic attributes to obtain a DCG because the task of building a correct and efficient DCG requires a fair amount of search, especially when the semantic representations involve quantified terms, as in natural languages. Our proposed approach is based upon two key assumptions: (1) the semantic representation language is the simply typed λ-calculus, and (2) the semantic representation of a sentence is a function (expressed in the typed λ-calculus) of the semantic representations of its parts (compositionality). With these assumptions, we show how a higher-order DCG can be systematically constructed using a matching procedure for simply typed λ-terms. We then show how to translate the constructed higher-order DCG into a first-order DCG by a partial-execution procedure. We have applied our methodology to the synthesis of the semantics of a small query language, and we believe that this methodology could be a useful tool for generating natural query language front-ends for various applications." @default.
- W1995447625 created "2016-06-24" @default.
- W1995447625 creator A5027373995 @default.
- W1995447625 creator A5060284292 @default.
- W1995447625 date "1986-04-01" @default.
- W1995447625 modified "2023-09-26" @default.
- W1995447625 title "Negation as inconsistency .I" @default.
- W1995447625 cites W1519238856 @default.
- W1995447625 cites W1519554123 @default.
- W1995447625 cites W1568715102 @default.
- W1995447625 cites W1766332311 @default.
- W1995447625 cites W1973180461 @default.
- W1995447625 cites W1996404651 @default.
- W1995447625 cites W2034676877 @default.
- W1995447625 cites W2038225427 @default.
- W1995447625 cites W2041706386 @default.
- W1995447625 cites W2057124712 @default.
- W1995447625 cites W2062968803 @default.
- W1995447625 cites W2072571852 @default.
- W1995447625 cites W2083474880 @default.
- W1995447625 cites W2084749326 @default.
- W1995447625 cites W2105486835 @default.
- W1995447625 cites W2119749753 @default.
- W1995447625 cites W2161160885 @default.
- W1995447625 cites W2212036697 @default.
- W1995447625 cites W2914215741 @default.
- W1995447625 hasPublicationYear "1986" @default.
- W1995447625 type Work @default.
- W1995447625 sameAs 1995447625 @default.
- W1995447625 citedByCount "16" @default.
- W1995447625 crossrefType "journal-article" @default.
- W1995447625 hasAuthorship W1995447625A5027373995 @default.
- W1995447625 hasAuthorship W1995447625A5060284292 @default.
- W1995447625 hasBestOaLocation W19954476251 @default.
- W1995447625 hasConcept C121375916 @default.
- W1995447625 hasConcept C151730666 @default.
- W1995447625 hasConcept C154945302 @default.
- W1995447625 hasConcept C184337299 @default.
- W1995447625 hasConcept C195324797 @default.
- W1995447625 hasConcept C199360897 @default.
- W1995447625 hasConcept C204321447 @default.
- W1995447625 hasConcept C2185349 @default.
- W1995447625 hasConcept C2777530160 @default.
- W1995447625 hasConcept C2778790839 @default.
- W1995447625 hasConcept C2779343474 @default.
- W1995447625 hasConcept C41008148 @default.
- W1995447625 hasConcept C86803240 @default.
- W1995447625 hasConceptScore W1995447625C121375916 @default.
- W1995447625 hasConceptScore W1995447625C151730666 @default.
- W1995447625 hasConceptScore W1995447625C154945302 @default.
- W1995447625 hasConceptScore W1995447625C184337299 @default.
- W1995447625 hasConceptScore W1995447625C195324797 @default.
- W1995447625 hasConceptScore W1995447625C199360897 @default.
- W1995447625 hasConceptScore W1995447625C204321447 @default.
- W1995447625 hasConceptScore W1995447625C2185349 @default.
- W1995447625 hasConceptScore W1995447625C2777530160 @default.
- W1995447625 hasConceptScore W1995447625C2778790839 @default.
- W1995447625 hasConceptScore W1995447625C2779343474 @default.
- W1995447625 hasConceptScore W1995447625C41008148 @default.
- W1995447625 hasConceptScore W1995447625C86803240 @default.
- W1995447625 hasIssue "1" @default.
- W1995447625 hasLocation W19954476251 @default.
- W1995447625 hasOpenAccess W1995447625 @default.
- W1995447625 hasPrimaryLocation W19954476251 @default.
- W1995447625 hasRelatedWork W1028146856 @default.
- W1995447625 hasRelatedWork W1541434994 @default.
- W1995447625 hasRelatedWork W1766332311 @default.
- W1995447625 hasRelatedWork W1953346185 @default.
- W1995447625 hasRelatedWork W1965324089 @default.
- W1995447625 hasRelatedWork W1966369881 @default.
- W1995447625 hasRelatedWork W1967187961 @default.
- W1995447625 hasRelatedWork W1986404405 @default.
- W1995447625 hasRelatedWork W2003531456 @default.
- W1995447625 hasRelatedWork W2010104109 @default.
- W1995447625 hasRelatedWork W2024239067 @default.
- W1995447625 hasRelatedWork W2036749069 @default.
- W1995447625 hasRelatedWork W2083474880 @default.
- W1995447625 hasRelatedWork W2084749326 @default.
- W1995447625 hasRelatedWork W2108911687 @default.
- W1995447625 hasRelatedWork W2147096558 @default.
- W1995447625 hasRelatedWork W2155322595 @default.
- W1995447625 hasRelatedWork W2612793397 @default.
- W1995447625 hasRelatedWork W2619291023 @default.
- W1995447625 hasRelatedWork W92239277 @default.
- W1995447625 hasVolume "30" @default.
- W1995447625 isParatext "false" @default.
- W1995447625 isRetracted "false" @default.
- W1995447625 magId "1995447625" @default.
- W1995447625 workType "article" @default.