AI pioneer Nils Nilsson spent 23 years at SRI, making contributions to searching, planning, knowledge representation and robotics.