This book constitutes the refereed proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2000, held in Varna, Bulgaria in September 2000.
The 34 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on knowledge construction, reasoning under certainty, reasoning under uncertainty, actors and agents, Web mining, natural language processing, complexity and optimization, fuzzy and neural systems, and algorithmic learning.

Contains the refereed proceedings of the 11th International Conference on "Intelligent Tutoring Systems", ITS 2012, held in Chania, Crete, Greece, in June 2012. This title brings together researchers in computer science, informatics, and artificial intelligence on the one side - and cognitive science, educational psychology, and linguistics.