conftrace_

inconsistency measurement

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

propositional logic (3) non-monotonic reasoning (2) logical formula clustering (1) logical consequence (1) expressivity analysis (1) strong inconsistency (1) minimal inconsistent subset (1) distance-based measure (1) paraconsistent logic (1) regular path constraint (1)

Papers

On Measuring Inconsistency in Graph Databases with Regular Path Constraints (Abstract Reprint) IJCAI 2025 Inconsistency Measurement for Paraconsistent Inference IJCAI 2021 Inconsistency Measurement for Improving Logical Formula Clustering IJCAI 2020 On the Expressivity of Inconsistency Measures (Extended Abstract) IJCAI 2017 Strong Inconsistency in Nonmonotonic Reasoning IJCAI 2017