Vasileiou, Stylianos Loukas; Yeoh, William; Son, Tran Cao; Kumar, Ashwin; Cashmore, Michael; Magazzeni, Dianele A logic-based explanation generation framework for classical and hybrid planning problems. (English) Zbl 07527556 J. Artif. Intell. Res. (JAIR) 73, 1473-1534 (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{S. L. Vasileiou} et al., J. Artif. Intell. Res. (JAIR) 73, 1473--1534 (2022; Zbl 07527556) Full Text: DOI
Krivic, Senka; Cashmore, Michael; Magazzeni, Daniele; Szedmak, Sandor; Piater, Justus Using machine learning for decreasing state uncertainty in planning. (English) Zbl 1496.68303 J. Artif. Intell. Res. (JAIR) 69, 765-806 (2020). MSC: 68T20 68T05 68T40 PDFBibTeX XMLCite \textit{S. Krivic} et al., J. Artif. Intell. Res. (JAIR) 69, 765--806 (2020; Zbl 1496.68303) Full Text: DOI
Cashmore, Michael; Magazzeni, Daniele; Zehtabi, Parisa Planning for hybrid systems via satisfiability modulo theories. (English) Zbl 1434.68545 J. Artif. Intell. Res. (JAIR) 67, 235-283 (2020). MSC: 68T20 PDFBibTeX XMLCite \textit{M. Cashmore} et al., J. Artif. Intell. Res. (JAIR) 67, 235--283 (2020; Zbl 1434.68545) Full Text: DOI