3502 search results - page 15 / 701 » From Machine Learning to Machine Reasoning |
CADE
2007
Springer
16 years 1 months ago
2007
Springer
MaLARea (a Machine Learner for Automated Reasoning) is a simple metasystem iteratively combining deductive Automated Reasoning tools (now the E and the SPASS ATP systems) with a m...
103
click to vote
ICML
2000
IEEE
16 years 2 months ago
2000
IEEE
We study the problem of learning using combinations of machines. In particular we present new theoretical bounds on the generalization performance of voting ensembles of kernel ma...
105
click to vote
ECOI
2010
15 years 19 hour ago
2010
We describe a semantic data validation tool that is capable of observing incoming real-time sensor data and performing reasoning against a set of rules specific to the scientific d...
ECML
2005
Springer
15 years 7 months ago
2005
Springer
147
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
This paper proposes a framework for agent-based distributed machine learning and data mining based on (i) the exchange of meta-level descriptions of individual learning processes ...