“Logics for the new AI spring” Special Issue is now available on IJAR