:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Gentili, Elisabetta, Ribeiro, Tony, Riguzzi, Fabrizio, Inoue, Katsumi
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2510.25517
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Symbolic Parameter Learning in Probabilistic Answer Set Programming
by: Azzolini, Damiano, et al.
Published: (2024)

Quantum Algorithms for Weighted Constrained Sampling and Weighted Model Counting
by: Riguzzi, Fabrizio
Published: (2024)

Fast Inference for Probabilistic Answer Set Programs via the Residual Program
by: Azzolini, Damiano, et al.
Published: (2024)

Probabilistic Answer Set Programming with Discrete and Continuous Random Variables
by: Azzolini, Damiano, et al.
Published: (2024)

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

Integrating Belief Domains into Probabilistic Logic Programs
by: Azzolini, Damiano, et al.
Published: (2025)

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
by: Zese, Riccardo, et al.
Published: (2023)

Differentiable Logic Programming for Distant Supervision
by: Takemura, Akihiro, et al.
Published: (2024)

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

Solving Decision Theory Problems with Probabilistic Answer Set Programming
by: Azzolini, Damiano, et al.
Published: (2024)

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

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)

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

Multi-Agent Coordinated Rename Refactoring
by: Bellur, Abhiram, et al.
Published: (2026)

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

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

From Large Language Model Predicates to Logic Tensor Networks: Neurosymbolic Offer Validation in Regulated Procurement
by: Haufe, Cedric, et al.
Published: (2026)

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

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

A Synergistic Approach In Network Intrusion Detection By Neurosymbolic AI
by: Bizzarri, Alice, et al.
Published: (2024)

ViPlan: A Benchmark for Visual Planning with Symbolic Predicates and Vision-Language Models
by: Merler, Matteo, et al.
Published: (2025)

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

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

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

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

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

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

Inference of Abstraction for Grounded Predicate Logic
by: Kido, Hiroyuki
Published: (2025)

Generalisation Through Negation and Predicate Invention
by: Cerna, David M., et al.
Published: (2023)

Combining Constraint Programming Reasoning with Large Language Model Predictions
by: Régin, Florian, et al.
Published: (2024)

From Pixels to Predicates: Learning Symbolic World Models via Pretrained Vision-Language Models
by: Athalye, Ashay, et al.
Published: (2024)

VisualPredicator: Learning Abstract World Models with Neuro-Symbolic Predicates for Robot Planning
by: Liang, Yichao, et al.
Published: (2024)

Prompt-Based Value Steering of Large Language Models
by: Abbo, Giulio Antonio, et al.
Published: (2025)

Large Language Model Meets Constraint Propagation
by: Bonlarron, Alexandre, et al.
Published: (2025)

EXPIL: Explanatory Predicate Invention for Learning in Games
by: Sha, Jingyuan, et al.
Published: (2024)

Control Barrier Function for Aligning Large Language Models
by: Miyaoka, Yuya, et al.
Published: (2025)

Leveraging Large Language Models for Causal Discovery: a Constraint-based, Argumentation-driven Approach
by: Li, Zihao, et al.
Published: (2026)

Predicate Invention for Bilevel Planning
by: Silver, Tom, et al.
Published: (2022)

Imperative Interference: Social Register Shapes Instruction Topology in Large Language Models
by: Mason, Tony
Published: (2026)