English
Related papers

Related papers: Partial representations of orderings

200 papers

For many years, the intuitions underlying partial-order planning were largely taken for granted. Only in the past few years has there been renewed interest in the fundamental principles underlying this paradigm. In this paper, we present a…

Artificial Intelligence · Computer Science 2009-09-25 S. Minton , J. Bresina , M. Drummond

We show that the class of representable substitution algebras is characterized by a set of universal first order sentences. In addition, it is shown that a necessary and sufficient condition for a substitution algebra to be representable is…

Logic · Mathematics 2015-03-05 Norman Feldman

A `whole-part' theory is developed for a set of finite quantum systems $\Sigma (n)$ with variables in ${\mathbb Z}(n)$. The partial order `subsystem' is defined, by embedding various attributes of the system $\Sigma (m)$ (quantum states,…

Quantum Physics · Physics 2015-06-04 A. Vourdas

Predicting the structure of a discourse is challenging because relations between discourse segments are often implicit and thus hard to distinguish computationally. I extend previous work to classify implicit discourse relations by…

Computation and Language · Computer Science 2018-08-27 Michael Roth

We survey the different properties of an intuitive notion of redundancy, as a function of the precise semantics given to the notion of partial implication. The final version of this survey will appear in the Proceedings of the Int. Conf.…

Logic in Computer Science · Computer Science 2015-04-15 José L. Balcázar

In this paper we extend the principle of proportional representation to rankings. We consider the setting where alternatives need to be ranked based on approval preferences. In this setting, proportional representation requires that…

Computer Science and Game Theory · Computer Science 2016-12-06 Piotr Skowron , Martin Lackner , Markus Brill , Dominik Peters , Edith Elkind

As the use and diversity of diagrams across many disciplines grows, there is an increasing interest in the diagrams research community concerning how such diversity might be documented and explained. In this article, we argue that one way…

Computation and Language · Computer Science 2022-06-14 Tuomo Hiippala , John A. Bateman

In decision-making, maxitive functions are used for worst-case and best-case evaluations. Maxitivity gives rise to a rich structure that is well-studied in the context of the pointwise order. In this article, we investigate maxitivity with…

Statistics Theory · Mathematics 2025-03-05 M. Kupper , J. M. Zapata

The recently introduced model of representations has been defined and motivated somewhat ex-nihilo. In this document, I will show that representations are related to a more ''classical'' model through a 2-adjunction. The target model is…

Logic in Computer Science · Computer Science 2026-04-21 Paul Brunet

This survey aims to highlight some of the consequences that representable (and continuous) functionals have in the framework of Banach quasi *-algebras. In particular, we look at the link between the notions of *-semisimplicity and full…

Functional Analysis · Mathematics 2020-02-21 Maria Stella Adamo

In this paper we give an overview of partial orders on the space of probability distributions that carry a notion of information content and serve as a generalisation of the Bayesian order given in (Coecke and Martin, 2011). We investigate…

Computation and Language · Computer Science 2016-08-05 John van de Wetering

We introduce completely semi-$\varphi$-maps on Hilbert $C^*$-modules as a generalization of $\varphi$-maps. This class of maps provides examples of CP-extendable maps which are not CP-H-extendable, in Skeide-Sumesh's sense. Using the…

Operator Algebras · Mathematics 2016-08-02 Mohammad B. Asadi , Reza Behmani , Ali R. Medghalchi , Hamed Nikpey

The results presented in this paper are refinements of some results presented in a previous paper. Three such refined results are presented. The first one relaxes one of the basic hypotheses assumed in the previous paper, and thus extends…

Complex Variables · Mathematics 2015-05-06 Jorge L. deLyra

With the growing awareness to fairness in machine learning and the realization of the central role that data representation has in data processing tasks, there is an obvious interest in notions of fair data representations. The goal of such…

Machine Learning · Computer Science 2021-07-09 Tosca Lechner , Shai Ben-David , Sushant Agarwal , Nivasini Ananthakrishnan

This work analyses main features that should be present in knowledge representation. It suggests a model for representation and a way to implement this model in software. Representation takes care of both low-level sensor information and…

Artificial Intelligence · Computer Science 2007-05-23 Mikalai Birukou

Let C be a finite dimensional algebra of global dimension at most two. A partial relation extension is any trivial extension of C by a direct summand of its relation C-C-bimodule. When C is a tilted algebra, this construction provides an…

Representation Theory · Mathematics 2019-11-19 Ibrahim Assem , Juan Carlos Bustamante , Julie Dionne , Patrick Le Meur , David Smith

In this work, we propose a new method to integrate two recent lines of work: unsupervised induction of shallow semantics (e.g., semantic roles) and factorization of relations in text and knowledge bases. Our model consists of two…

Computation and Language · Computer Science 2015-04-17 Ivan Titov , Ehsan Khoddam

This paper extends previous work with network fragments and situation-specific network construction. We formally define the asymmetry network, an alternative representation for a conditional probability table. We also present an…

Artificial Intelligence · Computer Science 2013-01-30 Suzanne M. Mahoney , Kathryn Blackmond Laskey

The inverse problem for representation functions takes as input a triple (X,f,L), where X is a countable semigroup, f : X --> N_0 \cup {\infty} a function, L : a_1 x_1 + ... + a_h x_h an X-linear form and asks for a subset A \subseteq X…

Number Theory · Mathematics 2007-12-31 Peter Hegarty

With the help of a useful mathematical tool, the polar decomposition of closed operators, and a simple observation, i.e. the unique relation between tensor-product states and compact operators, we manage to give a compact and coherent…

Quantum Physics · Physics 2010-09-10 Manfred Requardt