Login / Signup
Locality and subsumption testing in EL and some of its extensions.
Viorica Sofronie-Stokkermans
Published in:
Advances in Modal Logic (2008)
Keyphrases
</>
description logics
np complete
real time
mobile robot
test cases
test data
default logic
genetic algorithm
case study
multi agent systems
dl lite