paper-with-me

홈 › Papers

Discriminative Gaifman Models

2016-10-28 · NeurIPS 2016 12 · Mathias Niepert

We present discriminative Gaifman models, a novel family of relational machine learning models. Gaifman models learn feature representations bottom up from representations of locally connected and bounded-size regions of knowledge bases (KBs). Considering local and bounded-size neighborhoods of knowledge bases renders logical inference and learning tractable, mitigates the problem of overfitting, and facilitates weight sharing. Gaifman models sample neighborhoods of knowledge bases so as to make the learned relational models more robust to missing objects and relations which is a common situation in open-world KBs. We present the core ideas of Gaifman models and apply them to large-scale relational learning problems. We also discuss the ways in which Gaifman models relate to some existing relational machine learning approaches.

📄 PDF Abstract BibTeX arXiv:1610.09369

Code (0)

등록된 구현이 없습니다.

Tasks

BIG-bench Machine LearningLink PredictionRelational Reasoning

Similar Papers 제목 키워드 기반

Non-Parametric Learning of Gaifman Models

2020-01-02 · Devendra Singh Dhami, Siwen Yan, Gautam Kunapuli, Sriraam Natarajan

We consider the problem of structure learning for Gaifman models and learn relational features that can be used to derive feature representations from a knowledge base. These relational features are first-order rules tha…

Learning Concepts Described by Weight Aggregation Logic

2020-09-22 · Steffen van Bergerem, Nicole Schweikardt

We consider weighted structures, which extend ordinary relational structures by assigning weights, i.e. elements from a particular group or ring, to tuples present in the structure. We introduce an extension of first-ord…

Generalizing Modular Logic Programs

2014-04-29 · João Moura, Carlos Damásio

Even though modularity has been studied extensively in conventional logic programming, there are few approaches on how to incorporate modularity into Answer Set Programming, a prominent rule-based declarative programming…

Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence

2025-11-12 · Václav Kůla, Qipeng Kuang, Yuyi Wang, Yuanhong Wang 외 arxiv

The Weighted First-Order Model Counting Problem (WFOMC) asks to compute the weighted sum of models of a given first-order logic sentence over a given domain. Conditioning WFOMC on evidence -- fixing the truth values of a…

Descent Before Hardness: Orbit-Gap Obstructions in Exact Certification

2026-04-08 · Tristan Simas arxiv

Tractability tests are often computed from input syntax: support-graph treewidth, local coefficient patterns, backdoor tests, or action-count bounds. Before such a test can be lower-bounded or made algorithmic, it must d…