The handbook of artificial intelligence - Barr, Avron 1949-