1667 search results - page 74 / 334 » Extended clause learning |
109
click to vote
JMLR
2010
14 years 11 months ago
2010
This is an extended version of the manuscript Torsten Hothorn, Peter B
127
Voted
ICML
2000
IEEE
16 years 5 months ago
2000
IEEE
We explore combining reinforcement learning with a hand-crafted local controller in a manner suggested by the chaotic control algorithm of Vincent, Schmitt and Vincent (1994). A c...
135
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
The Modular Architecture for Bootstrapped Learning Experiments (MABLE) is a system that is being developed to allow humans to teach computers in the most natural manner possible: ...
137
click to vote
ECML
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Explanation based learning produces generalized explanations from examples. These explanations are typically built in a deductive manner and they aim to capture the essen...
153
click to vote
SAT
2005
Springer
15 years 10 months ago
2005
Springer
Solvers for Quantified Boolean Formulae (QBF) use many analogues of technique from SAT. A significant amount of work has gone into extending conflict based techniques such as co...