Smets, P.Mandani, A.Dubois, D.Prade, H.2022-03-022022-03-0219880-12-649520-3https://publica.fraunhofer.de/handle/publica/125459Non-standard logics for automated reasoning