LUXLOGAI 2018: LUXEMBOURG LOGIC FOR AI SUMMIT