Cover Image

Differentiable Logic Programming for Distant Supervision

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Takemura, Akihiro, Inoue, Katsumi
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Generating Global and Local Explanations for Tree-Ensemble Learning Methods by Answer Set Programming
by: Takemura, Akihiro, et al.
Published: (2024)

Formally Explaining Decision Tree Models with Answer Set Programming
by: Takemura, Akihiro, et al.
Published: (2026)

Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning
by: Takemura, Akihiro, et al.
Published: (2026)

Towards end-to-end ASP computation
by: Sato, Taisuke, et al.
Published: (2023)

MOD-CL: Multi-label Object Detection with Constrained Loss
by: Moriyama, Sota, et al.
Published: (2024)

Variable Assignment Invariant Neural Networks for Learning Logic Programs
by: Phua, Yin Jun, et al.
Published: (2024)

Neural Decision-Propagation for Answer Set Programming
by: Eiter, Thomas, et al.
Published: (2026)

Neural Logic Networks for Interpretable Classification
by: Perreault, Vincent, et al.
Published: (2025)

Implementing Derivations of Definite Logic Programs with Self-Attention Networks
by: Thuy, Phan Thi Thanh, et al.
Published: (2024)

Differentiable Rule Induction from Raw Sequence Inputs
by: Gao, Kun, et al.
Published: (2026)

Self-Supervised Inductive Logic Programming
by: Patsantzis, Stassa
Published: (2025)

Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming
by: Sugimori, Irumi, et al.
Published: (2024)

Predicate Renaming via Large Language Models
by: Gentili, Elisabetta, et al.
Published: (2025)

Abductive Reasoning in a Paraconsistent Framework
by: Bienvenu, Meghyn, et al.
Published: (2024)

Visual Perceptual to Conceptual First-Order Rule Learning Networks
by: Gao, Kun, et al.
Published: (2026)

Distantly-Supervised Joint Extraction with Noise-Robust Learning
by: Li, Yufei, et al.
Published: (2023)

Differentiable Inductive Logic Programming for Fraud Detection
by: Wolfson, Boris, et al.
Published: (2024)

Differentiable Inductive Logic Programming in High-Dimensional Space
by: Purgał, Stanisław J., et al.
Published: (2022)

Inferring High-Level Events from Timestamped Data: Complexity and Medical Applications
by: Awuklu, Yvon K., et al.
Published: (2026)

A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
by: Bienvenu, Meghyn, et al.
Published: (2025)

Language-Independent Sentiment Labelling with Distant Supervision: A Case Study for English, Sepedi and Setswana
by: Mabokela, Koena Ronny, et al.
Published: (2025)

SANTA: Separate Strategies for Inaccurate and Incomplete Annotation Noise in Distantly-Supervised Named Entity Recognition
by: Si, Shuzheng, et al.
Published: (2023)

Learning Differentiable Logic Programs for Abstract Visual Reasoning
by: Shindo, Hikaru, et al.
Published: (2023)

GLIDR: Graph-Like Inductive Logic Programming with Differentiable Reasoning
by: Johnson, Blair, et al.
Published: (2025)

Do LLMs Judge Distantly Supervised Named Entity Labels Well? Constructing the JudgeWEL Dataset
by: Plum, Alistair, et al.
Published: (2026)

Can Transformers Learn to Verify During Backtracking Search?
by: Phua, Yin Jun, et al.
Published: (2026)

Revealing Algorithmic Deductive Circuits for Logical Reasoning
by: Nguyen, Phuong Minh, et al.
Published: (2026)

Semirings for Probabilistic and Neuro-Symbolic Logic Programming
by: Derkinderen, Vincent, et al.
Published: (2024)

Argumentative Characterizations of (Extended) Disjunctive Logic Programs
by: Heyninck, Jesse, et al.
Published: (2023)

ChatLogic: Integrating Logic Programming with Large Language Models for Multi-Step Reasoning
by: Wang, Zhongsheng, et al.
Published: (2024)

Disentangling Neural Disjunctive Normal Form Models
by: Baugh, Kexin Gu, et al.
Published: (2025)

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language
by: Li, Naiqi, et al.
Published: (2025)

Improving the Robustness of Distantly-Supervised Named Entity Recognition via Uncertainty-Aware Teacher Learning and Student-Student Collaborative Learning
by: Si, Shuzheng, et al.
Published: (2023)

On Strong Equivalence Notions in Logic Programming and Abstract Argumentation
by: Buraglio, Giovanni, et al.
Published: (2026)

On Scaling Neurosymbolic Programming through Guided Logical Inference
by: Valentin, Thomas Jean-Michel, et al.
Published: (2025)

Epistemic Logic Programs: a study of some properties
by: Costantini, Stefania, et al.
Published: (2023)

Satisfiability Modulo Theory Meets Inductive Logic Programming
by: Upreti, Nijesh, et al.
Published: (2025)

Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
by: Martires, Pedro Zuidberg Dos, et al.
Published: (2023)

On LLM-generated Logic Programs and their Inference Execution Methods
by: Tarau, Paul
Published: (2025)

Non-Interactive Symbolic-Aided Chain-of-Thought for Logical Reasoning
by: Nguyen, Phuong Minh, et al.
Published: (2025)