NIPS Proceedings
β
Books
Artur Garcez
2 Papers
A Connectionist Model for Constructive Modal Reasoning
(2005)
Reasoning about Time and Knowledge in Neural Symbolic Learning Systems
(2003)