The description logic handbook
ε-connections of abstract description systems
Artificial Intelligence
A Tableau Decision Procedure for ALC With Monotonic Modal Operators and Constant Domains
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |