Thirty years of Epistemic Specifications