共 38 条
[1]
[Anonymous], 2004, ICAPS
[2]
Bacchus F, 2001, AI MAG, V22, P47
[3]
BACCHUS F, 2000, SUBSET PDDL AIPS2000
[4]
Bertoli P, 2002, FRONT ARTIF INTEL AP, V77, P576
[6]
BLUM A, 1995, P 14 INT JOINT C ART, P1636
[7]
Bonet B., 2003, Proceedings, Thirteenth International Conference on Automated Planning and Scheduling, P102
[8]
CESTA A, 2001, RECENT ADV AI PLANNI
[9]
Clarke E, 2001, Model checking