arXiv2000Defeasible Reasoning in OSCARThis is a system description for the OSCAR defeasible reasoner.cs.AI↗