English
Related papers

Related papers: TensorLog: A Differentiable Deductive Database

200 papers

Data originating from the Web, sensor readings and social media result in increasingly huge datasets. The so called Big Data comes with new scientific and technological challenges while creating new opportunities, hence the increasing…

Artificial Intelligence · Computer Science 2020-02-19 Ilias Tachmazidis , Grigoris Antoniou , Wolfgang Faber

In real-world applications, knowledge bases consisting of all the information at hand for a specific domain, along with the current state of affairs, are bound to contain contradictory data coming from different sources, as well as data…

Logic in Computer Science · Computer Science 2014-01-08 Paulo Shakarian , Gerardo I. Simari , Marcelo A. Falappa

In many probabilistic first-order representation systems, inference is performed by "grounding"---i.e., mapping it to a propositional representation, and then performing propositional inference. With a large database of facts, groundings…

Artificial Intelligence · Computer Science 2013-05-13 William Yang Wang , Kathryn Mazaitis , William W. Cohen

Knowledge graph (KG) reasoning is becoming increasingly popular in both academia and industry. Conventional KG reasoning based on symbolic logic is deterministic, with reasoning results being explainable, while modern embedding-based…

Artificial Intelligence · Computer Science 2022-02-16 Wen Zhang , Jiaoyan Chen , Juan Li , Zezhong Xu , Jeff Z. Pan , Huajun Chen

We present a method for dynamically generating Bayesian networks from knowledge bases consisting of first-order probability logic sentences. We present a subset of probability logic sufficient for representing the class of Bayesian networks…

Artificial Intelligence · Computer Science 2013-02-28 Peter Haddawy

The paradigm of Tabled Logic Programming (TLP) is now supported by a number of Prolog systems, including XSB, YAP Prolog, B-Prolog, Mercury, ALS, and Ciao. The reasons for this are partly theoretical: tabling ensures termination and optimal…

Programming Languages · Computer Science 2010-12-24 Terrance Swift , David S. Warren

Neural networks have been able to achieve groundbreaking accuracy at tasks conventionally considered only doable by humans. Using stochastic gradient descent, optimization in many dimensions is made possible, albeit at a relatively high…

Machine Learning · Computer Science 2017-07-17 Hirsh R. Agarwal , Andrew Huang

Multi-hop logical reasoning over knowledge graph (KG) plays a fundamental role in many artificial intelligence tasks. Recent complex query embedding (CQE) methods for reasoning focus on static KGs, while temporal knowledge graphs (TKGs)…

Machine Learning · Computer Science 2023-10-17 Xueyuan Lin , Chengjin Xu , Haihong E , Fenglong Su , Gengxian Zhou , Tianyi Hu , Ningyuan Li , Mingzhi Sun , Haoran Luo

While there are a plethora of methods for link prediction in knowledge graphs, state-of-the-art approaches are often black box, obfuscating model reasoning and thereby limiting the ability of users to make informed decisions about model…

Machine Learning · Computer Science 2024-06-05 Niraj Kumar-Singh , Gustavo Polleti , Saee Paliwal , Rachel Hodos-Nkhereanye

In the rapidly evolving AI era with large language models (LLMs) at the core, making LLMs more trustworthy and efficient, especially in output generation (inference), has gained significant attention. This is to reduce plausible but faulty…

Databases · Computer Science 2024-12-25 Kyoungmin Kim , Anastasia Ailamaki

Tensor Network (TN) decompositions have emerged as an indispensable tool in Big Data analytics owing to their ability to provide compact low-rank representations, thus alleviating the ``Curse of Dimensionality'' inherent in handling…

Machine Learning · Computer Science 2025-07-15 Wuyang Zhou , Giorgos Iacovides , Kriton Konstantinidis , Ilya Kisil , Danilo Mandic

The large size and fast growth of data repositories, such as data lakes, has spurred the need for data discovery to help analysts find related data. The problem has become challenging as (i) a user typically does not know what datasets…

Databases · Computer Science 2023-01-16 Tianji Cong , Fatemeh Nargesian , H. V. Jagadish

Differentiable logics are a family of quantitative logics originated in the machine learning literature. Because of their origin, differentiable logics often come equipped with analytic properties that guarantee that they are…

Logic in Computer Science · Computer Science 2026-03-02 Reynald Affeldt , Alessandro Bruni , Ekaterina Komendantskaya , Natalia Ślusarz , Kathrin Stark

Probabilistic independence is a useful concept for describing the result of random sampling---a basic operation in all probabilistic languages---and for reasoning about groups of random variables. Nevertheless, existing verification methods…

Programming Languages · Computer Science 2020-07-21 Gilles Barthe , Justin Hsu , Kevin Liao

Clustering is a fundamental learning task widely used as a first step in data analysis. For example, biologists use cluster assignments to analyze genome sequences, medical records, or images. Since downstream analysis is typically…

Machine Learning · Computer Science 2024-06-11 Jonathan Svirsky , Ofir Lindenbaum

Language models are trained on large volumes of text, and as a result their parameters might contain a significant body of factual knowledge. Any downstream task performed by these models implicitly builds on these facts, and thus it is…

Computation and Language · Computer Science 2023-01-31 Roi Cohen , Mor Geva , Jonathan Berant , Amir Globerson

Language models generate reasoning sequentially, preventing them from decoupling irrelevant exploration paths during search. We introduce Tree-Structured Language Modeling (TSLM), which uses special tokens to encode branching structure,…

Computation and Language · Computer Science 2026-02-02 Doyoung Kim , Jaehyeok Doo , Minjoon Seo

There are significant benefits to serve deep learning models from relational databases. First, features extracted from databases do not need to be transferred to any decoupled deep learning systems for inferences, and thus the system…

Databases · Computer Science 2022-10-24 Lixi Zhou , Jiaqing Chen , Amitabh Das , Hong Min , Lei Yu , Ming Zhao , Jia Zou

We present a mechanism for constructing graphical models, specifically Bayesian networks, from a knowledge base of general probabilistic information. The unique feature of our approach is that it uses a powerful first-order probabilistic…

Artificial Intelligence · Computer Science 2013-03-08 Fahiem Bacchus

Parsing natural language questions into executable logical forms is a useful and interpretable way to perform question answering on structured data such as knowledge bases (KB) or databases (DB). However, existing approaches on semantic…

Computation and Language · Computer Science 2022-11-11 Ye Liu , Semih Yavuz , Rui Meng , Dragomir Radev , Caiming Xiong , Yingbo Zhou