|
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
Albus, J. ,"Outline for a Theory of Intelligence", IEEE Trans. on Systems, Man and Cyber., 3, 473-509, 1991.
|
| |
2
|
|
| |
3
|
|
| |
4
|
Chomsky, N., "Formal Properties of Grammars", in Handbook of Mathematical Psychology, eds. R.Luce, R.Bush, E. Galanter., Vol. 2, J. Wiley & Sons, New York, 323-418, 1963.
|
| |
5
|
Feder, J., "Plex languages", lnf Sciences, 3, 225-241, 1971.
|
| |
6
|
Fikes, R.E. and Nilsson, N.J., "STRIPS: A New Approach to the Application of Theorem Proving in Problem Solving", Artificial Intelligence , 2, 189-208, 1971.
|
| |
7
|
Fu, K.S., Syntactic Pattern Recognition and Applications, Prentice Hall, Englewood Cliffs, 1982.
|
| |
8
|
|
| |
9
|
Knuth, D.E., "Semantics of Context-Free Languages", Mathem. Systems Theory, 2, 127-146, 1968.
|
| |
10
|
McCarthy, J., "Circumscription-A Form of Non- Monotonic Reasoning",Artificial lntel.,13,27-39, 1980.
|
| |
11
|
McCarthy, J. and Hayes, P.J., "Some Philosophical Problems from the Standpoint of Artificial intelligence", Machine Intelligence, 4, 463-502, 1969.
|
| |
12
|
Mesarovich, M.D., Macko, D., Takahara Y. Theory of Hierarchical Multilevel Systems., Acad. Press, New York. 1970.
|
 |
13
|
|
| |
14
|
|
| |
15
|
Pavlidis, T., Structural Pattern Recognition, Springer- Verlag, New York, 1977.
|
| |
16
|
|
 |
17
|
|
| |
18
|
Sacerdoti, E.D. "The Nonlinear Nature of Plans," Proc. Int. Joint Conference on Artificial intelligence, 1975.
|
| |
19
|
Shaw, A.C. "A Formal Picture Description Scheme as a Basis for Picture Processing System," Information and Control, 19., 9-52, 1969.
|
| |
20
|
|
| |
21
|
Stilman, B. "Hierarchy of Formal Grammars for Solving Search Problems," Artificial Intelligence. Results and Prospects, Proc. of Int. Workshop, Moscow, 63-72, 1985, (in Russian).
|
| |
22
|
Stilman, B. "A Linguistic Approach to Geometric Reasoning," Int. J. Computers and Mathematics with Applications, 26(7), 29-58, 1993.
|
| |
23
|
Stilman, B. "Network Languages for Complex Systems," Int. J. Computers and Mathematics with Applications, 26(8), 51-80, 1993.
|
| |
24
|
Stilman, B., Translations of Network Languages, Int. J. Computers & Mathematics with Applications., 27(2), 65-98, 1994.
|
| |
25
|
Stilman, B. "Syntactic Hierarchy for Robotic Systems," Integr. Computer-Aided Engineering, 1(1), 57-81, 1993.
|
 |
26
|
|
| |
27
|
Stilman, B., A Linguistic Geometry for Space Applications, Proc. of 1994 Goddard Conf. on Space Applications of Artificial Intell., NASA Goddard Space Flight Center, Greenbelt, MD, May 1994, (submitted).
|
INDEX TERMS
Primary Classification:
F.
Theory of Computation
F.2
ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY
F.2.2
Nonnumerical Algorithms and Problems
Subjects:
Geometrical problems and computations
Additional Classification:
F.
Theory of Computation
F.2
ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY
F.2.2
Nonnumerical Algorithms and Problems
Subjects:
Sorting and searching
I.
Computing Methodologies
I.2
ARTIFICIAL INTELLIGENCE
I.2.8
Problem Solving, Control Methods, and Search
Subjects:
Control theory;
Heuristic methods;
Plan execution, formation, and generation
I.2.9
Robotics
Subjects:
Autonomous vehicles
General Terms:
Algorithms,
Design,
Languages,
Measurement,
Performance,
Theory
Keywords:
complex system,
formal languages,
heuristic search,
optimal control,
path planning,
robotics
|