1966 search results - page 209 / 394 » Description Logics and Planning |
159
click to vote
KI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Unlike people, household robots cannot rely on commonsense knowledge when accomplishing everyday tasks. We believe that this is one of the reasons why they perform poorly...
326
click to vote
DLOG
2011
14 years 10 months ago
2011
This paper examines a new technique based on tableau, that allows one to introduce composition of roles from the right hand side of complex role inclusion axioms (RIAs). Our motiva...
183
click to vote
DLOG
2011
14 years 10 months ago
2011
In this paper, we present a reasoner capable of epistemic inferences in SROIQ knowledge bases. We first identify some counter intuitive effects of imposing the traditional semant...
139
click to vote
APCHI
1998
IEEE
15 years 10 months ago
1998
IEEE
When they encounter problems with a novel or infrequently performed task, experienced users often complete their work by referring to manuals and trying task-oriented exploration....
166
click to vote
VISUALIZATION
1995
IEEE
15 years 10 months ago
1995
IEEE
Navigation in computer generated information spaces may be difficult, resulting in users getting “lost in hyperspace.” This work aims to build on research from the area of ci...