English
Related papers

Related papers: Model Counting of Query Expressions: Limitations o…

200 papers

The numerical solution of differential equations can be formulated as an inference problem to which formal statistical approaches can be applied. However, nonlinear partial differential equations (PDEs) pose substantial challenges from an…

Numerical Analysis · Mathematics 2021-08-26 Junyang Wang , Jon Cockayne , Oksana Chkrebtii , T. J. Sullivan , Chris. J. Oates

Probabilistic databases (PDBs) are probability spaces over database instances. They provide a framework for handling uncertainty in databases, as occurs due to data integration, noisy data, data from unreliable sources or randomized…

Databases · Computer Science 2022-04-20 Nofar Carmeli , Martin Grohe , Peter Lindner , Christoph Standke

Argumentation accommodates various rhetorical devices, such as questions, reported speech, and imperatives. These rhetorical tools usually assert argumentatively relevant propositions rather implicitly, so understanding their true meaning…

Computation and Language · Computer Science 2020-10-07 Yohan Jo , Jacky Visser , Chris Reed , Eduard Hovy

Provenance for database queries or scientific workflows is often motivated as providing explanation, increasing understanding of the underlying data sources and processes used to compute the query, and reproducibility, the capability to…

Programming Languages · Computer Science 2014-08-13 James Cheney , Amal Ahmed , Umut A. Acar

Joint entity and relation extraction has been a core task in the field of information extraction. Recent approaches usually consider the extraction of relational triples from a stereoscopic perspective, either learning a relation-specific…

Computation and Language · Computer Science 2022-11-04 Zeqi Tan , Yongliang Shen , Xuming Hu , Wenqi Zhang , Xiaoxia Cheng , Weiming Lu , Yueting Zhuang

Within psychology, neuroscience and artificial intelligence, there has been increasing interest in the proposal that the brain builds probabilistic models of sensory and linguistic input: that is, to infer a probabilistic model from a…

Machine Learning · Computer Science 2017-08-08 Paul M. B. Vitanyi , Nick Chater

In this paper, we describe a dataset and baseline result for a question answering that utilizes web tables. It contains commonly asked questions on the web and their corresponding answers found in tables on websites. Our dataset is novel in…

Computation and Language · Computer Science 2019-04-17 Bhavya Karki , Fan Hu , Nithin Haridas , Suhail Barot , Zihua Liu , Lucile Callebert , Matthias Grabmair , Anthony Tomasic

The problem of recovering (count and sum) range queries over multidimensional data only on the basis of aggregate information on such data is addressed. This problem can be formalized as follows. Suppose that a transformation T producing a…

Databases · Computer Science 2007-05-23 Francesco Buccafurri , Filippo Furfaro , Domenico Sacca'

In this paper we investigate the complexity of abduction, a fundamental and important form of non-monotonic reasoning. Given a knowledge base explaining the world's behavior it aims at finding an explanation for some observed manifestation.…

Computational Complexity · Computer Science 2010-06-28 Nadia Creignou , Johannes Schmidt , Michael Thomas

Relational Continuous Models (RCMs) represent joint probability densities over attributes of objects, when the attributes have continuous domains. With relational representations, they can model joint probability distributions over large…

Artificial Intelligence · Computer Science 2012-03-19 Jaesik Choi , Eyal Amir , David J. Hill

In machine learning, metric elicitation refers to the selection of performance metrics that best reflect an individual's implicit preferences for a given application. Currently, metric elicitation methods only consider metrics that depend…

Machine Learning · Computer Science 2025-01-03 Chethan Bhateja , Joseph O'Brien , Afnaan Hashmi , Eva Prakash

Selective inference aims at providing valid inference after a data-driven selection of models or hypotheses. It is essential to avoid overconfident results and replicability issues. While significant advances have been made in this area for…

Methodology · Statistics 2025-03-14 Matteo D'Alessandro , Magne Thoresen

A correspondence between database tuples as causes for query answers in databases and tuple-based repairs of inconsistent databases with respect to denial constraints has already been established. In this work, answer-set programs that…

Databases · Computer Science 2020-09-30 Leopoldo Bertossi

Query evaluation over probabilistic databases is known to be intractable in many cases, even in data complexity, i.e., when the query is fixed. Although some restrictions of the queries [19] and instances [4] have been proposed to lower the…

Databases · Computer Science 2019-08-28 Antoine Amarilli , Mikaël Monet , Pierre Senellart

The idea of counting the number of satisfying truth assignments (models) of a formula by adding random parity constraints can be traced back to the seminal work of Valiant and Vazirani, showing that NP is as easy as detecting unique…

Logic in Computer Science · Computer Science 2017-08-01 Dimitris Achlioptas , Panos Theodoropoulos

As the information available to lay users through autonomous data sources continues to increase, mediators become important to ensure that the wealth of information available is tapped effectively. A key challenge that these information…

Databases · Computer Science 2012-08-29 Rohit Raghunathan , Sushovan De , Subbarao Kambhampati

Grounded claim factuality checking is important for large language model (LLM) applications such as retrieval-augmented generation, as it helps users assess the correctness of generated outputs. Existing metrics using entailment classifiers…

Computation and Language · Computer Science 2026-05-29 Yuxuan Ye , Raul Santos-Rodriguez , Edwin Simpson

Queries with aggregation and arithmetic operations, as well as incomplete data, are common in real-world database, but we lack a good understanding of how they should interact. On the one hand, systems based on SQL provide ad-hoc rules for…

Databases · Computer Science 2022-11-02 Marco Console , Leonid Libkin , Liat Peterfreund

Large language models (LLMs) have achieved significant performance gains via scaling up model sizes and/or data. However, recent evidence suggests diminishing returns from such approaches, motivating scaling the computation spent at…

Machine Learning · Computer Science 2025-08-15 Isha Puri , Shivchander Sudalairaj , Guangxuan Xu , Kai Xu , Akash Srivastava

Recently, topic modeling has been widely used to discover the abstract topics in text corpora. Most of the existing topic models are based on the assumption of three-layer hierarchical Bayesian structure, i.e. each document is modeled as a…

Computation and Language · Computer Science 2017-04-10 Yi-Kun Tang , Xian-Ling Mao , Heyan Huang , Guihua Wen
‹ Prev 1 8 9 10 Next ›