Federated Learning (FL) is an emerging Artificial Intelligence (AI) paradigm enabling
multiple parties to train a model collaboratively without sharing their data. With the upcoming …

This book is designed to become a foundational text for the new science of AI safety
engineering. While specific predictions regarding the consequences of an intelligence …

Abstract Machine ethics and robot rights are quickly becoming hot topics in artificial
intelligence and robotics communities. We will argue that attempts to attribute moral agency …

Program slicing has been widely applied in a variety of software engineering tasks.
However, existing program slicing techniques only deal with traditional programs that are …

When the first artificial general intelligences are built, they may improve themselves to far-
above-human levels. Speculations about such future entities are already affected by …

The notion of 'wireheading', or direct reward centre stimulation of the brain, is a well-known
concept in neuroscience. In this paper, we examine the corresponding issue of reward …

Despite significant developments in proof theory, surprisingly little attention has been
devoted to the concept of proof verifiers. In particular, the mathematical community may be …

AI Safety researchers attempting to align values of highly capable intelligent systems with
those of humanity face a number of challenges including personal value extraction, multi …

Aristotle University of Thessaloniki, Faculty of Economics and Political Sciences, School of
Political Sciences Economics and Political Sciences Building, Thessaloniki 54124, Greece E …

The Hard Problem of consciousness has been dismissed as an illusion. By showing that
computers are capable of experiencing, we show that they are at least rudimentarily …