@incollection {NIPS2003_CS03,
  author = " Artur S. d'Avila Garcez and  Luis C. Lamb",
  title = " Reasoning about Time and Knowledge in Neural Symbolic Learning Systems",
  booktitle = "Advances in Neural Information Processing Systems 16",
  editor = "Sebastian Thrun and Lawrence Saul and Bernhard {Sch\"{o}lkopf}",
  publisher = "MIT Press",
  address = "Cambridge, MA",
  year = "2004",
  keywords = "recurrent neural networks, temporal logic, neural symbolic systems, hybrid systems, distributed knowledge representation",
  }