Yang, Kai; Tian, Cong; Zhang, Nan; Duan, Zhenhua; Du, Hongwei A temporal logic programming approach to planning. (English) Zbl 1419.68101 J. Comb. Optim. 38, No. 2, 402-420 (2019). MSC: 68T20 68N17 68T30 × Cite Format Result Cite Review PDF Full Text: DOI
Yang, Kai; Duan, Zhenhua; Tian, Cong; Zhang, Nan A compiler for MSVL and its applications. (English) Zbl 1407.68096 Theor. Comput. Sci. 749, 2-16 (2018). MSC: 68N20 68Q60 68T20 × Cite Format Result Cite Review PDF Full Text: DOI