3416 search results - page 33 / 684 » Can Machines Learn Logics |
144
click to vote
LREC
2008
15 years 7 months ago
2008
One of the aims of the Language Technology for eLearning project is to show that Natural Language Processing techniques can be employed to enhance the learning process. To this en...
144
click to vote
AMAST
2006
Springer
15 years 9 months ago
2006
Springer
We propose a methodology based on testing as a framework to capture the interactions of a machine represented in a denotational model and the data it manipulates. Using a duality t...
165
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
This is to present work on modifying the Aleph ILP system so that it evaluates the hypothesised clauses in parallel by distributing the data-set among the nodes of a parallel or di...
182
click to vote
COLT
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. A brief overview is given of recent results on theory revision with queries for propositional formulas, such as monotone and unate DNF, Horn formulas, read-once formulas,...
145
click to vote
MLDM
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. We describe an algorithm called TargetCluster for the discretization of continuous targets in subgroup discovery. The algorithm identifies patterns in the target data an...