no code implementations • 15 Sep 2023 • Zihang Su, Tianshi Yu, Nir Lipovetzky, Alireza Mohammadi, Denny Oetomo, Artem Polyvyanyy, Sebastian Sardina, Ying Tan, Nick van Beest
A transhumeral prosthesis restores missing anatomical segments below the shoulder, including the hand.
no code implementations • 11 Sep 2018 • Francesco Olivieri, Guido Governatori, Matteo Cristani, Nick van Beest, Silvano Colombo-Tosatto
Linear Logic and Defeasible Logic have been adopted to formalise different features relevant to agents: consumption of resources, and reasoning with exceptions.