research
∙
02/05/2021
AI Can Stop Mass Shootings, and More
We propose to build directly upon our longstanding, prior r d in AI/ma...
share
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...
research
∙
03/04/2019
Learning Ex Nihilo
This paper introduces, philosophically and to a degree formally, the nov...
research
∙
12/07/2018
Toward the Engineering of Virtuous Machines
While various traditions under the 'virtue ethics' umbrella have been st...
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
∙
04/10/2018
Toward Formalizing Teleportation of Pedagogical Artificial Agents
Our paradigm for the use of artificial agents to teach requires among ot...
research
∙
10/11/2017
Counterfactual Conditionals in Quantified Modal Logic
We present a novel formalization of counterfactual conditionals in a qua...
research
∙
09/14/2017
Towards Cognitive-and-Immersive Systems: Experiments in a Shared (or common) Blockworld Framework
As computational power has continued to increase, and sensors have becom...
research
∙
05/30/2017