Logics in Artificial IntelligenceWolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak · First published 2021Open the Tome