Defeasibility in answer set programs with defaults and argumentation rulesHui WanMichael Kiferet al.2015Semantic Web