Abstraction, Reformulation, and Approximation 4th International Symposium, Sara 2000 Horseshoe Bay, Usa, July 26-29, 2000Proceedings

This book constitutes the refereed proceedings of the 13th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 2000, held in Montreal, Quebec, Canada, in May 2000. The 25 revised full papers presented together with 12 10-page posters were carefully reviewed and selected from more than 70 submissions. The papers are organized in topical sections on games and constraint satisfaction; natural language processing; knowledge representation; AI applications; machine learning and data mining; planning, theorem proving, and artificial life; and neural networks.Choueiry, Berthe Y. is the author of 'Abstraction, Reformulation, and Approximation 4th International Symposium, Sara 2000 Horseshoe Bay, Usa, July 26-29, 2000Proceedings' with ISBN 9783540678397 and ISBN 3540678395.