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.