conftrace_

logical formula

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

formula clustering (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