Springer Progress In Artificial Intelligence