Document Mentions (3 shared documents)

EFTA00623759_sub_004 - EFTA00623759_369

2 mentions1 same-page

Page ?Same page

e, wrapped in a MindAgent, that carries out back- ward chaining inference using PLN. • CIM-Dynamic: Con

al Journal of Machine Consciousness., 2009. bGBK02. 1. Goertzel, Andrei Klimov Ben, and Arkady Klimov. Supercompiling java programs, 2002. BII05. Sebastian Bader and Pascal Ritzier. Dimensions of neural-symbolic integration - a structured survey. In S. Artemov, H. Barringer, A. S. d'Avila Garcez, L. C. Lamb,

EFTA00624128_sub_006 - EFTA00624128_555

2 mentions1 same-page

Page ?Same page

e, wrapped in a MindAgent, that carries out back- ward chaining inference using PLN. • CIM-Dynamic: Con

al Conference of the Cognitive Science Society, 1993. Lai12. John E Laird. The Soar Cognitive Architecture. MIT Press, 2012. LBHIO. Jens Lehmann, Sebastian Bader, and Pascal Hitzler. Extracting reduced logic programs from artificial neural networks. Applied Intelligence, 2010. LDA05. Ramon Lopez, Cozar Delg

HOUSE_OVERSIGHT_012899_sub_004 - HOUSE_OVERSIGHT_013267

2 mentions1 same-page

Page ?Same page

e, wrapped in a MindAgent, that carries out back- ward chaining inference using PLN. CIM-Dynamic: Concr

onal Journal of Machine Consciousness., 2009. bGBKO2. 1. Goertzel, Andrei Klimov Ben, and Arkady Klimov. Supercompiling java programs, 2002. BHO5. Sebastian Bader and Pascal Hitzler. Dimensions of neural-symbolic integration - a structured survey. In 8S. Artemov, H. Barringer, A. 5. d’Avila Garcez, L. C. Lamb,