Reasoning Web. Declarative Artificial IntelligenceMarco Manna, Andreas Pieris · First published 2020Open the Tome