9145 search results - page 111 / 1829 » Description Logic Systems |
83
Voted
CADE
2004
Springer
16 years 1 months ago
2004
Springer
KI
2010
Springer
14 years 11 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...
217
Voted
DLOG
2011
14 years 4 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...
92
Voted
ENGL
2008
15 years 22 days ago
2008
With the advent of System-On-Chip (SOC) technology, there is a pressing need to enhance the quality of ools available and increase the level of abstraction at which hardware is des...
105
click to vote
AGP
2003
IEEE
15 years 6 months ago
2003
IEEE
In ordered logic programs, i.e. partially ordered sets of clauses where smaller rules carry more preference, inconsistencies, which appear as conflicts between applicable rules, a...