Picture for Matthew Peveler

Matthew Peveler

Rensselaer Polytechnic Institute

On Quantified Modal Theorem Proving for Modeling Ethics

Add code
Dec 30, 2019
Figure 1 for On Quantified Modal Theorem Proving for Modeling Ethics
Figure 2 for On Quantified Modal Theorem Proving for Modeling Ethics
Viaarxiv icon

Tentacular Artificial Intelligence, and the Architecture Thereof, Introduced

Add code
Oct 14, 2018
Figure 1 for Tentacular Artificial Intelligence, and the Architecture Thereof, Introduced
Figure 2 for Tentacular Artificial Intelligence, and the Architecture Thereof, Introduced
Figure 3 for Tentacular Artificial Intelligence, and the Architecture Thereof, Introduced
Figure 4 for Tentacular Artificial Intelligence, and the Architecture Thereof, Introduced
Viaarxiv icon

Towards Cognitive-and-Immersive Systems: Experiments in a Shared (or common) Blockworld Framework

Add code
Sep 14, 2017
Figure 1 for Towards Cognitive-and-Immersive Systems: Experiments in a Shared (or common) Blockworld Framework
Figure 2 for Towards Cognitive-and-Immersive Systems: Experiments in a Shared (or common) Blockworld Framework
Figure 3 for Towards Cognitive-and-Immersive Systems: Experiments in a Shared (or common) Blockworld Framework
Figure 4 for Towards Cognitive-and-Immersive Systems: Experiments in a Shared (or common) Blockworld Framework
Viaarxiv icon