3446 search results - page 232 / 690 » A Reasoning Algorithm for pD* |
126
click to vote
SAFECOMP
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
164
click to vote
RECSYS
2009
ACM
15 years 10 months ago
2009
ACM
In this paper we present a hybrid recommendation system that combines ontological knowledge with content-extracted linguistic information, derived from pre-trained lexical graphs,...
149
click to vote
COSIT
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The Double Cross calculus has been proposed for the purpose of navigation based on qualitative information about spatial configurations. Up until now, however, no result...
138
click to vote
MLDM
2001
Springer
15 years 9 months ago
2001
Springer
Abstractions and Case-Based Reasoning for Medical Course Data: Two Prognostic Applications . . . . . . . . . . . . . . . . . 23 R. Schmidt and L. Gierl Are Case-Based Reasoning and...
162
click to vote
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper we describe the OnEQL system, a query engine that implements optimization techniques and evaluation strategies to speed up the evaluation time of querying a...