116 search results - page 9 / 24 » Interpretive Reasoning with Hypothetical Cases |
CAV
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
KR
1989
Springer
14 years 1 months ago
1989
Springer
Research on nonmonotonic and default reasoning has identified several important criteria for preferring alternative default inferences. The theories of reasoning based on each of...
ICCBR
2005
Springer
14 years 3 months ago
2005
Springer
When searching for the right life insurance product, one can either confide in her/his insurance broker or fill out lengthy questionnaires at Internet Portal sites before gathering...
APPINF
2003
13 years 11 months ago
2003
Induction and abduction are well known non-deductive inferences. We shall propose that design is also another form of non-deductive inference, and, based on Barwise and Seligman...
HICSS
2010
IEEE
14 years 4 months ago
2010
IEEE
This paper presents the case of Arinia, a custommade piece of social software with strong similarities to today’s microblogging applications. Arinia has been in use in a medium-...