Almomen, Randa; Sexton, Alan P.; Sorge, Volker Abstracting symbolic matrices. (English) Zbl 1280.68300 Ann. Math. Artif. Intell. 64, No. 4, 343-368 (2012). MSC: 68W30 68T10 15A99 PDFBibTeX XMLCite \textit{R. Almomen} et al., Ann. Math. Artif. Intell. 64, No. 4, 343--368 (2012; Zbl 1280.68300) 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