" Fundamentals of artificial intelligence : " edited by W. Bibel and Ph. Jorrand ; W. Bibel [and 7 others].