conftrace_

formula clustering

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

logical formula (1) logical formula clustering (1) inconsistency measurement (1) logical consequence (1) formal logic (1) propositional formula (1) propositional logic (1) knowledge representation (1)

Papers

Inconsistency Measurement for Improving Logical Formula Clustering IJCAI 2020