English
Related papers

Related papers: Social Choice Methods for Database Aggregation

200 papers

Hybrid human/computer systems promise to greatly expand the usefulness of query processing by incorporating the crowd for data gathering and other tasks. Such systems raise many database system implementation questions. Perhaps most…

Databases · Computer Science 2012-02-13 Beth Trushkowsky , Tim Kraska , Michael J. Franklin , Purnamrita Sarkar

Conversational semantic parsing over tables requires knowledge acquiring and reasoning abilities, which have not been well explored by current state-of-the-art approaches. Motivated by this fact, we propose a knowledge-aware semantic parser…

Computation and Language · Computer Science 2018-09-13 Yibo Sun , Duyu Tang , Nan Duan , Jingjing Xu , Xiaocheng Feng , Bing Qin

With the growing interest on Network Analysis, Relational Data Mining is becoming an emphasized domain of Data Mining. This paper addresses the problem of extracting representative elements from a relational dataset. After defining the…

Artificial Intelligence · Computer Science 2012-07-05 Frédéric Blanchard , Michel Herbin

We study the reactive synthesis problem for distributed systems with an unbounded number of participants interacting with an uncontrollable environment. Executions of those systems are modeled by data words, and specifications are given as…

Logic in Computer Science · Computer Science 2024-04-24 Julien Grange , Mathieu Lehaut

Table Question-Answering involves both understanding the natural language query and grounding it in the context of the input table to extract the relevant information. In this context, many methods have highlighted the benefits of…

Databases · Computer Science 2024-02-22 Raphaël Mouravieff , Benjamin Piwowarski , Sylvain Lamprier

Superposition is an established decision procedure for a variety of first-order logic theories represented by sets of clauses. A satisfiable theory, saturated by superposition, implicitly defines a minimal term-generated model for the…

Artificial Intelligence · Computer Science 2009-11-30 Matthias Horbach , Christoph Weidenbach

One basic requirement of many studies is the necessity of classifying data. Clustering is a proposed method for summarizing networks. Clustering methods can be divided into two categories named model-based approaches and algorithmic…

Machine Learning · Computer Science 2013-02-19 Raheleh Namayandeh , Farzad Didehvar , Zahra Shojaei

Let $\Theta$ be a variety of algebras, $(H, \Psi, f)$ be a model, where $H$ is an algebra from $\Theta$, $\Psi$ is a set of relation symbols $\varphi$, $f$ is an interpretation of all $\varphi$ in $H$. Let $X^0$ be an infinite set of…

Logic in Computer Science · Computer Science 2015-06-22 Elena Aladova , Aleko Gvaramia , Boris Plotkin , Tatjana Plotkin

In this paper we present a general method for information extraction that exploits the features of data compression techniques. We first define and focus our attention on the so-called "dictionary" of a sequence. Dictionaries are…

Statistical Mechanics · Physics 2009-11-10 A. Baronchelli , E. Caglioti , V. Loreto , E. Pizzi

Document databases are increasingly popular in various applications, but their queries are challenging to write due to the flexible and complex data model underlying document databases. This paper presents a synthesis technique that aims to…

Databases · Computer Science 2024-12-10 Qikang Liu , Yang He , Yanwen Cai , Byeongguk Kwak , Yuepeng Wang

We show how the quality of decisions based on the aggregated opinions of the crowd can be conveniently studied using a sample of individual responses to a standard IQ questionnaire. We aggregated the responses to the IQ questionnaire using…

Multiagent Systems · Computer Science 2024-10-15 Michal Kosinski , Yoram Bachrach , Thore Graepel , Giergji Kasneci , Jurgen Van Gael

Aggregates are among the most frequently used linguistic extensions of answer set programming. The result of an aggregation may introduce new constants during the instantiation of the input program, a feature known as value invention. When…

Logic in Computer Science · Computer Science 2018-04-24 Mario Alviano , Carmine Dodaro , Marco Maratea

Knowledge base question answering (KBQA) aims to answer a question over a knowledge base (KB). Recently, a large number of studies focus on semantically or syntactically complicated questions. In this paper, we elaborately summarize the…

Computation and Language · Computer Science 2021-05-26 Yunshi Lan , Gaole He , Jinhao Jiang , Jing Jiang , Wayne Xin Zhao , Ji-Rong Wen

We address the novel problem of automatically generating quiz-style knowledge questions from a knowledge graph such as DBpedia. Questions of this kind have ample applications, for instance, to educate users about or to evaluate their…

Computation and Language · Computer Science 2019-04-17 Dominic Seyler , Mohamed Yahya , Klaus Berberich

Within the big data tsunami, relational databases and SQL are still there and remain mandatory in most of cases for accessing data. On the one hand, SQL is easy-to-use by non specialists and allows to identify pertinent initial data at the…

Databases · Computer Science 2018-02-09 Marie Le Guilly , Jean-Marc Petit , Vasile-Marian Scuturici

In the setting where we want to aggregate people's subjective evaluations, plurality vote may be meaningless when a large amount of low-effort people always report "good" regardless of the true quality. "Surprisingly popular" method,…

Computer Science and Game Theory · Computer Science 2021-10-05 Yuqing Kong

Representation learning of knowledge bases (KBs) aims to embed both entities and relations into a low-dimensional space. Most existing methods only consider direct relations in representation learning. We argue that multiple-step relation…

Computation and Language · Computer Science 2015-08-18 Yankai Lin , Zhiyuan Liu , Huanbo Luan , Maosong Sun , Siwei Rao , Song Liu

As the use of technology increases and data analysis becomes integral in many businesses, the ability to quickly access and interpret data has become more important than ever. Information retrieval technologies are being utilized by…

Computation and Language · Computer Science 2018-07-03 Aliaksei Vertsel , Mikhail Rumiantsau

We present a soundness theorem for a dependent type theory with context constants with respect to an indexed category of (finite, abstract) simplical complexes. The point of interest for computer science is that this category can be seen to…

Logic · Mathematics 2020-07-08 Henrik Forssell , Håkon Robbestad Gylterud , David I. Spivak

Nowadays, scientific databases have become the bread-and-butter of particle physicists. These databases must be maintained and checked repeatedly to insure the accuracy of their content. The COMPETE collaboration aims at motivating data…