661. Hirst G. (1987) Semantic Interpretation against Ambiguity. Cambridge University Press, Cambridge, UK.

662. Hobbs J. R. (1978) Resolving pronoun references. Lingua, 44, p. 339-352.

663. Hobbs J. R. (1990) Literature and Cognition. CSLI Press, Stanford, California.

664. Hobbs J. R., Appelt D., Bear J., Israel D., Kameyama M., Stickel M. E., and Tyson M. (1997)FASTUS: A cascaded finite-state transducer for extracting information from natural-language text. In Roche E. and Schabes Y. (Eds.), Finite-State Devices for Natural Language Processing, p. 383— 406. MIT Press, Cambridge, Massachusetts.

665. Hobbs J. R. and Moore R. С (Eds.) (1985) Formal Theories of the Commonsense World. Ablex,Norwood, New Jersey.

666. Hobbs J. R., Stickel M. E., Appelt D., and Martin P. (1993) Interpretation as abduction. ArtificialIntelligence, 63(1-2), p. 69-142.

667. Hoffmann J. (2000) A heuristic for domain independent planning and its use in an enforced hill-climbing algorithm. In Proceedings of the 12th International Symposium on Methodologies for Intelligent Systems, p. 216-227, Charlotte, North Carolina. Springer-Verlag.

668. Hogan N. (1985) Impedance control: An approach to manipulation. Parts i, ii, and iii. TransactionsASME Journal of Dynamics, Systems, Measurement, and Control, 107(3), p. 1-24.

669. Holland J. H. (1975) Adaption in Natural and Artificial Systems. University of Michigan Press, AnnArbor, Michigan.

670. Holland J. H. (1995) Hidden order: How adaptation builds complexity. Addison-Wesley, Reading,Massachusetts.

671. Holldobler S. and Schneeberger J. (1990) A new deductive approach to planning. New GenerationComputing, 8(3), p. 225-244.

672. Holzmann G. J. (1997) The Spin model checker. ISSS Transactions on Software Engineering, 23(5),p. 279-295.

673. Hood A. (1824) Case 4th — 28 July 1824 (Mr. Hood's cases of injuries of the brain). The PhrenologicalJournal and Miscellany, 2, p. 82-94.

674. Hopfield J. J. (1982) Neurons with graded response have collective computational properties likethose of two-state neurons. Proceedings of the National Academy of Sciences of the United States of America, 79, p. 2554-2558.

675. Horn A. (1951) On sentences which are true of direct unions of algebras. Journal of Symbolic Logic, 16,p. 14-21.

676. Horn В. К. P. (1970) Shape from shading: A method for obtaining the shape of a smooth opaqueobject from one view. Technical report 232, MIT Artificial Intelligence Laboratory, Cambridge, Massachusetts.

677. Horn В. К. P. (1986) Robot Vision. MIT Press, Cambridge, Massachusetts.

678. Horn B. K. P. and Brooks M. J. (1989) Shape from Shading. MIT Press, Cambridge, Massachusetts.

679. Horning J. J. (1969) A study of grammatical inference. Ph.D. thesis, Stanford University.

680. Horowitz E. and Sahni S. (1978) Fundamentals of computer algorithms. Computer Science Press,Rockville, Maryland.