It would be good to include a sceptically preferred semantics reasoner. This work might also fit with the requirement to show all preferred extensions, as these would probably need to be calculated for the sceptical reasoner.
Log in to post a comment.