Advances in Artificial Intelligence. Lecture Nots in Artificial Intelligence, vol. 728