English
Related papers

Related papers: Consequence Relations An Introduction to the Tarsk…

200 papers

The focus of this paper is an approach to the modeling of longitudinal social network or relational data. Such data arise from measurements on pairs of objects or actors made at regular temporal intervals, resulting in a social network for…

Methodology · Statistics 2011-08-18 Anton H. Westveld , Peter D. Hoff

Relation ties, defined as the correlation and mutual exclusion between different relations, are critical for distant supervised relation extraction. Existing approaches model this property by greedily learning local dependencies. However,…

Computation and Language · Computer Science 2020-04-22 Yuming Shang , Heyan Huang , Xin Sun , Xianling Mao

There is growing interest in understanding how people interact with large language models (LLMs) and whether such models elicit dependency or even addictive behaviour. Validated tools to assess the extent to which individuals may become…

Human-Computer Interaction · Computer Science 2025-09-08 Ala Yankouskaya , Areej B. Babiker , Syeda W. F. Rizvi , Sameha Alshakhsi , Magnus Liebherr , Raian Ali

Causal inference from observational data requires assumptions. These assumptions range from measuring confounders to identifying instruments. Traditionally, causal inference assumptions have focused on estimation of effects for a single…

Machine Learning · Statistics 2019-03-04 Rajesh Ranganath , Adler Perotte

The aim of this text is to present, in a technically accessible way, Tarski's definition of truth, the indefinability theorem, and to discuss two aspects of Tarski's work on truth, namely, whether or not the definition captures the notion…

Logic · Mathematics 2024-12-24 Guilherme Cardoso , Abilio Rodrigues

In many fields$\unicode{x2013}$including genomics, epidemiology, natural language processing, social and behavioral sciences, and economics$\unicode{x2013}$it is increasingly important to address causal questions in the context of factor…

Methodology · Statistics 2025-06-30 Jenna M. Landy , Dafne Zorzetto , Roberta De Vito , Giovanni Parmigiani

We aim to mine temporal causal sequences that explain observed events (consequents) in time-series traces. Causal explanations of key events in a time-series has applications in design debugging, anomaly detection, planning, root-cause…

Machine Learning · Computer Science 2021-01-26 Antonio Anastasio Bruto da Costa , Pallab Dasgupta

This paper offers a concept of working relations as a complement and extension to existing theories of maintenance, care and repair. Building on the cases of an umbrella, a tractor and a pond, it advances seven propositions that might guide…

Human-Computer Interaction · Computer Science 2026-05-26 Steven J. Jackson

Understanding causal relationships is one of the most important goals of modern science. So far, the causal inference literature has focused almost exclusively on outcomes coming from the Euclidean space $\mathbb{R}^p$. However, it is…

Methodology · Statistics 2022-10-25 Zhenhua Lin , Dehan Kong , Linbo Wang

We present a survey of recent results, scattered in a series of papers that appeared during past five years, whose common denominator is the use of cubic relations in various algebraic structures. Cubic (or ternary) relations can represent…

Mathematical Physics · Physics 2009-10-31 R. Kerner

In relational approach to general rough sets, ideas of directed relations are supplemented with additional conditions for multiple algebraic approaches in this research paper. The relations are also specialized to representations of general…

Logic in Computer Science · Computer Science 2020-04-28 Mani A , Sandor Radeleczki

We address the decision problem for a fragment of real analysis involving differentiable functions with continuous first derivatives. The proposed theory, besides the operators of Tarski's theory of reals, includes predicates for…

Logic in Computer Science · Computer Science 2025-06-16 Domenico Cantone , Gianluca Cincotti

Entanglement is fundamental inasmuch because it rephrases the quest for the classical-quantum demarcation line, and it also has potentially enormous practical applications in modern information technology. In this work, employing the…

Quantum Physics · Physics 2024-06-26 Xiaofen Huang , Tinggui Zhang , Naihuan Jing

Concept-based explanations have emerged as a popular way of extracting human-interpretable representations from deep discriminative models. At the same time, the disentanglement learning literature has focused on extracting similar…

Machine Learning · Computer Science 2021-04-15 Dmitry Kazhdan , Botty Dimanov , Helena Andres Terre , Mateja Jamnik , Pietro Liò , Adrian Weller

The relationship between statistical dependency and causality lies at the heart of all statistical approaches to causal inference. Recent results in the ChaLearn cause-effect pair challenge have shown that causal directionality can be…

Machine Learning · Computer Science 2014-12-22 Gianluca Bontempi , Maxime Flauder

Previous derivations of the sum and product rules of probability theory relied on the algebraic properties of Boolean logic. Here they are derived within a more general framework based on lattice theory. The result is a new foundation of…

General Mathematics · Mathematics 2015-05-14 Kevin H. Knuth

This monograph offers a toolbox of mathematical techniques, which have been effective and widely applicable in information-theoretic analysis. The first tool is a generalization of the method of types to Gaussian settings, and then to…

Information Theory · Computer Science 2024-06-04 Neri Merhav , Nir Weinberger

Coordinate relation refers to the relation between instances of a concept and the relation between the directly hyponyms of a concept. In this paper, we focus on the task of extracting terms which are coordinate with a user given seed term…

Computation and Language · Computer Science 2015-07-14 Xiaojiang Huang , Xiaojun Wan , Jianguo Xiao

We present the basic concepts of tensor products of vector spaces, emphasizing linear algebraic and combinatorial techniques as needed for applied areas of research. The topics include (1) Introduction; (2) Basic multilinear algebra; (3)…

Commutative Algebra · Mathematics 2015-10-09 S. Gill Williamson

In this paper I will show the problems that are encountered when dealing with uniqueness of connectives in a bilateralist setting within the larger framework of proof-theoretic semantics and suggest a solution. Therefore, the logic 2Int is…

Logic in Computer Science · Computer Science 2022-10-04 Sara Ayhan