Saribatur, Zeynep G.; Eiter, Thomas; Schüller, Peter Abstraction for non-ground answer set programs. (English) Zbl 1520.68023 Artif. Intell. 300, Article ID 103563, 72 p. (2021). MSC: 68N17 68T20 68T30 PDFBibTeX XMLCite \textit{Z. G. Saribatur} et al., Artif. Intell. 300, Article ID 103563, 72 p. (2021; Zbl 1520.68023) Full Text: DOI
Jamroga, Wojciech; Malvone, Vadim; Murano, Aniello Natural strategic ability. (English) Zbl 1478.68385 Artif. Intell. 277, Article ID 103170, 33 p. (2019). MSC: 68T42 03B44 68Q60 68Q85 91A26 PDFBibTeX XMLCite \textit{W. Jamroga} et al., Artif. Intell. 277, Article ID 103170, 33 p. (2019; Zbl 1478.68385) Full Text: DOI Link
Cimatti, A.; Pistore, M.; Roveri, M.; Traverso, P. Weak, strong, and strong cyclic planning via symbolic model checking. (English) Zbl 1082.68800 Artif. Intell. 147, No. 1-2, 35-84 (2003). MSC: 68T20 68Q05 68Q60 PDFBibTeX XMLCite \textit{A. Cimatti} et al., Artif. Intell. 147, No. 1--2, 35--84 (2003; Zbl 1082.68800) Full Text: DOI
Mosterman, P. J.; Biswas, G. A comprehensive methodology for building hybrid models of physical systems. (English) Zbl 0948.68210 Artif. Intell. 121, No. 1-2, 171-209 (2000). MSC: 68U20 PDFBibTeX XMLCite \textit{P. J. Mosterman} and \textit{G. Biswas}, Artif. Intell. 121, No. 1--2, 171--209 (2000; Zbl 0948.68210) Full Text: DOI
Chen, Xiao Jun; de Giacomo, Giuseppe Reasoning about nondeterministic and concurrent actions: A process algebra approach. (English) Zbl 0910.68075 Artif. Intell. 107, No. 1, 63-98 (1999). MSC: 68Q10 PDFBibTeX XMLCite \textit{X. J. Chen} and \textit{G. de Giacomo}, Artif. Intell. 107, No. 1, 63--98 (1999; Zbl 0910.68075) Full Text: DOI