7335 search results - page 301 / 1467 » Scene Based Reasoning |
147
click to vote
ICTAI
2003
IEEE
15 years 9 months ago
2003
IEEE
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...
159
Voted
TPHOL
2000
IEEE
15 years 8 months ago
2000
IEEE
Theorem provers for higher-order logics often use tactics to implement automated proof search. Tactics use a general-purpose metalanguage to implement both general-purpose reasonin...
137
click to vote
EWCBR
2006
Springer
15 years 8 months ago
2006
Springer
This paper describes the development of the generic collaboration support architecture CAKE incorporating case-based reasoning (CBR). CAKE provides unified access to knowledge avai...
133
click to vote
ILP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Reasoning plays a central role in intelligent systems that operate in complex situations that involve time constraints. In this paper, we present the Adaptive Logic Inter...
132
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
To support commonsense reasoning about space, we require a qualitative calculus of spatial entities and their relations. One requirement for such a calculus, which has not so far ...