3 search results - page 1 / 1 » An Application-based Comparison of Automated Theory Formatio... |
ETAI
2000
13 years 5 months ago
2000
ML
2006
ACM
13 years 5 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...
BIRTHDAY
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...