Results 21 to 30 of about 91,249 (288)
Switch graphs for parsing type logical grammars [PDF]
Proceedings of the Ninth International Workshop on Parsing Technology - Parsing '05, 2005 Parsing in type logical grammars amounts to theorem proving in a substructural logic. This paper takes the proof net presentation of Lambek's associative calculus as a case study. It introduces switch graphs for online maintenance of the Danos-Regnier acyclicity condition on proof nets.
Bob Carpenter, Glyn Morrill
openaire +2 more sources
A type-logical treebank for French
Journal of Language Modelling, 2015 The goal of the current paper is to describe the TLGbank, a treebank of type-logical proof semi-automatically extracted from the French Treebank. Though the framework chosen for the treebank are multimodal type-logical grammars, we have ensured that the ...
Richard Moot
doaj +1 more source
GF + MMT = GLF – From Language to Semantics through LF [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 These days, vast amounts of knowledge are available online, most of it in written form. Search engines help us access this knowledge, but aggregating, relating and reasoning with it is still a predominantly human effort.
Michael Kohlhase, Jan Frederik Schaefer
doaj +1 more source
On the polysemy of Spanish spatial Ps
Borealis: An International Journal of Hispanic Linguistics, 2016 The goal of this paper is to investigate the polysemy of Spanish spatial prepositions (a, en, hacia, among others), and offer a syntactic and semantic treatment of this phenomenon.
Francesco Ursini, Adriano Giannella
doaj +1 more source
Internal Wiring of Cartesian Verbs and Prepositions [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 Categorical compositional distributional semantics (CCDS) allows one to compute the meaning of phrases and sentences from the meaning of their constituent words.
Bob Coecke, Martha Lewis, Dan Marsden
doaj +1 more source
The lexical representation of English verbs of action. Complex predicates and structures
Revista de Lingüística y Lenguas Aplicadas, 2019 This article aims at proposing a lexical representation for a set of English verbs of action. The analysis is carried out on the grounds of Role and Reference Grammar (RRG) and includes aspects like Aktionsart type, macrorole and syntactic function ...
Ana Elvira Ojanguren López
doaj +1 more source
Quantification in frame semantics with binders and nominals of hybrid logic
Journal of Language Modelling, 2017 This paper aims to integrate logical operators into frame-based semantics. Frames are semantic graphs that allow lexical meaning to be captured in a fine-grained way but that do not come with a natural way to integrate logical operators such as ...
Laura Kallmeyer +2 more
doaj +1 more source
Examining the influence of native and non-native English-speaking teachers on Korean EFL writing
Asian-Pacific Journal of Second and Foreign Language Education, 2020 Both Native English-Speaking Teachers (NESTs) and Non-Native English-Speaking Teachers (NNESTs) may have advantages as writing instructors, yet little is known about how they actually influence writing in EFL contexts like South Korea.
Andrew Schenck
doaj +1 more source
Parsing logical grammar: CatLog3 [PDF]
, 2017 CatLog3 is a Prolog parser/theorem-prover for (type) logical (categorial) grammar. In such logical grammar, grammar is reduced to logic: a string of words is grammatical if and only if an associated logical statement is a theorem.
Morrill, Glyn
core +1 more source
Learnability of type-logical grammars
Electronic Notes in Theoretical Computer Science, 2004 AbstractA procedure for learning a lexical assignment together with a system of syntactic and semantic categories given a fixed type-logical grammar is briefly described. The logic underlying the grammar can be any cut-free decidable modally enriched extension of the Lambek calculus, but the correspondence between syntactic and semantic categories must
openaire +1 more source