The Seventh Workshop on the Validation and Verification of Knowledge-Based Systems