541.Gentzen G. (1934) Untersuchungen uber das logische Schliessen. Mathematische Zeitschrift, 39, p. 176-210; p. 405-431.

542. GeorgefTM. P. and Lansky A. L. (1987) Reactive reasoning and planning. In Proceedings of the SixthNational Conference on Artificial Intelligence (AAAI-87), p. 677—682, Seattle. Morgan Kaufmann.

543. Gerevini A. and Schubert L. K. (1996) Accelerating partial-order planners: Some techniques foreffective search control and pruning. Journal of Artificial Intelligence Research, 5, p. 95-137.

544. Gerevini A. and Serina I. (2002) LPG: A planner based on planning graphs with action costs. InProceedings of the Sixth International Conference on AI Planning and Scheduling, p. 281—290, Menlo Park, California. AAAI Press.

545. Germann U., Jahr M., Knight K., Marcu D., and Yamada K. (2001) Fast decoding and optimaldecoding for machine translation. In Proceedings of the Conference of the Association for Computational Linguistics (ACL), p. 228-235, Toulouse, France.

546. Gershwin G. (1937) Let's call the whole thing off. Песня.

547. Ghahramani Z. and Jordan M. I. (1997) Factorial hidden Markov models. Machine Learning, 29,p. 245-274.

548. Ghallab M., Howe A., Knoblock С A., and McDermott D. (1998) PDDL— the planning domaindefinition language. Tech. rep. DCS TR-1165, Yale Center for Computational Vision and Control, New Haven, Connecticut.

549. Ghallab M. and Laruelle H. (1994) Representation and control in IxTeT, a temporal planner.In Proceedings of the 2nd International Conference on Artificial Intelligence Planning Systems (AIPS-94), p. 61-67, Chicago. AAAI Press.

550. Giacomo G. D., Lesperance Y., and Levesque H. J. (2000) ConGolog, a concurrent programminglanguage based on the situation calculus. Artificial Intelligence, 121, p. 109-169.

551. Gibson J. J. (1950) The Perception of the Visual World. Houghton Mifflin, Boston.

552. Gibson J. J. (1979) The Ecological Approach to Visual Perception. Houghton Mifflin, Boston.

553. Gibson J. J., Olum P., and Rosenblatt F. (1955) Parallax and perspective during aircraft landings.American Journal of Psychology, 68, p. 372-385.

554. Gilks W. R., Richardson S., and Spiegelhalter D. J. (Eds.) (1996) Markov chain Monte Carlo inpractice. Chapman and Hall, London.

555. Gilks W. R., Thomas A., and Spiegelhalter D. J. (1994) A language and program for complex Bayesianmodelling. The Statistician, 43, p. 169-178.

556. Gilmore P. С (1960) A proof method for quantification theory: Its justification and realization. IBMJournal of Research and Development, 4, p. 28—35.

557. Ginsberg M. L. (1989) Universal planning: An (almost) universally bad idea. AI Magazine, 10(4),p. 40-44.

558. Ginsberg M. L. (1993) Essentials of Artificial Intelligence. Morgan Kaufmann, San Mateo, California.

559. Ginsberg M. L. (1999) GIB: Steps toward an expert-level bridge-playing program. In Proceedings ofthe Sixteenth International Joint Conference on Artificial Intelligence (IJCAI-99), p. 584-589, Stockholm. Morgan Kaufmann.

560. Ginsberg M. L., Frank M., Halpin M. P., and Torrance M. С (1990) Search lessons learned fromcrossword puzzles. In Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI-90), Vol. 1, p. 210-215, Boston. MIT Press.