2386 search results - page 277 / 478 » Representing and Reasoning with Preferences |
177
click to vote
SEFM
2005
IEEE
16 years 6 days ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
171
click to vote
BIRTHDAY
2005
Springer
16 years 5 days ago
2005
Springer
I present a formalism that combines two methodologies: objective Bayesianism and Bayesian nets. According to objective Bayesianism, an agent’s degrees of belief (i) ought to sat...
184
Voted
ECSQARU
2005
Springer
16 years 5 days ago
2005
Springer
The most problematic and challenging issues in fuzzy modeling of nonlinear system dynamics deal with robustness and interpretability. Traditional data-driven approaches, especially...
175
click to vote
ECSQARU
2005
Springer
16 years 5 days ago
2005
Springer
In the presence of a river flood, operators in charge of control must take decisions based on imperfect and incomplete sources of information (e.g., data provided by a limited numb...
189
click to vote
ICCBR
2005
Springer
16 years 4 days ago
2005
Springer
Automatic case elicitation (ACE) is a learning technique in which a case-based reasoning system acquires knowledge automatically from scratch through repeated real-time trial and e...