Logical foundations for cognitive agents : contributions in honor of Ray Reiter - Reiter, Ray.; Levesque, Hector J., 1951-; Pirri, Fiora, 1962- (Springer Berlin, 1999)