:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Awuklu, Yvon K., Bienvenu, Meghyn, Inoue, Katsumi, Jouhet, Vianney, Mougin, Fleur
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2604.21793
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Data Complexity of Querying Description Logic Knowledge Bases under Cost-Based Semantics
by: Bienvenu, Meghyn, et al.
Published: (2025)

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
by: Bienvenu, Meghyn, et al.
Published: (2020)

Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
by: Bienvenu, Meghyn, et al.
Published: (2023)

Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
by: Bienvenu, Meghyn, et al.
Published: (2022)

Tractable Responsibility Measures for Ontology-Mediated Query Answering
by: Bienvenu, Meghyn, et al.
Published: (2025)

How Hard is it to Decide if a Fact is Relevant to a Query?
by: Bienvenu, Meghyn, et al.
Published: (2026)

Shapley Revisited: Tractable Responsibility Measures for Query Answers
by: Bienvenu, Meghyn, et al.
Published: (2025)

Shapley Value Computation in Ontology-Mediated Query Answering
by: Bienvenu, Meghyn, et al.
Published: (2024)

Inconsistency Handling in DatalogMTL
by: Bienvenu, Meghyn, et al.
Published: (2025)

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
by: Bienvenu, Meghyn, et al.
Published: (2024)

Using ASP(Q) to Handle Inconsistent Prioritized Data
by: Bienvenu, Meghyn, et al.
Published: (2026)

Queries With Exact Truth Values in Paraconsistent Description Logics
by: Bienvenu, Meghyn, et al.
Published: (2024)

Advances in Logic-Based Entity Resolution: Enhancing ASPEN with Local Merges and Optimality Criteria
by: Xiang, Zhliang, et al.
Published: (2025)

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)

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)

Extracting Explainable Dates From Medical Images By Reverse-Engineering UNIX Timestamps
by: Harris, Lee
Published: (2025)

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

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

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

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

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

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

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

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

MIMIC-\RNum{4}-Ext-22MCTS: A 22 Millions-Event Temporal Clinical Time-Series Dataset with Relative Timestamp for Risk Prediction
by: Wang, Jing, et al.
Published: (2025)

IndexNet: Timestamp and Variable-Aware Modeling for Time Series Forecasting
by: Wu, Beiliang, et al.
Published: (2025)

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

Responsibility Measures for Conjunctive Queries with Negation
by: Bienvenu, Meghyn, et al.
Published: (2026)

When is Shapley Value Computation a Matter of Counting?
by: Bienvenu, Meghyn, et al.
Published: (2023)

Using ASP(Q) to Handle Inconsistent Prioritized Data
by: Bienvenu, Meghyn, et al.
Published: (2026)

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

Strategic Arms with Side Communication Prevail Over Low-Regret MAB Algorithms
by: Yahmed, Ahmed Ben, et al.
Published: (2024)

Non-clairvoyant Scheduling with Partial Predictions
by: Benomar, Ziyad, et al.
Published: (2024)

On Tradeoffs in Learning-Augmented Algorithms
by: Benomar, Ziyad, et al.
Published: (2025)

Multichannel-to-Multichannel Target Sound Extraction Using Direction and Timestamp Clues
by: Choi, Dayun, et al.
Published: (2024)