Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS 2000)

The Florida AI Research Society Conference was founded in 1987 to promote and advance artificial intelligence research within the state of Florida, fostering interaction between researchers at colleges, universities, and industry. Since 1990, Florida AI Research Society conferences have been broadened to include participants and papers from across North America and the world This year, the conference is truly international in scope. This year's proceedings covers a wide range of topics, including applications, computer vision, evolutionary computation, intelligent agents, knowledge-based systems, learning and AI, logic and AI, logic programming, natural language processing, planning, AI applied to spacecraft autonomy, evolutionary computation, intelligent tutoring systems, knowledge management, neural network applications, parallel and distributed reasoning, reasoning about function, spatiotemporal reasoning, uncertain reasoning, and verification, validation, and knowledge-base refinement.