We provide a brief review of human mobility science and present three key areas where we
expect to see substantial advancements. We start from the mind and discuss the need to …

Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their
formal specification and verification uniquely challenging. Though commonly used, testing …

In recent years, the rapid development of cryptocurrencies and their underlying blockchain
technology has revived Szabo's original idea of smart contracts, ie, computer protocols that …

Decentralized autonomy is a long-standing research topic in information sciences and social
sciences. The self-organization phenomenon in natural ecosystems, the Cyber Movement …

Problems of cooperation--in which agents seek ways to jointly improve their welfare--are
ubiquitous and important. They can be found at scales ranging from our daily routines--such …

Georgios N. Yannakakis Julian Togelius Page 1 Artificial Intelligence and Games Georgios N.
Yannakakis Julian Togelius Page 2 Artificial Intelligence and Games Page 3 Georgios N …

This book presents an overview of formal decision making methods for decentralized
cooperative systems. It is aimed at graduate students and researchers in the fields of …

AI-augmented Business Process Management Systems (ABPMSs) are an emerging class of
process-aware information systems, empowered by trustworthy AI technology. An ABPMS …

In this paper we present a broad overview of the last 40 years of research on cognitive
architectures. To date, the number of existing architectures has reached several hundred …

Recent advancements in Large Language Models (LLMs) showcase advanced reasoning,
yet NLP evaluations often depend on static benchmarks. Evaluating this necessitates …