3
Shared Docs
3
Same-Page
3 / 3
Mentions
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
s implicit in the state transition graphs of the mind and world should be inter-mappable via a high- probability morphism. • Mind OS: A synonym for the OpenCog Core. • MindAgent: An OpenCog software object, residing in the CogServer, that carries out some processes in interaction with the Atomspace. A given 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,
s implicit in the state transition graphs of the mind and world should be inter-mappable via a high- probability morphism. • Mind OS: A synonym for the OpenCog Core. • MindAgent: An OpenCog software object, residing in the C-ogServer, that carries out some processes in interaction with the Atomspace. A given co
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,
es implicit in the state transition graphs of the mind and world should be inter-mappable via a high- probability morphism. e Mind OS: A synonym for the OpenCog Core. e MindAgent: An OpenCog software object, residing in the CogServer, that carries out some processes in interaction with the Atomspace. A given con
Entities connected to both Sebastian Bader and the OpenCog Core
Historical Repository
ORGANIZATIONNon-Axiomatic Reasoning System
ORGANIZATIONBoolean SATisfaction
ORGANIZATIONFirst-Order PLN
ORGANIZATIONHebbian Learning
ORGANIZATIONChainer
ORGANIZATION
Neuron
ORGANIZATIONOpenCog/PLN TruthValue
ORGANIZATIONan Indefinite Truth Value
ORGANIZATIONContextLink USA
ORGANIZATION
George Lakoff
PERSONReduct
ORGANIZATION
Rafael Nunez
PERSON
Marvin Minsky
PERSONAllen Interval Algebra
ORGANIZATIONOperational
ORGANIZATIONSleator and Temperley
ORGANIZATION
I. Arel
PERSONFirst-Order
ORGANIZATIONthe Truth Value
ORGANIZATION