An Extension-based Approach for Computing and Verifying Preferences in Abstract Argumentation