226 search results - page 46 / 46 » BDDs and Automated Deduction |
137
click to vote
ML
2006
ACM
15 years 3 months ago
2006
ACM
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...