4 citations · 5 across the 5 of their papers we have counts for
1 paper · 1 filter
Yiwen Ding, Krishna Manoorkar
Recently, description logic LE-ALC was introduced for reasoning in the semantic environment of enriched formal contexts, and a polynomial-time tableaux algorithm was developed to c…