Interactive System for Updates and Conflict Resolution in ASP