English
Related papers

Related papers: Centering theory and the Italian pronominal system

200 papers

We consider the untyped lambda calculus with constructors and recursively defined constants. We construct a domain-theoretic model such that any term not denoting bottom is strongly normalising provided all its `stratified approximations'…

Computer Science and Game Theory · Computer Science 2017-01-11 Ulrich Berger

This paper examines demonstrative pronouns used as deictics to refer to the interpretation of one or more clauses. Although this usage is frowned upon in style manuals (for example Strunk and White (1959) state that ``This. The pronoun…

cmp-lg · Computer Science 2008-02-03 Bonnie L. Webber

Focusing, introduced by Jean-Marc Andreoli in the context of classical linear logic, defines a normal form for sequent calculus derivations that cuts down on the number of possible derivations by eagerly applying invertible rules and…

Logic in Computer Science · Computer Science 2024-10-29 Robert J. Simmons

System I is a proof language for a fragment of propositional logic where isomorphic propositions, such as $A\wedge B$ and $B\wedge A$, or $A\Rightarrow(B\wedge C)$ and $(A\Rightarrow B)\wedge(A\Rightarrow C)$ are made equal. System I enjoys…

Logic in Computer Science · Computer Science 2023-09-19 Alejandro Díaz-Caro , Gilles Dowek

A computational system implemented exclusively through the spiking of neurons was recently shown capable of syntax, that is, of carrying out the dependency parsing of simple English sentences. We address two of the most important questions…

Computation and Language · Computer Science 2022-06-28 Daniel Mitropolsky , Adiba Ejaz , Mirah Shi , Mihalis Yannakakis , Christos H. Papadimitriou

Word representation is fundamental in NLP tasks, because it is precisely from the coding of semantic closeness between words that it is possible to think of teaching a machine to understand text. Despite the spread of word embedding…

Most pronouns are referring expressions, computers need to resolve what do the pronouns refer to, and there are divergences on pronoun usage across languages. Thus, dealing with these divergences and translating pronouns is a challenge in…

Computation and Language · Computer Science 2024-12-20 Gongbo Tang , Christian Hardmeier

Centering theory (CT; Grosz et al., 1995) provides a linguistic analysis of the structure of discourse. According to the theory, local coherence of discourse arises from the manner and extent to which successive utterances make reference to…

Computation and Language · Computer Science 2022-10-27 Yuchen Eleanor Jiang , Ryan Cotterell , Mrinmaya Sachan

This note is a survey on the basic aspects of moduli theory along with some examples. In that respect, one of the purposes of this current document is to understand how the introduction of stacks circumvents the non-representability problem…

Algebraic Geometry · Mathematics 2022-02-15 Kadri İlker Berktav

A central limit theorem is established for a sum of random variables belonging to a sequence of random fields. The fields are assumed to have zero mean conditional on the past history and to satisfy certain conditional $\alpha$-mixing…

Probability · Mathematics 2024-09-17 Abdollah Jalilian , Arnaud Poinas , Ganggang Xu , Rasmus Waagepetersen

After a review of some topics concerning the phenomenological applications of perturbative string theory, I discuss to what extent all of it is affected by the recent developements in string dualities.

High Energy Physics - Phenomenology · Physics 2007-05-23 Luis E. Ibanez

Flip through any book or listen to any song lyrics, and you will come across pronouns that, in certain cases, can hinder meaning comprehension, especially for machines. As the role of having cognitive machines becomes pervasive in our…

Computation and Language · Computer Science 2023-08-30 Nicos Isaak

In this paper, we investigate the role of attention heads in Context-aware Machine Translation models for pronoun disambiguation in the English-to-German and English-to-French language directions. We analyze their influence by both…

Computation and Language · Computer Science 2024-12-17 Paweł Mąka , Yusuf Can Semerci , Jan Scholtes , Gerasimos Spanakis

Two-sample tests with censored outcomes are a classical topic in statistics with wide use even in cutting edge applications. There are at least two modes of inference used to justify two-sample tests. One is usual superpopulation inference…

Statistics Theory · Mathematics 2022-10-06 Xinran Li , Dylan S. Small

We define a model of predicate logic in which every term and predicate, open or closed, has an absolute denotation independently of a valuation of the variables. For each variable a, the domain of the model contains an element [[a]] which…

Logic in Computer Science · Computer Science 2026-04-20 Gilles Dowek , Murdoch J. Gabbay

This paper is a contribution to the study of extensions of arbitrary models of ZF (Zermelo-Fraenkel set theory), with no regard to countability or well-foundedness of the models involved. We present some new constructions of certain types…

Logic · Mathematics 2026-04-07 Ali Enayat

We propose misogyny detection as an Argumentative Reasoning task and we investigate the capacity of large language models (LLMs) to understand the implicit reasoning used to convey misogyny in both Italian and English. The central aim is to…

Computation and Language · Computer Science 2024-09-05 Arianna Muti , Federico Ruggeri , Khalid Al-Khatib , Alberto Barrón-Cedeño , Tommaso Caselli

Pronouns are often dropped in Chinese sentences, and this happens more frequently in conversational genres as their referents can be easily understood from context. Recovering dropped pronouns is essential to applications such as…

Computation and Language · Computer Science 2019-06-06 Jingxuan Yang , Jianzhuo Tong , Si Li , Sheng Gao , Jun Guo , Nianwen Xue

In this paper we study, analyse and comment rhetorical figures present in some of most interesting poetry of the first half of the twentieth century. These figures are at first traced back to some famous poet of the past and then compared…

Computation and Language · Computer Science 2018-04-03 Rodolfo Delmonte

In this lecture notes we try to familiarize the audience with the theory of Bernoulli polynomials; we study their properties, and we give, with proofs and references, some of the most relevant results related to them. Several applications…

Classical Analysis and ODEs · Mathematics 2016-02-10 Omran Kouba