A temporal logic programming approach to planning
2019 ◽
Vol 38
(2)
◽
pp. 402-420
1999 ◽
Vol 29
(3)
◽
pp. 245-254
◽
1986 ◽
pp. 138-147
◽
2008 ◽
Vol 70
(1)
◽
pp. 31-61
◽
1989 ◽
Vol 8
(3)
◽
pp. 277-295
◽
2004 ◽
Vol 19
(3)
◽
pp. 341-351
◽
1986 ◽
pp. 128-137
◽
2015 ◽
Vol 15
(4-5)
◽
pp. 666-680
◽
2004 ◽
Vol 19
(6)
◽
pp. 985-985
◽