Algorithmic Learning Theory ALT 2000, Proceedings - International Conference, ALT 2000 (11 Sydney 2000); Arimura, H., ed; Jain, S., ed; Sharma , A., ed (Berlin Springer)