Panel

From Logic Programming to Trustworthiness and Back