1221. Pohl I. (1971) Bi-directional search. In Meltzer B. and Michie D. (Eds.) Machine Intelligence 6,p. 127-140. Edinburgh University Press, Edinburgh, Scotland.

1222. Pohl I. (1973) The avoidance of (relative) catastrophe, heuristic competence, genuine dynamic weightingand computational issues in heuristic problem solving. In Proceedings of the Third International Joint Conference on Artificial Intelligence (IJCAI-73), p. 20-23, Stanford, California. IJCAII.

1223. Pohl I. (1977) Practical and theoretical considerations in heuristic search algorithms. In Elcock E. W.and Michie D. (Eds.), Machine Intelligence 8, p. 55-72. Ellis Horwood, Chichester, England.

1224. Pomerleau D. A. (1993) Neural Network Perception for Mobile Robot Guidance. Kluwer, Dordrecht,Netherlands.

1225. Ponte J. M. and Croft W. B. (1998) A language modeling approach to information retrieval. InResearch and Development in Information Retrieval, p. 275—281.

1226. Poole D. (1993) Probabilistic Horn abduction and Bayesian networks. Artificial Intelligence, 64,p. 81-129.

1227. Poole D., Mackworth A. K., and Goebel R. (1998) Computational intelligence: A logical approach.Oxford University Press, Oxford, UK.

1228. Popper K. R. (1959) The Logic of Scientific Discovery. Basic Books, New York.

1229. Popper K. R. (1962) Conjectures and Refutations: The Growth of Scientific Knowledge. Basic Books,New York.

1230. Porter M. F. (1980) An algorithm for suffix stripping. Program, 13(3), p. 130-137.

1231. Post E. L. (1921) Introduction to a general theory of elementary propositions. American Journal ofMathematics, 43, p. 163-185.

1232. Pradhan M., Provan G. M., Middleton В., and Henrion M. (1994) Knowledge engineering for largebelief networks. In Uncertainty in Artificial Intelligence: Proceedings of the Tenth Conference, p. 484— 490, Seattle, Washington. Morgan Kaufmann.

1233. Pratt V. R. (1976) Semantical considerations on Floyd-Hoare logic. In Proceedings of the 17th IEEESymposium on the Foundations of Computer Science, p. 109—121. IEEE Computer Society Press.

1234. Prawitz D. (1960) An improved proof procedure. Theoria, 26, 102-139.

1235. Prawitz D. (1965) Natural Deduction: A Proof Theoretical Study. Almquist and Wiksell, Stockholm.

1236. Press W. H., Teukolsky S. A., Vetterling W. Т., and Flannery B. P. (2002) Numerical Recipes in C++:The Art of Scientific Computing (Second edition). Cambridge University Press, Cambridge, UK.

1237. Prieditis A. E. (1993) Machine discovery of effective admissible heuristics. Machine Learning, 12(1-3),p. 117-141.

1238. Prinz D. G. (1952) Robot chess. Research, 5, p. 261-266.

1239. Prior A. N. (1967) Past, Present, and Future. Oxford University Press, Oxford, UK.

1240. Prosser P. (1993) Hybrid algorithms for constraint satisfaction problems. Computational Intelligence,9, p. 268-299.