Languages, Semantics, Inference and Learning - Fabrizio Riguzzi (Taylor and Francis, 2023)