261. Cimatti A., Roveri M., and Traverso P. (1998) Automatic OBDD-based generation of universal plansin non-deterministic domains. In Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI-98), p. 875-881, Madison, Wisconsin. AAAI Press.

262. Clark K. L. (1978) Negation as failure. In Gallaire H. and Minker J. (Eds.), Logic and Data Bases,p. 293-322. Plenum, New York.

263. Clark P. and Niblett T. (1989) The CN2 induction algorithm. Machine Learning, 3, p. 261-283.

264. Clarke А. С. (1968а) 2001: A Space Odyssey. Signet.

265. Clarke A. C. (1968b) The world of 2001. Vogue.

266. Clarke E. and Grumberg O. (1987) Research on automatic verification of finite-state concurrentsystems. Annual Review of Computer Science, 2, p. 269—290.

267. Clarke E., Grumberg O., and Peled D. (1999) Model Checking. MIT Press, Cambridge, Massachusetts.

268. Clarke M. R. B. (Ed.) (1977) Advances in Computer Chess 1. Edinburgh University Press, Edinburgh,Scotland.

269. Clearwater S. H. (Ed.) (1996) Market-Based Control. World Scientific, Singapore and Teaneck, NewJersey.

270. Clocksin W. F. and Mellish С S. (1994) Programming in Prolog (4th edition). Springer-Verlag, Berlin.

271. Clowes M. B. (1971) On seeing things. Artificial Intelligence, 2(1), p. 79-116.

272. Cobham A. (1964) The intrinsic computational difficulty of functions. In Bar-Hillel Y. (Ed.),Proceedings of the 1964 International Congress for Logic, Methodology, and Philosophy of Science, p. 24-30, Jerusalem. Elsevier/North-Holland.

273. Cobley P. (1997) Introducing Semiotics. Totem Books, New York.

274. Cohen J. (1988) A view of the origins and development of PROLOG. Communications of theAssociation forComputing Machinery, 31, p. 26—36.

275. Cohen P. R. (1995) Empirical methods for artificial intelligence. MIT Press, Cambridge, Massachusetts.

276. Cohen P. R. and Levesque H. J. (1990) Intention is choice with commitment. Artificial Intelligence,42(2-3), p. 213-261.

277. Cohen P. R., Morgan J., and Pollack M. E. (1990) Intentions in Communication. MIT Press,Cambridge, Massachusetts.

278. Cohen P. R. and Perrault С R. (1979) Elements of a plan-based theory of speech acts. CognitiveScience, 3(3), p. 177-212.

279. Cohen W. W. and Page С D. (1995) Learnability in inductive logic programming: Methods andresults. New Generation Computing, 13(3-4), p. 369-409.

280. Cohn A. G., Bennett В., Gooday J. M., and Gotts N. (1997) RCC: A calculus for region basedqualitative spatial reasoning. Geolnformatica, 1, p. 275-316.