An empirical comparison of three EL calculi shows proof shape varies predictably with rule design, with an accompanying new algorithm for directed cutwidth on trees.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
The Shape of $\mathcal{EL}$ Proofs: A Tale of Three Calculi (Extended Version)
An empirical comparison of three EL calculi shows proof shape varies predictably with rule design, with an accompanying new algorithm for directed cutwidth on trees.