共 57 条
[1]
Ågotnes T, 2011, LECT NOTES ARTIF INT, V6814, P139, DOI 10.1007/978-3-642-22359-4_11
[2]
Aldewereld Huib, 2013, LECT NOTES COMPUTER, V8386, P195
[3]
Allen Emerson E., 1990, Handbook of Theoretical Computer Science, volume B, chapter Temporal and modal logic, P955
[4]
ANDERSON AR, 1958, MIND, V67, P100
[5]
[Anonymous], 2004, Automated Planning: theory and practice
[6]
[Anonymous], 2014, THESIS
[8]
Battaglini Marco, 2005, WORKING PAPERS, V81
[9]
BELNAP N, 1988, THEORIA, V54, P175
[10]
Boella G, 2004, P TRUST AG SOC WORKS