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
ulus • RelEx: A specific software component within OpenCog, which provides one way of dealing with natural language Relationship Extraction • SAT: Boolean SATisfaction, as a mathematical / computational problem • SMEPH: Self-Modifying Evolving Probabilistic Hypergraph • SRAM: Simple Realistic Agents Model • STI:
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,
ulus • RelEx: A specific software component within OpenCog, which provides one way of dealing with natural language Relationship Extraction • SAT: Boolean SATisfaction, as a mathematical / computational problem • SMEPH: Self-Modifying Evolving Probabilistic Hypergraph • SRAM: Simple Realistic Agents Model • STI:
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,
Calculus RelEx: A specific software component within OpenCog, which provides one way of dealing with natural language Relationship Extraction SAT: Boolean SATisfaction, as a mathematical / computational problem SMEPH: Self-Modifying Evolving Probabilistic Hypergraph SRAM: Simple Realistic Agents Model STI: Short Te
Entities connected to both Sebastian Bader and Boolean SATisfaction
Historical Repository
ORGANIZATIONNon-Axiomatic Reasoning System
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
ORGANIZATIONthe Truth Value
ORGANIZATION