335 search results - page 17 / 67 » KRRT: Knowledge Representation and Reasoning Tutor System |
101
click to vote
DLOG
1997
15 years 3 months ago
1997
Abstract: This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly...
116
Voted
AAAI
2008
15 years 4 months ago
2008
We present a new algorithm for reasoning in the description logic SHIQ, which is the most prominent fragment of the Web Ontology Language OWL. The algorithm is based on ordered bi...
123
click to vote
ERSHOV
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
102
click to vote
KI
2010
Springer
15 years 11 days 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...
137
click to vote
GIS
1992
ACM
15 years 6 months ago
1992
ACM
Machine learning techniques such as tree induction have become accepted tools for developing generalisations of large data sets, typically for use with production rule systems in p...