-
2
-
-
0030167097
-
Usability analysis of visual programming environments: A 'cognitive dimensions' framework
-
T. R. G. Green & M. Petre (1996) Usability analysis of visual programming environments: a 'cognitive dimensions' framework. Journal of Visual Languages and Computing 7, 131-174.
-
(1996)
Journal of Visual Languages and Computing
, vol.7
, pp. 131-174
-
-
Green, T.R.G.1
Petre, M.2
-
11
-
-
0022688781
-
A robust layered control system for a mobile robot
-
R. A. Brooks (1986) A robust layered control system for a mobile robot. IEEE Journal of Robotics and Automation 2, 14-23.
-
(1986)
IEEE Journal of Robotics and Automation
, vol.2
, pp. 14-23
-
-
Brooks, R.A.1
-
13
-
-
0003293661
-
Mars pathfinder microrover: A low-cost, low-power spacecraft
-
H. W. Stone (1996) Mars pathfinder microrover: a low-cost, low-power spacecraft. Proceedings of the 1996 AIAA Fonim on Advanced Developments in Space Robotics, Madison, WI, August.
-
(1996)
Proceedings of the
, vol.1996
-
-
Stone, H.W.1
-
15
-
-
2842560201
-
STRIPS: A new approach to the application of theorem-proving to problem solving
-
R. E. Fikes & N. J. Nilsson (1971) STRIPS: a new approach to the application of theorem-proving to problem solving. Artificial Intelligence 2, 189-208.
-
(1971)
Artificial Intelligence
, vol.2
, pp. 189-208
-
-
Fikes, R.E.1
Nilsson, N.J.2
-
17
-
-
0029404005
-
COCOLOG: A conditional observer and controller logic for finite machines
-
P. E. Caines & S. Wang, (1995) COCOLOG: a conditional observer and controller logic for finite machines. SIAM Journal of Control and Optimisation 33, 1687-1715.
-
(1995)
SIAM Journal of Control and Optimisation
, vol.33
, pp. 1687-1715
-
-
Caines, P.E.1
Wang, S.2
-
18
-
-
0001784558
-
A logical approach to high-level robot programming-a progress report
-
Y. Lespérance, H. Levesque, F. Lin, D. Marcu, R. Reiter & R. B Scherl (1994) A logical approach to high-level robot programming-a progress report. In: Control of the Phjsical World by Intelligent Systems, Papers from the 1994 AAAI Symposium, (B. Kiupers, ed.), 79-85, New Orleans.
-
(1994)
Control of the Phjsical World by Intelligent Systems, Papers from the
, vol.1994
, pp. 79-85
-
-
Lespérance, Y.1
Levesque, H.2
Lin, F.3
Marcu, D.4
Reiter, R.5
Scherl, R.B.6
-
20
-
-
0010049268
-
Logic programming for robot control
-
D. Poole (1995) Logic programming for robot control. Proceedings of the 14th International Conference on Artificial Intelligence, Montreal pp. 150-157.
-
(1995)
Proceedings of the
, vol.14
, pp. 150-157
-
-
Poole, D.1
-
22
-
-
0029517118
-
Bending the rules: Steps toward semantically enriched graphical rewrite rules
-
A. Repenning (1995) Bending the rules: steps toward semantically enriched graphical rewrite rules. Proceedings of the IEEE Symposium on Visual Languages, pp. 226-233.
-
(1995)
Proceedings of the IEEE Symposium on Visual Languages
, pp. 226-233
-
-
Repenning, A.1
-
23
-
-
33749834973
-
Watch WliatlDo: Programming by Demonstration
-
A. Cypher (1993) Watch WliatlDo: Programming by Demonstration. MIT Press, Cambridge, MA.
-
(1993)
MIT Press, Cambridge, MA.
-
-
Cypher, A.1
|