Results 11 to 20 of about 3,081 (252)
Formalising Type-Logical Grammars in Agda [PDF]
CoRR, 2015 In 1st Workshop on Type Theory and Lexical Semantics at ESSLLI'15, Barcelona, Spain, August ...
Kokke, Wen
openaire +4 more sources
CoRR, 2014 In this article we show that hybrid type-logical grammars are a fragment of first-order linear logic. This embedding result has several important consequences: it not only provides a simple new proof theory for the calculus, thereby clarifying the proof-theoretic foundations of hybrid type-logical grammars, but, since the translation is simple and ...
Moot, Richard
core +7 more sources
Parsing Corpus-Induced Type-Logical Grammars
, 2003 Type-logical grammars which have been automatically extracted from linguistic corpora provide parsers for these grammars with a considerable challenge. The size of the lexicon and the combinatory possibilities of the lexical entries both call for rethinking of the traditional type-logical parsing strategies. We show how methods from statistical natural
Moot, Richard
core +4 more sources
On the syntax and semantics of Spanish spatial prepositions
Borealis: An International Journal of Hispanic Linguistics, 2013 The goal of this paper is to offer a novel account on the Syntax and Semantics of Spanish Spatial Prepositions. This account is novel in at least three aspects.
Francesco-Alessio Ursini
doaj +1 more source
Opérations de prédication et de détermination
Lidil, 2008 Starting with Categorial Grammars, the author presents applicative formalism, where the basic operation is the application of an operator to an operand, using Church’s functional types to explain the different operations in natural languages ...
Jean-Pierre Desclés
doaj +1 more source
RESULTATIVES AND DIATESIS (ON THE MATERIAL OF UKRAINIAN LANGUAGE)
Записки з українського мовознавства, 2018 The article is devoted to the study of the essence of diathesis oppositions when logical accents are shifted from the sphere of word morphology to the sphere of semantics and syntax of the verbal sentence, to isolating and describing the object, subject,
Ю. О. Голоцукова
doaj +1 more source
Persian Spatial Prepositions: A Novel Logical Syntactical Approach to the Spatial Prepositions [PDF]
Studii si Cercetari Filologice: Seria Limbi Straine Aplicate, 2018 The goal of this paper is to analyze the syntax of spatial preposition in Persian language. This account is pretty novel as it analyzes the Persian prepositional phrases in a unified way, which does not restrict itself to some simple spatial ...
Rajdeep Singh
doaj
Certain Verbs Are Syntactically Explicit Quantifiers
The Baltic International Yearbook of Cognition, Logic and Communication, 2010 Quantification over individuals, times, and worlds can in principle be made explicit in the syntax of the object language, or left to the semantics and spelled out in the meta-language.
Anna Szabolcsi
doaj +1 more source
Serial verb constructions and covert coordinations in Edo – an analysis in Type Logical Grammar
Journal of Language Modelling, 2021 Based on both syntactic and semantic criteria, Stewart (2001) and, following him, Baker and Stewart (1999), distinguish two types of serial verb constructions (SVC) and one type of covert coordination (CC) in Edo. In this article, we present an analysis of these constructions, using Type Logical Grammar (TLG) with an event-based semantic component.
Ralf Naumann, Thomas Gamerschlag
openaire +3 more sources
LLM‐Integrated Human–Robot Interaction System for Microrobots
Advanced Robotics Research, EarlyView.This paper proposes an LLM‐based control framework for guiding microrobots using human natural language. This framework can convert the natural human speech into safe and executable command sets for reliable navigation in complex environments. The experimental results show high accuracy and robustness in task performance, demonstrating the potential of
Bairong Zhu, Amar Salehi, Tingting Yu
wiley +1 more source