conftrace_

minimal correction set

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

core enumeration (1) explanatory gain (1) unsatisfiable core (1) model reconciliation (1) explanation generation (1) constraint solving (1) probabilistic logic (1)

Papers

On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios (Abstract Reprint) AAAI 2026 Core-Guided Minimal Correction Set and Core Enumeration IJCAI 2018