Safe inductions and their applications in knowledge representation

Bart Bogaerts 0001, Joost Vennekens, Marc Denecker. Safe inductions and their applications in knowledge representation. Artificial Intelligence, 259:167-185, 2018. [doi]

Abstract

Abstract is missing.