9 citations · 9 across the 3 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
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.AI2022
A meta-probabilistic-programming language for bisimulation of probabilistic and non-well-founded type systems
Jonathan Warrell, Alexey Potapov, Adam Vandervorst +1
We introduce a formal meta-language for probabilistic programming, capable of expressing both programs and the type systems in which they are embedded. We are motivated here by the…