2836 search results - page 83 / 568 » Evaluating a Qualitative Reasoner |
ISOLA
2010
Springer
14 years 8 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
ICLP
2001
Springer
15 years 2 months ago
2001
Springer
Multi-adjoint logic programs has been recently introduced [9, 10] as a generalization of monotonic logic programs [2, 3], in that simultaneous use of several implications in the ru...
SEMWEB
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. We extend our recent work on evaluating incomplete reasoners by introducing strict testing bases. We show how they can be used in practice to identify ontologies and quer...
HAIS
2010
Springer
15 years 1 months ago
2010
Springer
Existing organisational centred multi-agent systems regulate agents' activities. However, population/environmental changes may lead to a poor ful lment of system's goals,...
117
click to vote
ITS
2010
Springer
14 years 7 months ago
2010
Springer
This paper presents a case-based reasoning (CBR) approach to provide adaptive support in microworlds. Interaction in microworlds is complex and unstructured, making the analysis of...