A logic for reasoning with inconsistency
Journal of Automated Reasoning
A Tableau Decision Procedure for $\mathcal{SHOIQ}$
Journal of Automated Reasoning
Handbook on Ontologies
Hi-index | 0.00 |
Spatial scaffolding is a naturally occurring human teaching behavior, in which teachers use their bodies to spatially structure the learning environment to direct the attention of the learner. Robotic systems can take advantage of simple, highly reliable ...