2-ASP(Q) programs with weak constraints: Complexity and efficient implementation — ThinkLLM