401. Do M. B. and Kambhampati S. (2001) Sapa: A domain-independent heuristic metric temporalplanner. In Proceedings of the European Conference on Planning, Toledo, Spain. Springer-Verlag.

402. Domingos P. and Pazzani M. (1997) On the optimality of the simple Bayesian classifier under zero-one loss. Machine Learning, 29, p. 103—30.

403. Doran C, Egedi D., Hockey B. A., Srinivas В., and Zaidel M. (1994) XTAG system- a widecoverage grammar of English. In Nagao M. (Ed.), Proceedings of the 15th COLING, Kyoto, Japan.

404. Doran J. and Michie D. (1966) Experiments with the graph traverser program. Proceedings of the RoyalSociety of London, 294, Series A, p. 235-259.

405. Dorf R. С and Bishop R. H. (1999) Modern Control Systems. Addison-Wesley, Reading,Massachusetts.

406. Doucet A. (1997) Monte Carlo methods for Bayesian estimation of hidden Markov models: Application toradiation signals. Ph.D. thesis, Universite de Paris-Sud, Orsay, France.

407. Dowling W. F. and Gallier J. H. (1984) Linear-time algorithms for testing the satisfiability ofpropositional Horn formulas. Journal of Logic Programming, 1, p. 267—284.

408. Dowty D., Wall R., and Peters S. (1991) Introduction to Montague Semantics. D. Reidel, Dordrecht,Netherlands.

409. Doyle J. (1979) A truth maintenance system. Artificial Intelligence, 12(3), p. 231-272.

410. Doyle J. (1983) What is rational psychology? Toward a modern mental philosophy. AIMagazine, 4(3),p. 50-53.

411. Doyle J. and Patil R. (1991) Two theses of knowledge representation: Language restrictions,taxonomic classification, and the utility of representation services. Artificial Intelligence, 48(3), p. 261-297.

412. Drabble B. (1990) Mission scheduling for spacecraft: Diaries of T-SCHED. In Expert Planning Systems,p. 76-81, Brighton, UK. Institute of Electrical Engineers.

413. Draper D., Hanks S., and Weld D. S. (1994) Probabilistic planning with information gathering andcontingent execution. In Proceedings of the Second International Conference on AI Planning Systems, p. 31-36, Chicago. Morgan Kaufmann.

414. Dreyfus H. L. (1972) What Computers Can't Do: A Critique of Artificial Reason. Harper and Row, New York.

415. Dreyfus H. L. (1992) What Computers Still Can't Do: A Critique of Artificial Reason. MIT Press,Cambridge, Massachusetts.

416. Dreyfus H. L. and Dreyfus S. E. (1986) Mind over Machine: The Power of Human Intuition andExpertise in the Era of the Computer. Blackwell, Oxford, UK.

417. Dreyfus S. E. (1969) An appraisal of some shortest-paths algorithms. Operations Research, 17, p. 395-412.

418. Du D., Gu J., and Pardalos P. M. (Eds.) (1999) Optimization methods for logical inference. AmericanMathematical Society, Providence, Rhode Island.

419. Dubois D. and Prade H. (1994) A survey of belief revision and updating rules in various uncertaintymodels. International Journal of Intelligent Systems, 9(1), p. 61-100.

420. Duda R. O., Gaschnig J., and Hart P. E. (1979) Model design in the Prospector consultant system formineral exploration. In Michie D. (Ed.), Expert Systems in the Microelectronic Age, p. 153—167. Edinburgh University Press, Edinburgh, Scotland.