Part of Advances in Neural Information Processing Systems 18 (NIPS 2005)
Artur Garcez, Luis Lamb, Dov M. Gabbay
Abstract Unavailable