A guided tour of artificial intelligence research Volume I: Knowledge representation, reasoning and learning - Marquis, Pierre; Papini, Odile; Prade, Henri 1953- (Springer, 2020)