185 search results - page 2 / 37 » Induction in an Abstraction Space: A Form of Constructive In... |
CONTEXT
2007
Springer
13 years 11 months ago
2007
Springer
Mechanisms that underlie the inductive reasoning process in risk contexts are investigated. Experimental results indicate that people rate the same inductive reasoning argument dif...
APPINF
2003
13 years 6 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ā...
AAIP
2009
13 years 5 months ago
2009
Inductive programming systems characteristically exhibit an exponential explosion in search time as one increases the size of the programs to be generated. As a way of overcoming ...
DAWAK
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Most of the research in data mining has been focused on developing novel algorithms for speciļ¬c data mining tasks. However, ļ¬nding the theoretical foundations of data...
FMCAD
2007
Springer
13 years 11 months ago
2007
Springer
Abstractā Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...