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.
Tena Cucala, B
1 Pith paper cite this work, alongside 6 external citations. Polarity classification is still indexing.
1
Pith paper citing it
6
external citations · OpenAlex
citation-role summary
background 1
citation-polarity summary
fields
cs.LO 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 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.