3502 search results - page 4 / 701 » From Machine Learning to Machine Reasoning |
COLT
1989
Springer
15 years 1 months ago
1989
Springer
ALT
2005
Springer
15 years 2 months ago
2005
Springer
62
Voted
IDA
2000
Springer
14 years 9 months ago
2000
Springer
Knowledge Discovery in Databases (KDD) has become a very attractive discipline both for research and industry within last few years. Its goal is to extract pieces of knowledge or `...
CADE
2008
Springer
15 years 9 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
CSL
2006
Springer
14 years 9 months ago
2006
Springer
Enriching speech recognition output with sentence boundaries improves its human readability and enables further processing by downstream language processing modules. We have const...