d'Avila Garcez AS, Lamb LC. (2006). A connectionist computational model for epistemic and temporal reasoning. Neural computation. 18 [PubMed]