Bergadano, F.; Gemello, R.; Giordana, A.; Saitta, L. ML-SMART: A problem solver for learning from examples. (English) Zbl 0664.68087 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 12, No. 1, 29-49 (1989). MSC: 68T05 Learning and adaptive systems in artificial intelligence 68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) 68T99 Artificial intelligence Keywords:learning from examples; inductive learning; knowledge based system; problem solver; multiple search; production rules PDFBibTeX XMLCite \textit{F. Bergadano} et al., Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 12, No. 1, 29--49 (1989; Zbl 0664.68087)