1667 search results - page 74 / 334 » Extended clause learning |
JMLR
2010
13 years 3 months ago
2010
This is an extended version of the manuscript Torsten Hothorn, Peter B
ICML
2000
IEEE
14 years 10 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...
ATAL
2009
Springer
14 years 3 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: ...
ECML
2007
Springer
14 years 3 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...
SAT
2005
Springer
14 years 2 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...