4573 search results - page 501 / 915 » Automated Reasoning |
139
click to vote
ECSQARU
2003
Springer
15 years 10 months ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...
120
click to vote
ICCBR
2003
Springer
15 years 10 months ago
2003
Springer
: One of the perceived benefits of Case-Based Reasoning (CBR) is the potential to use retrieved cases to explain predictions. Surprisingly, this aspect of CBR has not been much res...
135
click to vote
ICCBR
2009
Springer
15 years 9 months ago
2009
Springer
Oil well drilling is a complex process which frequently leads to operational problems. In order to deal with some of these problems, knowledge intensive case based reasoning (KiCBR...
136
Voted
PRICAI
1998
Springer
15 years 9 months ago
1998
Springer
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...
178
click to vote
KR
2010
Springer
15 years 9 months ago
2010
Springer
In discrete dynamical systems change results from actions. As such, given a set of observations, diagnoses often take the form of posited events that result in the observed behavi...