9 citations · 10 across the 3 of their papers we have counts for
3 papers
cs.AI2023★ 9 cited
OpenCog Hyperon: A Framework for AGI at the Human Level and Beyond
Ben Goertzel, Vitaly Bogdanov, Michael Duncan +10
An introduction to the OpenCog Hyperon framework for Artificiai General Intelligence is presented. Hyperon is a new, mostly from-the-ground-up rewrite/redesign of the OpenCog AGI f…
cs.LO2023
Meta-MeTTa: an operational semantics for MeTTa
Lucius Gregory Meredith, Ben Goertzel, Jonathan Warrell +1
We present an operational semantics for the language MeTTa.
cs.LO2015★ 1 cited
Linear Types Can Change the Blockchain
Lucius Gregory Meredith
We give an interpretation of full classical linear logic, and linear proofs in terms of operations on the blockchain.