Defeasible Reasoning in OSCAR

John L. Pollock

This is a system description for the OSCAR defeasible reasoner.