4617 search results - page 233 / 924 » Automation of Diagrammatic Reasoning |
188
click to vote
IDA
1999
Springer
15 years 10 months ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
183
click to vote
EWCBR
1998
Springer
15 years 10 months ago
1998
Springer
This paper presents the CARE-PARTNER system. Functionally, it offers via the WWW knowledge-support assistance to clinicians responsible for the long-term follow-up of stem-cell pos...
170
click to vote
DLOG
2004
15 years 8 months ago
2004
Reasoning capability is of crucial importance to many applications developed for the Semantic Web. Description Logics provide sound and complete reasoning algorithms that can effe...
183
click to vote
KR
1992
Springer
15 years 10 months ago
1992
Springer
Converting complex equations into simpler, more tractable equations usually involves approximation. Approximation is usually done by identifying and removing insignificant terms, ...
160
click to vote
DEON
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper, following the work of Hare, we consider moral reasoning not as the application of moral norms and principles, but as reasoning about what ought to be done ...