Sciweavers

4573 search results - page 501 / 915
» Automated Reasoning
Sort
View
173
Voted
ECSQARU
2003
Springer
16 years 2 days ago
Epistemic Logics for Information Fusion
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...
Churn-Jung Liau
145
Voted
ICCBR
2003
Springer
16 years 2 days ago
An Evaluation of the Usefulness of Case-Based Explanation
: 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...
Padraig Cunningham, Dónal Doyle, John Lough...
174
Voted
ICCBR
2009
Springer
15 years 11 months ago
Determining Root Causes of Drilling Problems by Combining Cases and General Knowledge
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...
Samad Valipour Shokouhi, Agnar Aamodt, Pål S...
161
Voted
PRICAI
1998
Springer
15 years 11 months ago
Knowledge-Based Formulation of Dynamic Decision Models
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...
Chenggang Wang, Tze-Yun Leong
KR
2010
Springer
15 years 11 months ago
Diagnosis as Planning Revisited
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...
Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlrait...