Formal Models in AGI Research Pei Wang Temple University Philadelphia, USA.
Formal Models in AGI Research