conftrace_

logical formula clustering

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

Inconsistency Measurement for Improving Logical Formula Clustering IJCAI 2020