Logical foundations for cognitive agents : contributions in honor of Ray Reiter - Reiter, Ray. (Springer Berlin, 1999)