2291 search results - page 182 / 459 » Representational Reasoning and Verification |
180
click to vote
KI
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The revision and transformation of knowledge is widely recognized as a key issue in knowledge representation and reasoning. Reasons for the importance of this topic are t...
202
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
This paper presents a formal theory for reasoning about motion of spatial entities, in a qualitative framework. Taking over a theory intended forspatial entities, we enrich ittoac...
135
click to vote
FLAIRS
2006
15 years 8 months ago
2006
In this paper, we present a learning framework for the semantic annotation of text documents that can be used as textual cases in case-based reasoning applications. The annotation...
183
click to vote
DLOG
2009
15 years 4 months ago
2009
Context-sensitivity has been for long a subject of study in linguistics, logic and computer science. Recently the problem of representing and reasoning with contextual knowledge ha...
140
click to vote
DFG
2007
Springer
16 years 22 days ago
2007
Springer
: Nowadays, biologists investigate different causes for deafness. One reason is a damage in a particular region of the auditory brain stem. These differences were discovered by inv...