English
Related papers

Related papers: Tractable Circuits in Database Theory

200 papers

The decision tree recursively partitions the input space into regions and derives axis-aligned decision boundaries from data. Despite its simplicity and interpretability, decision trees lack parameterized representation, which makes it…

Machine Learning · Computer Science 2024-11-19 Jinxiong Zhang

First-order model counting (FOMC) is a computational problem that asks to count the models of a sentence in finite-domain first-order logic. In this paper, we argue that the capabilities of FOMC algorithms to date are limited by their…

Logic in Computer Science · Computer Science 2023-06-08 Paulius Dilkas , Vaishak Belle

We present a program that manages a database of temporally scoped beliefs. The basic functionality of the system includes maintaining a network of constraints among time points, supporting a variety of fetches, mediating the application of…

Artificial Intelligence · Computer Science 2013-04-11 Steve Hanks

A fundamental question in interpretability research is to what extent neural networks, particularly language models, implement reusable functions through subnetworks that can be composed to perform more complex tasks. Recent advances in…

Machine Learning · Computer Science 2025-06-24 Philipp Mondorf , Sondre Wold , Barbara Plank

In this work we establish and investigate the connections between causality for query answers in databases, database repairs wrt. denial constraints, and consistency-based diagnosis. The first two are relatively new problems in databases,…

Databases · Computer Science 2014-07-01 Babak Salimi , Leopoldo Bertossi

The plethora of algorithms in the research field of process mining builds on directly-follows relations. Even though various improvements have been made in the last decade, there are serious weaknesses of these relationships. Once events…

Databases · Computer Science 2023-07-24 Philipp Waibel , Lukas Pfahlsberger , Kate Revoredo , Jan Mendling

This paper explores the benefits of computing arborescent trajectories (trajectory-trees) instead of commonly used sequential trajectories for partially observable robotic planning problems. In such environments, a robot infers knowledge…

Robotics · Computer Science 2026-05-05 Camille Phiquepal , Marc Toussaint

We present a new approach for predictive modeling and its uncertainty quantification for mechanical systems, where coarse-grained models such as constitutive relations are derived directly from observation data. We explore the use of a…

Numerical Analysis · Mathematics 2020-06-24 Daniel Z. Huang , Kailai Xu , Charbel Farhat , Eric Darve

Traditional neural networks have an impressive classification performance, but what they learn cannot be inspected, verified or extracted. Neural Logic Networks on the other hand have an interpretable structure that enables them to learn a…

Machine Learning · Computer Science 2026-01-26 Vincent Perreault , Katsumi Inoue , Richard Labib , Alain Hertz

This work reframes the Text-to-SQL task as a pathway for teaching large language models (LLMs) to reason over and manipulate tabular data--moving beyond the traditional focus on query generation. We propose a two-stage framework that…

Computation and Language · Computer Science 2025-05-05 Josefa Lia Stoisser , Marc Boubnovski Martell , Julien Fauqueur

A relational database is said to be uncertain if primary key constraints can possibly be violated. A repair (or possible world) of an uncertain database is obtained by selecting a maximal number of tuples without ever selecting two distinct…

Databases · Computer Science 2015-02-02 Paraschos Koutris , Jef Wijsen

When using Bayesian networks for modelling the behavior of man-made machinery, it usually happens that a large part of the model is deterministic. For such Bayesian networks deterministic part of the model can be represented as a Boolean…

Artificial Intelligence · Computer Science 2013-01-18 Thomas D. Nielsen , Pierre-Henri Wuillemin , Finn Verner Jensen , Uffe Kjærulff

Deep Learning models have shown success in a large variety of tasks by extracting correlation patterns from high-dimensional data but still struggle when generalizing out of their initial distribution. As causal engines aim to learn…

Machine Learning · Computer Science 2024-01-02 Gaël Gendron , Michael Witbrock , Gillian Dobbie

Crowd-sourcing is a powerful solution for finding correct answers to expensive and unanswered queries in databases, including those with uncertain and incomplete data. Attempts to use crowd-sourcing to exploit human abilities to process…

Databases · Computer Science 2022-04-19 Marwa B. Swidan , Ali A. Alwan , Yonis Gulzar , Abedallah Zaid Abualkishik

We study the tractability of conjunctive query answering for queries with unbounded arity. It is well known that tractability of the problem can be characterised in terms of the queries treewidth under the assumption of bounded arity. We…

Databases · Computer Science 2022-06-14 Matthias Lanzinger

Existing pipelined task-oriented dialogue systems usually have difficulties adapting to unseen domains, whereas end-to-end systems are plagued by large-scale knowledge bases in practice. In this paper, we introduce a novel query-driven…

Computation and Language · Computer Science 2022-10-17 Xin Tian , Yingzhan Lin , Mengfei Song , Siqi Bao , Fan Wang , Huang He , Shuqi Sun , Hua Wu

A simple circuit implementation of the oracle for Grover's quantum search of a real unstructured classical database is proposed. The oracle contains a kind of quantumly accessible classical memory, which stores the database.

Quantum Physics · Physics 2016-02-18 Bogusław Broda

Students in introductory data management courses are often taught how to write queries in SQL. This is a useful and practical skill, but it gives limited insight into how queries are processed by relational database engines. In contrast,…

Databases · Computer Science 2024-03-18 Michael Mior

A booming amount of information is continuously added to the Internet as structured and unstructured data, feeding knowledge bases such as DBpedia and Wikidata with billions of statements describing millions of entities. The aim of Question…

Computation and Language · Computer Science 2020-10-22 Anand Panchbhai , Tommaso Soru , Edgard Marx

The past decade has seen a significant interest in learning tractable probabilistic representations. Arithmetic circuits (ACs) were among the first proposed tractable representations, with some subsequent representations being instances of…

Artificial Intelligence · Computer Science 2017-08-25 Arthur Choi , Adnan Darwiche