Sciweavers

1581 search results - page 151 / 317
» Mechanizing Inductive Reasoning
Sort
View
EWCBR
2008
Springer
15 years 8 months ago
Increasing Precision of Credible Case-Based Inference
Abstract. Credible case-based inference (CCBI) is a new and theoretically sound inferencing mechanism for case-based systems. In this paper, we formally investigate the level of pr...
Thomas Gabel, Martin Riedmiller
HIS
2004
15 years 7 months ago
A Case-Based Recommender for Task Assignment in Heterogeneous Computing Systems
Case-based reasoning (CBR) is a knowledge-based problem-solving technique, which is based on reuse of previous experiences. In this paper we propose a new model for static task as...
S. Ghanbari, Mohammad Reza Meybodi, Kambiz Badie
DLOG
1998
15 years 7 months ago
Using Description Logics for Indexing Audiovisual Documents
Abstract We address the problem of indexing broadcast audiovisual documents (such as films, news). Starting from a collection of so-called shots, we aim at building automatically h...
Jean Carrive, François Pachet, Rémi ...
DLOG
1996
15 years 7 months ago
Using Description Logics for Consistency-based Diagnosis
Using quantitative models of simple mechanisms as an example domain, we show how the basic principles of consistency-based diagnosis can be implemented using description logics wi...
Gerd Kamp, Holger Wache
WOA
2007
15 years 7 months ago
Expectations driven approach for Situated, Goal-directed Agents
Abstract— Situated agents engaged in open systems continually face with external events requiring adequate services and behavioral responses. In these conditions agents should be...
Michele Piunti, Cristiano Castelfranchi, Rino Falc...