-
Handsome Non-Commutative Proof-Nets: perfect matchings, series-parallel order...
This paper provides a definition of proof-nets for non-commutative linear logic (cyclic linear logic and Lambek calculus) where there are no links, that are small... -
Automatic, adaptive, and applicative sentiment analysis
Sentiment analysis is a challenging task today for computational linguistics. Because of the rise of the social Web, both the research and the industry are interested... -
Review: Violeta Seretan. Syntax-Based Collocation Extraction. (Text, Speech a...
International audience -
A note on the generation of allophonic rules
Algorithms modeling the acquisition of allophonic rules by infants need a 'standard' allophonic grammar against which to evaluate their results. Because no... -
From lexical semantics to semantic networks: a computational and typological ...
This dataset has no description
-
Resource Logics and Minimalist Grammars
This report is an introduction to the ESSLLI'99 workshop with the same title. The workshop RLMG has been devoted to connecting the linguistic use of resource logics... -
On the use of advanced logic programming languages
Computational Linguistics and Logic Programming have strong connections, but the former uses concepts that are absent from the most familiar implementations of the... -
A Generative Montagovian Lexicon for Polysemous Deverbal Nouns
Accepted for publication in the proceedings of 4th congress on Universal Logic --- Logic and linguistics workshop. Rio de Janeiro April 4-7 2013. -
Semantic Annotation of the French Treebank with Modular Graph Rewriting
International audience -
Annotation sémantique du French Treebank à l'aide de la réécriture modulaire ...
International audience -
Grew : un outil de réécriture de graphes pour le TAL
International audience -
Alignment Memories: A Useful Tool to Handle Phrase Alignment Bottleneck
International audience -
Developing System MathNat for Automatic Formalization of Mathematical texts
There is a wide gap between the language of mathematics and itsformalized versions. The term "language of mathematics" or"mathematical language" refers to prose that... -
The Logic of Categorial Grammars: Lecture Notes
These lecture notes present categorial grammars as deductive systems, and include detailed proofs of their main properties. The first chapter deals with Ajdukiewicz... -
Stripping vs VP-Ellipsis in Catalan
In the tradition of Generative Grammar, several authors have explained the impossibility of vp-Ellipsis for Romance Languages following the hypothesis that vp-Ellipsis... -
Some proof theoretical remarks on quantification in ordinary language
This paper surveys the common approach to quantification and generalised quantification in formal linguistics and philosophy of language. We point out how this general... -
Expressing discourse dynamics through continuations
This thesis develops a theoretical formalism of formal semantics of natural language in the spirit of Montague semantics. The developed framework satisfies the... -
Type-theoretical natural language semantics: on the system F for meaning asse...
International audience -
Dialogar é preciso
The 1st Conference on Linguistics for Automatic Natural Language Processing (LiPrAL) was held in the Universidade Federal do Espírito santo (UFES). Knowledge about... -
A generic and open framework for multiword expressions treatment : from acqui...
This thesis presents an open and flexible methodological framework for the automatic acquisition of multiword expressions (MWEs) from monolingual textual corpora. This...
