research
∙
12/30/2019
On Quantified Modal Theorem Proving for Modeling Ethics
In the last decade, formal logics have been used to model a wide range o...
share
research
∙
10/14/2018
Tentacular Artificial Intelligence, and the Architecture Thereof, Introduced
We briefly introduce herein a new form of distributed, multi-agent artif...
research
∙
09/14/2017
