by Atocha Aliseda, Rob J. Van Glabbeek
This book pursues the recent upsurge of research in the interface of logic, language and computation, with applications to artificial intelligence and machine learning. It contains a variety of con…