Eighth Workshop on the Validation and Verification of Knowledge-Based Systems