Cover Image

Explainability-Driven Quality Assessment for Rule-Based Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Seneviratne, Oshani, Capuzzo, Brendan, Van Woensel, William
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Semantic Interoperability on Blockchain by Generating Smart Contracts Based on Knowledge Graphs
by: Van Woensel, William, et al.
Published: (2024)

Weighted Rules under the Stable Model Semantics
by: Lee, Joohyung, et al.
Published: (2026)

On Trustworthy Rule-Based Models and Explanations
by: Siala, Mohamed, et al.
Published: (2025)

Probabilistic Circuits for Knowledge Graph Completion with Reduced Rule Sets
by: Patil, Jaikrishna Manojkumar, 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)

An Information-Flow Perspective on Explainability Requirements: Specification and Verification
by: Finkbeiner, Bernd, et al.
Published: (2025)

DECIDER: A Dual-System Rule-Controllable Decoding Framework for Language Generation
by: Xu, Chen, et al.
Published: (2024)

Navigating Taxonomic Expansions of Entity Sets Driven by Knowledge Bases
by: Amendola, Giovanni, et al.
Published: (2025)

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
by: Pan, Yudai, et al.
Published: (2021)

Dynamic Logic of Trust-Based Beliefs
by: Jiang, Junli, et al.
Published: (2025)

Beyond the Black Box: A Cognitive Architecture for Explainable and Aligned AI
by: Keyi, Hu
Published: (2025)

Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach
by: Cecconi, Alessio, et al.
Published: (2023)

An XAI View on Explainable ASP: Methods, Systems, and Perspectives
by: Eiter, Thomas, et al.
Published: (2026)

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
by: Rehan, Zainab, et al.
Published: (2026)

Compact Rule-Based Classifier Learning via Gradient Descent
by: Fumanal-Idocin, Javier, et al.
Published: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
by: Xu, Yang, et al.
Published: (2025)

Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration
by: Bertini, Flavio, et al.
Published: (2025)

Rule-Based Error Detection and Correction to Operationalize Movement Trajectory Classification
by: Xi, Bowen, et al.
Published: (2023)

Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
by: Van Kieu, Tuyen, et al.
Published: (2026)

A Logic for Policy Based Resource Exchanges in Multiagent Systems
by: Ceragioli, Lorenzo, et al.
Published: (2024)

Explainability by design: an experimental analysis of the legal coding process
by: Cristani, Matteo, et al.
Published: (2025)

The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules
by: Ostropolski-Nalewaja, Piotr, et al.
Published: (2024)

Static Analysis of Logic Programs via Boolean Networks
by: Trinh, Van-Giang, et al.
Published: (2024)

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
by: Beiser, Alexander, et al.
Published: (2025)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
by: Lyon, Tim S., et al.
Published: (2024)

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
by: Lamont, Sean, et al.
Published: (2024)

On the Boolean Network Theory of Datalog$^\neg$
by: Trinh, Van-Giang, et al.
Published: (2025)

On the Trap Space Semantics of Normal Logic Programs
by: Trinh, Van-Giang, et al.
Published: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
by: Bloch, Isabelle, et al.
Published: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
by: Joyce, Johnny
Published: (2025)

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

The logic of KM belief update is contained in the logic of AGM belief revision
by: Bonanno, Giacomo
Published: (2026)

Similarity-based analogical proportions
by: Antić, Christian
Published: (2024)

Comparing Neural Network Encodings for Logic-based Explainability
by: Carvalho, Levi Cordeiro, et al.
Published: (2025)

Learning Explainable and Better Performing Representations of POMDP Strategies
by: Bork, Alexander, et al.
Published: (2024)

Research Vision: Multi-Agent Path Planning for Cops And Robbers Via Reactive Synthesis
by: Fishell, William, et al.
Published: (2025)

Deductive Systems for Logic Programs with Counting
by: Fandinno, Jorge, et al.
Published: (2025)

On the Logical Content of Knowledge Bases
by: Gheorghiu, Alexader V., et al.
Published: (2025)

An ASP-Based Framework for MUSes
by: Kabir, Mohimenul, et al.
Published: (2025)

Dual Computational Horizons: Incompleteness and Unpredictability in Intelligent Systems
by: Ganguly, Abhisek
Published: (2025)