共 30 条
[1]
Agre P, 1987, P AAAI 87 SEATTLE, P268
[2]
Albus J.S., 1989, 1235 NAT I STAND TEC
[3]
OUTLINE FOR A THEORY OF INTELLIGENCE
[J].
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS,
1991, 21 (03)
:473-509
[4]
ARKIN RC, 1987, MAR P INT C ROB AUT
[5]
BROOKS R, 1991, AUG P INT JOINT C AI
[6]
BROOKS R, 1991, NEURAL COMPUTATION
[7]
Brooks R. A., 1986, IEEE J ROBOTICS AUTO, V2
[9]
CHRISMAN L, 1991, 9TH P NAT C ART INT, P756
[10]
AUTOMATIC VERIFICATION OF FINITE-STATE CONCURRENT SYSTEMS USING TEMPORAL LOGIC SPECIFICATIONS
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1986, 8 (02)
:244-263