de Silva, Lavindra; Padgham, Lin; Sardina, Sebastian HTN-like solutions for classical planning problems: an application to BDI agent systems. (English) Zbl 1411.68141 Theor. Comput. Sci. 763, 12-37 (2019). MSC: 68T20 68T35 68T42 PDFBibTeX XMLCite \textit{L. de Silva} et al., Theor. Comput. Sci. 763, 12--37 (2019; Zbl 1411.68141) Full Text: DOI Link
Yadav, Nitin; Sardina, Sebastian Reasoning about agent programs using ATL-like logics. (English) Zbl 1361.68247 Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26–28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 437-449 (2012). MSC: 68T27 03B44 68Q60 68T42 PDFBibTeX XMLCite \textit{N. Yadav} and \textit{S. Sardina}, Lect. Notes Comput. Sci. 7519, 437--449 (2012; Zbl 1361.68247) Full Text: DOI arXiv