English
Related papers

Related papers: Datalog Reasoning over Compressed RDF Knowledge Ba…

200 papers

Knowledge graph (KG) embeddings have been a mainstream approach for reasoning over incomplete KGs. However, limited by their inherently shallow and static architectures, they can hardly deal with the rising focus on complex logical queries,…

Machine Learning · Computer Science 2022-08-17 Xiao Liu , Shiyu Zhao , Kai Su , Yukuo Cen , Jiezhong Qiu , Mengdi Zhang , Wei Wu , Yuxiao Dong , Jie Tang

In recent years, the increased need to house and process large volumes of data has prompted the need for distributed storage and querying systems. The growth of machine-readable RDF triples has prompted both industry and academia to develop…

Databases · Computer Science 2016-01-11 Albert Haque

The ability of neural radiance fields or NeRFs to conduct accurate 3D modelling has motivated application of the technique to scene representation. Previous approaches have mainly followed a centralised learning paradigm, which assumes that…

Computer Vision and Pattern Recognition · Computer Science 2023-05-03 Lachlan Holden , Feras Dayoub , David Harvey , Tat-Jun Chin

We present a simple linear programming (LP) based method to learn compact and interpretable sets of rules encoding the facts in a knowledge graph (KG) and use these rules to solve the KG completion problem. Our LP model chooses a set of…

Artificial Intelligence · Computer Science 2023-03-07 Sanjeeb Dash , Joao Goncalves

Recommender systems (RSs) have been a widely exploited approach to solving the information overload problem. However, the performance is still limited due to the extreme sparsity of the rating data. With the popularity of Web 2.0, the…

Information Retrieval · Computer Science 2017-05-24 Jianguo Li , Yong Tang , Jiemin Chen

Large-scale deep learning models are known to memorize parts of the training set. In machine learning theory, memorization is often framed as interpolation or label fitting, and classical results show that this can be achieved when the…

Machine Learning · Computer Science 2026-02-12 Leonardo Iurada , Simone Bombari , Tatiana Tommasi , Marco Mondelli

Recent transformer language models achieve outstanding results in many natural language processing (NLP) tasks. However, their enormous size often makes them impractical on memory-constrained devices, requiring practitioners to compress…

Computation and Language · Computer Science 2023-02-09 Mohammadreza Banaei , Klaudia Bałazy , Artur Kasymov , Rémi Lebret , Jacek Tabor , Karl Aberer

In order to solve complex configuration tasks in technical domains, various knowledge based methods have been developed. However their applicability is often unsuccessful due to their low efficiency. One of the reasons for this is that…

Artificial Intelligence · Computer Science 2007-05-23 Ingo Kreuz , Dieter Roller

Resolution and superposition are common techniques which have seen widespread use with propositional and first-order logic in modern theorem provers. In these cases, resolution proof production is a key feature of such tools; however, the…

Logic in Computer Science · Computer Science 2018-04-19 Jan Gorzny , Ezequiel Postan , Bruno Woltzenlogel Paleo

The enormous size of modern deep neural networks makes it challenging to deploy those models in memory and communication limited scenarios. Thus, compressing a trained model without a significant loss in performance has become an…

Information Theory · Computer Science 2019-01-25 Weihao Gao , Yu-Han Liu , Chong Wang , Sewoong Oh

Reinforcement learning (RL) algorithms struggle with learning optimal policies for tasks where reward feedback is sparse and depends on a complex sequence of events in the environment. Probabilistic reward machines (PRMs) are finite-state…

Machine Learning · Computer Science 2025-10-20 Jan Corazza , Hadi Partovi Aria , Daniel Neider , Zhe Xu

Rationalization is to employ a generator and a predictor to construct a self-explaining NLP model in which the generator selects a subset of human-intelligible pieces of the input text to the following predictor. However, rationalization…

Machine Learning · Computer Science 2023-07-25 Wei Liu , Haozhao Wang , Jun Wang , Ruixuan Li , Xinyang Li , Yuankai Zhang , Yang Qiu

We present a motivating example for matrix multiplication based on factoring a data matrix. Traditionally, matrix multiplication is motivated by applications in physics: composing rigid transformations, scaling, sheering, etc. We present an…

History and Overview · Mathematics 2018-04-04 Barak A. Pearlmutter , Helena Šmigoc

With the tremendous success of large transformer models in natural language understanding, down-sizing them for cost-effective deployments has become critical. Recent studies have explored the low-rank weight factorization techniques which…

Computation and Language · Computer Science 2023-12-21 Rahul Chand , Yashoteja Prabhu , Pratyush Kumar

This paper introduces an explanation framework designed to enhance the quality of rules in knowledge-based reasoning systems based on dataset-driven insights. The traditional method for rule induction from data typically requires…

Artificial Intelligence · Computer Science 2025-02-04 Oshani Seneviratne , Brendan Capuzzo , William Van Woensel

The Rete forward inference algorithm forms the basis for many rule engines deployed today, but it exhibits the following problems: (1) the caching of all intermediate join results, (2) the processing of all rules regardless of the necessity…

Databases · Computer Science 2020-12-07 Conrad Indiono , Stefanie Rinderle-Ma

Systematicity, i.e., the ability to recombine known parts and rules to form new sequences while reasoning over relational data, is critical to machine intelligence. A model with strong systematicity is able to train on small-scale tasks and…

Artificial Intelligence · Computer Science 2022-05-16 Shengyao Lu , Bang Liu , Keith G. Mills , Shangling Jui , Di Niu

Emergences of computers and information technological revolution made tremendous changes in the real world and provides a different dimension for the intelligent data analysis. Well formed fact, the information at right time and at right…

Artificial Intelligence · Computer Science 2011-08-10 D. P. Acharjya , L. Ezhilarasi

Dataset distillation, a training-aware data compression technique, has recently attracted increasing attention as an effective tool for mitigating costs of optimization and data storage. However, progress remains largely empirical.…

Machine Learning · Computer Science 2026-03-31 Yuri Kinoshita , Naoki Nishikawa , Taro Toyoizumi

The relation triples extraction method based on table filling can address the issues of relation overlap and bias propagation. However, most of them only establish separate table features for each relationship, which ignores the implicit…

Information Retrieval · Computer Science 2022-10-10 Runze Fang , Junping Du , Yingxia Shao , Zeli Guan