Artur S. d'Avila Garcez Luís C. Lamb Dov M. Gabbay db/series/cogtech/index.html#GarcezLG2009 Cognitive Technologies Springer 2009 http://dx.doi.org/10.1007/978-3-540-73246-4 978-3-540-73245-7