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
gle LTI value. • Similarity: a link type indicating the probabilistic similarity between two different Atoms. Generically this is a combination of Intensional Similarity (similarity of properties) and Extensional Similarity (similarity of members). • Simple Truth Value: a TruthValue involving a pair (s,d) indicating
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,
gle LTI value. • Similarity: a link type indicating the probabilistic similarity between two different Atoms. Generically this is a combination of Intensional Similarity (similarity of properties) and Extensional Similarity (similarity of members). • Simple Truth Value: a TruthValue involving a pair (s,d) indicating
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,
single LTI value. Similarity: a link type indicating the probabilistic similarity between two different Atoms. Generically this is a combination of Intensional Similarity (similarity of properties) and Extensional Similarity (similarity of members). Simple Truth Value: a TruthValue involving a pair (s,d) indicating st
Entities connected to both Sebastian Bader and Intensional Similarity
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
PERSONthe OpenCog Core
ORGANIZATIONFirst-Order
ORGANIZATION