English
Related papers

Related papers: Towards Syntactic Iberian Polarity Classification

200 papers

We describe a novel language-independent approach to the task of determining the polarity, positive or negative, of the author's opinion on a specific topic in natural language text. In particular, weights are assigned to attributes,…

Computation and Language · Computer Science 2019-12-02 Veselin Raychev , Preslav Nakov

We present an analysis of mutual intelligibility in related languages applied for languages in the Romance family. We introduce a novel computational metric for estimating intelligibility based on lexical similarity using surface and…

Computation and Language · Computer Science 2026-02-10 Liviu P Dinu , Ana Sabina Uban , Bogdan Iordache , Anca Dinu , Simona Georgescu

We investigate the use of different syntactic dependency representations in a neural relation classification task and compare the CoNLL, Stanford Basic and Universal Dependencies schemes. We further compare with a syntax-agnostic approach…

Computation and Language · Computer Science 2018-05-30 Farhad Nooralahzadeh , Lilja Øvrelid

The standard approach to logic in the literature in philosophy and mathematics, which has also been adopted in computer science, is to define a language (the syntax), an appropriate class of models together with an interpretation of…

Artificial Intelligence · Computer Science 2009-09-25 Joseph Y. Halpern

Programmable Logic Controllers (PLC) and its programming standard IEC 61131-3 are widely used in embedded systems for the industrial automation domain. We propose a framework for the formal treatment of PLC based on the IEC 61131-3…

Software Engineering · Computer Science 2013-01-15 Jan Olaf Blech , Sidi Ould Biha

In this paper, we present a Linguistic Informed Multi-Task BERT (LIMIT-BERT) for learning language representations across multiple linguistic tasks by Multi-Task Learning (MTL). LIMIT-BERT includes five key linguistic syntax and semantics…

Computation and Language · Computer Science 2020-10-07 Junru Zhou , Zhuosheng Zhang , Hai Zhao , Shuailiang Zhang

We give a classification of all principally polarized abelian surfaces that admit an $(l,l)$-isogeny to themselves, and show how to compute all the abelian surfaces that occur. We make the classification explicit in the simplest case $l=2$.…

Algebraic Geometry · Mathematics 2013-02-13 Reinier Broker , Kristin Lauter , Marco Streng

We study probabilistic team semantics which is a semantical framework allowing the study of logical and probabilistic dependencies simultaneously. We examine and classify the expressive power of logical formalisms arising by different…

Logic in Computer Science · Computer Science 2019-02-26 Miika Hannula , Åsa Hirvonen , Juha Kontinen , Vadim Kulikov , Jonni Virtema

Treating syntactic equality as a logical connective -- governed by left- and right-introduction rules within the sequent calculus -- offers an elegant and powerful approach to term identity. This treatment of equality allows for the…

Logic in Computer Science · Computer Science 2026-05-20 Kaustuv Chaudhuri , Arunava Gantait , Dale Miller

This paper presents the first unsupervised approach to lexical semantic change that makes use of contextualised word representations. We propose a novel method that exploits the BERT neural language model to obtain representations of word…

Computation and Language · Computer Science 2020-10-21 Mario Giulianelli , Marco Del Tredici , Raquel Fernández

Parliamentary transcripts provide a valuable resource to understand the reality and know about the most important facts that occur over time in our societies. Furthermore, the political debates captured in these transcripts facilitate…

Text classification with hierarchical labels is a prevalent and challenging task in natural language processing. Examples include assigning ICD codes to patient records, tagging patents into IPC classes, assigning EUROVOC descriptors to…

Computation and Language · Computer Science 2024-12-18 Nan Li , Bo Kang , Tijl De Bie

This paper presents relevant issues that have been considered in the design of a general purpose lemmatizer/tagger for Basque (EUSLEM). The lemmatizer/tagger is conceived as a basic tool necessary for other linguistic applications. It uses…

The performance of a Statistical Machine Translation System (SMT) system is proportionally directed to the quality and length of the parallel corpus it uses. However for some pair of languages there is a considerable lack of them. The long…

Computation and Language · Computer Science 2012-11-20 Jessica C. Ramírez , Yuji Matsumoto

We revisit Esteban and Ray's (1994) seminal model of polarization. Their main result (unnecessarily) relies on the assumption that individuals are infinitely divisible, which imposes strong restrictions on admissible polarization indices.…

General Economics · Economics 2025-11-25 Juan A. Crespo , Armajac Raventós-Pujol

Real-world knowledge is often organized as hierarchies such as product taxonomies, medical ontologies, and label trees, yet learning hierarchical representations is challenging due to asymmetric structure and noisy semantics. We introduce…

Machine Learning · Computer Science 2026-05-04 Sahil Mishra , Srinitish Srinivasan , Sourish Dasgupta , Tanmoy Chakraborty

The recent trend towards the application of deep structured techniques has revealed the limits of huge models in natural language processing. This has reawakened the interest in traditional machine learning algorithms, which have proved…

Computation and Language · Computer Science 2024-02-06 Manuel Vilares Ferro , Víctor M. Darriba Bilbao , Francisco J. Ribadas-Pena , Jorge Graña Gil

We investigate a family of rule-based logics. The focus is on very expressive languages. We provide a range of characterization results for the expressive powers of the logics and relate them with corresponding game systems.

Logic in Computer Science · Computer Science 2022-02-08 Antti Kuusisto

The paper defends the notion that semantic tagging should be viewed as more than disambiguation between senses. Instead, semantic tagging should be a first step in the interpretation process by assigning each lexical item a representation…

cmp-lg · Computer Science 2008-02-03 Paul Buitelaar

Model semantics for first-order predicate logic is characterized by a visual inference tool called semantic forcing trees for predicate logic. Formulas that are valid (or invalid) by semantic forcing trees match valid (or invalid) formulas…

Logic · Mathematics 2024-08-22 Manuel Sierra Aristizábal