共 168 条
[81]
HAIMOWITZ IJ, 1996, SPECIAL ISSUE ARTIFI, V8, P299
[82]
Hamblin C. L., 1972, STUDY TIME, P324, DOI DOI 10.1007/978-3-642-65387-2_23
[83]
NONMONOTONIC LOGIC AND TEMPORAL PROJECTION
[J].
ARTIFICIAL INTELLIGENCE,
1987, 33 (03)
:379-412
[86]
Hobbs J., 1985, P IJCAI LOS ANG, P432
[87]
HOLZMANN GJ, 2003, SPIN MODEL CHECKER
[88]
Hunter J, 2003, LECT NOTES ARTIF INT, V2780, P41
[89]
KAHN MG, 1991, METHOD INFORM MED, V30, P167
[90]
KAHN MG, 1991, METHOD INFORM MED, V30, P4