Stolle, Reinhard; Hogan, Apollo; Bradley, Elizabeth Agenda control for heterogeneous reasoners. (English) Zbl 1101.68450 J. Log. Algebr. Program. 62, No. 1, 41-69 (2005). MSC: 68N17 PDFBibTeX XMLCite \textit{R. Stolle} et al., J. Log. Algebr. Program. 62, No. 1, 41--69 (2005; Zbl 1101.68450) Full Text: DOI
Bradley, Elizabeth; Easley, Matthew; Stolle, Reinhard Reasoning about nonlinear system identification. (English) Zbl 0984.68158 Artif. Intell. 133, No. 1-2, 139-188 (2001). MSC: 68T50 68U20 PDFBibTeX XMLCite \textit{E. Bradley} et al., Artif. Intell. 133, No. 1--2, 139--188 (2001; Zbl 0984.68158) Full Text: DOI
Bradley, Elizabeth; Stolle, Reinhard Automatic construction of accurate models of physical systems. (English) Zbl 0891.68018 Ann. Math. Artif. Intell. 17, No. 1-2, 1-28 (1996). MSC: 68N17 PDFBibTeX XMLCite \textit{E. Bradley} and \textit{R. Stolle}, Ann. Math. Artif. Intell. 17, No. 1--2, 1--28 (1996; Zbl 0891.68018) Full Text: DOI