共 64 条
- [1] [Anonymous], 1992, TEMPORAL LOGIC REACT, DOI DOI 10.1007/978-1-4612-0931-7
- [3] Bacchus F, 2001, AI MAG, V22, P47
- [5] EXPRESSIVE EQUIVALENCE OF PLANNING FORMALISMS [J]. ARTIFICIAL INTELLIGENCE, 1995, 76 (1-2) : 17 - 34
- [6] BAIER J, 2006, P 16 INT C AUT PLANN
- [7] Baier J.A., 2006, P 21 NAT C ART INT A
- [8] BENTON J, 2006, 5 INT PLANN COMP BOO
- [9] BENTON J, 2007, P 17 INT C AUT PLANN
- [10] Semiring-based constraint satisfaction and optimization [J]. JOURNAL OF THE ACM, 1997, 44 (02) : 201 - 236