Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives