Reasoning Web. Declarative Artificial Intelligence - Manna; Pieris, Andreas (Springer International Publishing, 2020)