Encyclopedia of Artificial Intelligence