1581 search results - page 47 / 317 » Mechanizing Inductive Reasoning |
116
Voted
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
105
click to vote
JCIT
2008
15 years 2 months ago
2008
In view of students' individual difference in the learning process, in this paper we propose a personalized learning system, to which intelligent Agent technique and case-bas...
173
click to vote
COLT
1994
Springer
15 years 6 months ago
1994
Springer
Inductive Logic Programming (ILP) involves the construction of first-order definite clause theories from examples and background knowledge. Unlike both traditional Machine Learnin...
138
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Humans continuously assess one another's situational context, modify their own affective state, and then respond based on these outcomes through empathetic expression. Virtua...
126
click to vote
ML
2006
ACM
15 years 2 months ago
2006
ACM
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...