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